close
1.

図書
図書
1. Formal approaches to agent-based systems : second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers
Michael G. Hinchey ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  ix, 295 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2699 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Proceedings, seventh IEEE International Conference on Engineering of Complex Computer Systems : Skövde, Sweden, June 11-13, 2001
sponsored by IEEE Computer Society Technical Committee on Complexity in Computing ... [et al.] ; edited by Sten F. Andler, Michael G. Hinchey, Jeff Offutt
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xi, 281 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Organizing and Program Committees
Keynote Speech / Session 1：
Intelligent Agent-Based Decision-Support Systems for Complex C[superscript 2] Applications / A. Stoyen
Real-Time Issues / Session 2：
Communicating TILCO: A Model for Real-Time System Specification / P. Bellini ; P. Nesi
TILCO-X, an Extension of TILCO Temporal Logic
On-Line Scheduling of Real-Time Distributed Computers with Complex Communication Constraints / P. Richard ; F. Cottet ; M. Richard
A Method for Verifying Real-Time Properties of Ada Programs / T. Gerdsmeier ; R. Cardell-Oliver
Panel: Issues with Web Site Software / Session 3：
Formal Issues / Session 4：
Verification of Hybrid Systems: Formalization and Proof Rules in PVS / E. Abraham-Mumm ; U. Hannemann ; M. Steffen
Action Refinement for True Concurrent Real Time / M. Majster-Cederbaum ; J. Wu
Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms / A. Arazo ; Y. Crouzet
Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities / A. Puhakka
Future Mobile Phones--Complex Design Challenges from an Embedded Systems Perspective / F. DahlgrenSession 5：
Industrial Experiences / Session 6：
Quality Attribute Conflicts--Experiences from a Large Telecommunication Application / D. Haggander ; L. Lundberg ; J. Matton
Can We Learn Anything from Hardware Preventive Maintenance? / M. Kajko-Mattsson
Motivating the Corrective Maintenance Maturity Model (CM[superscript 3])
Panel: Dependability in Industrial Systems/Risk Management of Complex Systems / Session 7：
Design Issues / Session 8：
An Object-Oriented Analysis and Design Approach for Safe Object Sharing / K. Izuru
Design Method for Conceptual Design of By-Wire Control: Two Case Studies / K. Ahlstrom ; P. Johannessen ; J. Torin
Designing Distributed Component-Based Systems with DCL / F. Bubl ; A. Leicher
A Framework for Analyzing and Organizing Complex Systems / S. Graupner ; V. Kotov ; H. Trinks
The Problem of Platform Complexity / H. LawsonSession 9：
Architectural Issues / Session 10：
Towards a Framework for Architecting Mechatronics Software Systems / D. Chen ; M. Torngren
Aspect-Oriented Specification Architectures for Distributed Real-Time Systems / M. Katara ; T. Mikkonen
Independent Proprietorship and Competition in Distributed Web Search Architectures / R. Khoussainov ; T. O'Meara ; A. Patel
Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and Uncertainty / J. Hicks ; Q. Zhu
Testing Issues / Session 11：
Using a Model Checker to Test Safety Properties / P. Ammann ; W. Ding ; D. Xu
Techniques for Testing Component-Based Software / Y. Wu ; D. Pan ; M. Chen
Module Testing Embedded Software--An Industrial Pilot Project / J. McDonald ; L. Murray ; P. Lindsay ; P. Strooper
Analysis and Modeling / Session 12：
Analysis of Self-Stabilization for Infinite-State Systems / H. Yen
Parallel Machine Translation: Principles and Practice / F. Ren ; H. Shi
Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets / Y. Lu ; G. Wei ; T. Cheung
Modelling Free Flight with Collision Avoidance / M. Massink ; N. De Francesco
Authors' Index
Message from the General Chair
Organizing and Program Committees
Keynote Speech / Session 1：
3.

図書
図書
3. Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers
James L. Rash ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  ix, 368 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1871 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Verifying Agent's Mental States
Model Checking-Based Analysis of Multiagent Systems / M. Benerecetti ; F. Giunchiglia
Towards Formal Specification and Verification in Cyberspace / S. Ambroszkiewicz ; W. Penczek ; T. Nowak
Verification within the KARO Agent Theory / U. Hustadt ; C. Dixon ; R.A. Schmidt ; M. Fisher ; J.-J.C. Meyer ; W. van der Hoek
Synthesizing Agents Initially
On Formal Modeling of Agent Computations / T. Araragi ; P. Attie ; I. Keidar ; K. Kogure ; V. Luchangco ; N. Lynch ; K. Mano
Modeling and Programming Devices and Web Agents / S.A. McIlraith
A Programming Logic for Part of the Agent Language 3APL / K.V. Hindriks ; F.S. de Boer
Frameworks and Formalization / Y. Kawabe
From Livingstone to SMV (Formal Verification for Autonomous Spacecrafts) / C. Pecheur ; R. Simmons
Verification of Plan Models Using UPPAAL / L. Khatib ; N. Muscettola ; K. Havelund
Formalization of a Spatialized Multiagent Model Using Coloured í Petri Nets for the Study of an Hunting Management System / I. Bakam ; F. Kordon ; C. Le Page ; F. Bousquet
Formal Agent Development: Framework to System / M. d'Inverno ; M. Luck
Modeling and Execution
Automatic Synthesis of Agent Designs in UML / J. Schumann ; J. Whittle
Direct Execution of Agent Specifications
Using the ?-Calculus to Model Multiagent Systems / A.C. Esterline ; T. Rorie
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude / J. Van Baalen ; J.L. Caldwell ; S. Mishra
Inter-agent Communication
Agents Talking Faster / T. Menzies ; B. Cukic ; H. Singh
Refining Interactions in a Distributed System / N. Soundarajan
Design and Mathematical Analysis of Agent-Based Systems / K. Lerman
Modeling Task and Teams through Game Theoretical Agents / M. Rudnianski ; H. Bestougeff
Web Agents Cooperating Deductively / R. Waldinger
Adaptive Agents
Formal Specification of Agent Behaviour through Environment Scenarios / H. Zhu
APT Agents: Agents That Are Adaptive, Predictable, and Timely / D.F. Gordon
Posters
Ontology Negotiation in a Community of Agents / S.C. Bailin
Analysis of Agent-Based Systems Using Decision Procedures / R. Bharadwaj
A Formal Approach to Belief-Goal-Role Agents / W. Chainbi
Model Checking of Autonomy Models for an In-Situ Propellant Production System / P. Engrand
Adaptive Supervisory Control of Multi-agent Systems / K. Kiriakidis
Machine-Learning for Logic-Based Multi-agent Systems / E. Alonso ; D. Kudenko
Using a Formal Framework for Agent System Design / V. Carchiolo ; M. Malgeri ; G. Mangioni
Modeling Agent-Based Systems / S. Mandutianu
Modeling Agent Systems by Bayesian Belief Networks / Y. Peng
The Anthropomorphizing of Intelligent Agents / T. Riley
Controlling Multiple Satellite Constellations Using the TeamAgent System / D.M. Surka ; M.E. Campbell ; T.P. Schetter
Operations Assistants for Johnson Space Center's Mission Control Center / S.E. Torney
A Real Time Object-Oriented Rational Agent Development System / L.P. Wesley
Panel Sessions
Empirical versus Formal Methods
Future Directions
Author Index
Verifying Agent's Mental States
Model Checking-Based Analysis of Multiagent Systems / M. Benerecetti ; F. Giunchiglia
Towards Formal Specification and Verification in Cyberspace / S. Ambroszkiewicz ; W. Penczek ; T. Nowak
4.

図書
図書
4. Innovative concepts for autonomic and agent-based systems : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005 : revised papers
Michael G. Hinchey ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  ix, 389 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3825 . Lecture Notes in artificial intelligence
所蔵情報: loading…
5.

図書
図書
5. Formal approaches to agent-based systems : third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers
Michael G. Hinchey ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  viii, 289 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3228 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼