close
1.

電子ブック
ＥＢ
1. Software Engineering for Multi-Agent Systems III
David Hutchison, Ricardo Choren, Takeo Kanade, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Scientific Engineering of Distributed Java Applications
David Hutchison, Nicolas Guelfi, Takeo Kanade, Gianna Reggio, Alexander Romanovsky
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Software Engineering for Multi-Agent Systems IV
Alessandro Garcia, Ricardo Choren, Paolo Giorgini, Tom Holvoet, Takeo Kanade, Carlos Lucena, Alexander Romanovsky
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Context-Awareness and Coordination
Policy-Driven Configuration and Management of Agent Based Distributed Systems / Anand R. Tripathi ; Devdatta Kulkarni ; Tanvir Ahmed
Views: Middleware Abstractions for Context-Aware Applications in Manets / Kurt Schelfthout ; Tom Holvoet ; Yolande Berbers
An Adaptive Distributed Layout for Multi-agent Applications / Koenraad Mertens
Self-organizing Approaches for Large-Scale Spray Multiagent Systems / Marco Mamei ; Franco Zambonelli
Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research / Andrea Omicini ; Alessandro Ricci ; Mirko Viroli
Modeling
Analysis and Design of Physical and Social Contexts in Multi-agent Systems / Florian Klein ; Holger Giese
Engineering Organization-Based Multiagent Systems / Scott A. DeLoach
Developing and Evaluating a Generic Metamodel for MAS Work Products / Ghassan Beydoun ; César Gonzalez-Perez ; Brian Henderson-Sellers ; G. Low
Agent Roles, Qua Individuals and the Counting Problem / Giancarlo Guizzardi
Requirements and Software Architecture
A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems / Josh Dehlinger ; Robyn R. Lutz
Characterization and Evaluation of Multi-agent System Architectural Styles / Paul Davidsson ; Stefan Johansson ; Mikael Svahnberg
Improving Flexibility and Robustness in Agent Interactions: Extending Prometheus with Hermes / Christopher Cheong ; Michael Winikoff
Patterns for Modelling Agent Systems with Tropos / Haralambos Mouratidis ; Michael Weiss
Dependability
On the Use of Formal Specifications as Part of Running Programs / Giovanna Di Marzo Serugendo
Adaptive Replication of Large-Scale Multi-agent Systems - Towards a Fault-Tolerant Multi-agent Platform / Zahia Guessoum ; Nora Faci ; Jean-Pierre Briot
Author Index
Context-Awareness and Coordination
Policy-Driven Configuration and Management of Agent Based Distributed Systems / Anand R. Tripathi ; Devdatta Kulkarni ; Tanvir Ahmed
Views: Middleware Abstractions for Context-Aware Applications in Manets / Kurt Schelfthout ; Tom Holvoet ; Yolande Berbers
4.

電子ブック
ＥＢ
4. Architecting Dependable Systems III
David Hutchison, Cristina Gacek, Takeo Kanade, Rog?rio de Lemos, Alexander Romanovsky, Rog??rio de Lemos
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Architecting Dependable Systems IV
Rog?rio Lemos, Cristina Gacek, Takeo Kanade, Alexander Romanovsky
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Architectural Description Languages / Part 1：
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL) / Joyce L. Tokar
A System Dependability Modeling Framework Using AADL and GSPNs / Ana-Elena Rugina ; Karama Kanoun ; Mohamed Kaaniche
Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language / Philippe Cuenot ; DeJiu Chen ; Sebastien Gerard ; Henrik Lonn ; Mark-Oliver Reiser ; David Servat ; Ramin Tavakoli Kolagari ; Martin Torngren ; Matthias Weber
The View Glue / Alek Radjenovic ; Richard Paige
Architectural Components and Patterns / Part 2：
A Component-Based Approach to Verification and Validation of Formal Software Models / Dejan Desovski ; Bojan Cukic
A Pattern-Based Approach for Modeling and Analyzing Error Recovery / Ali Ebnenasir ; Betty H.C. Cheng
Architectural Fault Tolerance Using Exception Handling / Rogerio de Lemos
Model-Centric Development of Highly Available Software Systems / Rick Buskens ; Oscar Gonzalez
An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems / Lars Grunske ; Peter Lindsay ; Egor Bondarev ; Yiannis Papadopoulos ; David Parker
Architecting Distributed Systems / Part 3：
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level / Paola Inverardi ; Leonardo Mostarda
Architecting Dynamic Reconfiguration in Dependable Systems / Antonio Tadeu A. Gomes ; Thais V. Batista ; Ackbar Joolia ; Geoff Coulson
Ecotopia: An Ecological Framework for Change Management in Distributed Systems / Tudor Dumitras ; Daniela Rosu ; Asit Dan ; Priya Narasimhan
Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems / Antonio Casimiro ; Jorg Kaiser ; Paulo Verissimo
Flexible Communication Architecture for Dependable Time-Triggered Systems / Christoph Heller ; Josef Schalk ; Stefan Schneele ; Maria Sorea ; Sebastian Voss
Business Process Monitoring for Dependability / Luciano Baresi ; Sam Guinea ; Marco Plebani
Architectural Assurances for Dependability / Part 4：
Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases / Patrick J. Graydon ; John C. Knight ; Elisabeth A. Strunk
Towards Evidence-Based Architectural Design for Safety-Critical Software Applications / Weihang Wu ; Tim Kelly
Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level / Hasan Sozer ; Bedir Tekinerdogan ; Mehmet Aksit
Author Index
Architectural Description Languages / Part 1：
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL) / Joyce L. Tokar
A System Dependability Modeling Framework Using AADL and GSPNs / Ana-Elena Rugina ; Karama Kanoun ; Mohamed Kaaniche
6.

電子ブック
ＥＢ
6. Software Engineering for Multi-Agent Systems V
Ricardo Choren, Alessandro Garcia, Holger Giese, Takeo Kanade, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Architecting Dependable Systems III
David Hutchison, Cristina Gacek, Takeo Kanade, Rogério de Lemos, Alexander Romanovsky, RogÃ〓rio de Lemos
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Architecting Dependable Systems IV
Rogério Lemos, Cristina Gacek, Takeo Kanade, Alexander Romanovsky, Rogério de Lemos
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Architectural Description Languages / Part 1：
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL) / Joyce L. Tokar
A System Dependability Modeling Framework Using AADL and GSPNs / Ana-Elena Rugina ; Karama Kanoun ; Mohamed Kaaniche
Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language / Philippe Cuenot ; DeJiu Chen ; Sebastien Gerard ; Henrik Lonn ; Mark-Oliver Reiser ; David Servat ; Ramin Tavakoli Kolagari ; Martin Torngren ; Matthias Weber
The View Glue / Alek Radjenovic ; Richard Paige
Architectural Components and Patterns / Part 2：
A Component-Based Approach to Verification and Validation of Formal Software Models / Dejan Desovski ; Bojan Cukic
A Pattern-Based Approach for Modeling and Analyzing Error Recovery / Ali Ebnenasir ; Betty H.C. Cheng
Architectural Fault Tolerance Using Exception Handling / Rogerio de Lemos
Model-Centric Development of Highly Available Software Systems / Rick Buskens ; Oscar Gonzalez
An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems / Lars Grunske ; Peter Lindsay ; Egor Bondarev ; Yiannis Papadopoulos ; David Parker
Architecting Distributed Systems / Part 3：
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level / Paola Inverardi ; Leonardo Mostarda
Architecting Dynamic Reconfiguration in Dependable Systems / Antonio Tadeu A. Gomes ; Thais V. Batista ; Ackbar Joolia ; Geoff Coulson
Ecotopia: An Ecological Framework for Change Management in Distributed Systems / Tudor Dumitras ; Daniela Rosu ; Asit Dan ; Priya Narasimhan
Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems / Antonio Casimiro ; Jorg Kaiser ; Paulo Verissimo
Flexible Communication Architecture for Dependable Time-Triggered Systems / Christoph Heller ; Josef Schalk ; Stefan Schneele ; Maria Sorea ; Sebastian Voss
Business Process Monitoring for Dependability / Luciano Baresi ; Sam Guinea ; Marco Plebani
Architectural Assurances for Dependability / Part 4：
Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases / Patrick J. Graydon ; John C. Knight ; Elisabeth A. Strunk
Towards Evidence-Based Architectural Design for Safety-Critical Software Applications / Weihang Wu ; Tim Kelly
Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level / Hasan Sozer ; Bedir Tekinerdogan ; Mehmet Aksit
Author Index
Architectural Description Languages / Part 1：
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL) / Joyce L. Tokar
A System Dependability Modeling Framework Using AADL and GSPNs / Ana-Elena Rugina ; Karama Kanoun ; Mohamed Kaaniche
9.

電子ブック
ＥＢ
9. Scientific Engineering of Distributed Java Applications
David Hutchison, Nicolas Guelfi, Takeo Kanade, Gianna Reggio, Alexander Romanovsky
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Software Engineering for Multi-Agent Systems III
David Hutchison, Ricardo Choren, Takeo Kanade, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼