close
1.

電子ブック
ＥＢ
1. Distributed Computing and Internet Technology
Manish Parashar, Sanjeev K. Aggarwal, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Practical Aspects of Declarative Languages
Andy Gill, Takeo Kanade, Terrance Swift
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Service-Oriented Computing - ICSOC 2007 Workshops
Elisabetta Nitto, Takeo Kanade, Matei Ripeanu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Architecture of Computing Systems ? ARCS 2009
Mladen Berekovic, Christian Hochberger, Takeo Kanade, Christian M?ller-Schloer, Stephan Wong
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Coordination, Organizations, Institutions and Norms in Agent Systems IV
Jomi Fred H?bner, Olivier Boissier, Virginia Dignum, Takeo Kanade, Eric Matson
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
From Coordination to Organization / I：
Agreeing on Institutional Goals for Multi-agent Societies / Dorian Gaertner ; Juan Antonio Rodriguez-Aguilar ; Francesca Toni
Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms / Bob van der Vecht ; Frank Dignum ; John-Jules Ch. Meyer ; Virginia Dignum
Combining Job and Team Selection Heuristics / Chris L.D. Jones ; K. Suzanne Barber
Force Versus Majority: A Comparison in Convention Emergence Efficiency / Paulo Urbano ; Joao Balsa ; Luis Antunes ; Luis Moniz
From Organization to Coordination / II：
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models / Michael Kohler-Bubmeier ; Matthias Wester-Ebbinghaus
Exploring Robustness in the Context of Organizational Self-design / Sachin Kamboj ; Keith S. Decker
Instrumenting Multi-agent Organisations with Artifacts to Support Reputation Processes / Jomi Fred Hubner ; Laurent Vercouter ; Olivier Boissier
A Hybrid Reputation Model Based on the Use of Organizations / Viviane Torres da Silva ; Ramon Hermoso ; Roberto Centeno
Formalization of Norms and Institutions / III：
Formalising Situatedness and Adaptation in Electronic Institutions / Jordi Campos ; Maite Lopez-Sanchez ; Marc Esteva
A Context-Based Institutional Normative Environment / Henrique Lopes Cardoso ; Eugenio Oliveira
Towards a Formalisation of Electronic Contracting Environments / Nir Oren ; Sofia Panagiotidi ; Javier Vazquez-Salceda ; Sanjay Modgil ; Michael Luck ; Simon Miles
Design of Norms and Institutions / IV：
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems / Paola Spoletini ; Mario Verdicchio
Using SOA Provenance to Implement Norm Enforcement in e-Institutions / Sergio Alvarez-Napagao
Verifying Social Expectations by Model Checking Truncated Paths / Stephen Cranefield ; Michael Winikoff
Applications / V：
The Use of Norms Violations to Model Agents Behavioral Variety / Benoit Lacroix ; Philippe Mathieu ; Andras Kemeny
Categorizing Social Norms in a Simulated Resource Gathering Society / Daniel Villatoro ; Jordi Sabater-Mir
Transgression and Atonement / Kevin M. Knight ; Deepthi Chandrasekaran ; Aline Normoyle ; Ransom Weaver ; Barry G. Silverman
Author Index
From Coordination to Organization / I：
Agreeing on Institutional Goals for Multi-agent Societies / Dorian Gaertner ; Juan Antonio Rodriguez-Aguilar ; Francesca Toni
Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms / Bob van der Vecht ; Frank Dignum ; John-Jules Ch. Meyer ; Virginia Dignum
6.

電子ブック
ＥＢ
6. Future Internet ? FIS 2008
John Domingue, Dieter Fensel, Takeo Kanade, Paolo Traverso
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Methods, Models and Tools for Fault Tolerance
Michael Butler, Cliff Jones, Takeo Kanade, Alexander Romanovsky, Elena Troubitsyna
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Formal Reasoning about Fault Tolerant Systems and Protocols / Part I：
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols / A. Fehnker ; M. Fruth ; A.K. McIver
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic / Pablo F. Castro ; T.S.E Maibaum
Temporal Verification of Fault-Tolerant Protocols / Michael Fisher ; Boris Konev ; Alexei Lisitsa
Design and Verification of Fault-Tolerant Components / Miaomiao Zhang ; Zhiming Liu ; Charles Morisset ; Anders P. Ravn
Dynamically Detecting Faults via Integrity Constraints / Ian J. Hayes
Fault Tolerance: Modelling in B / Part II：
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction / Elisabeth Ball ; Michael Butler
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems / Linas Laibinis ; Elena Troubitsyna ; Sari Leppanen
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B / Divakar Yadav
Model-Based Testing Using Scenarios and Event-B Refinements / Qaisar A. Malik ; Johan Lilius
Fault Tolerance in System Development Process / Part III：
Recording Process Documentation in the Presence of Failures / Zheng Chen ; Luc Moreau
Drep: A Requirements Engineering Process for Dependable Reactive Systems / Sadaf Mustafiz ; Jorg Kienzle
Documenting the Progress of the System Development / Marta Plaska ; Marina Walden ; Colin Snook
Fault Tolerance Requirements Analysis Using Deviations in the Correct Development Process / Andrey Berlizev ; Nicolas Guelfi
Fault Tolerant Applications / Part IV：
Step-Wise Development of Resilient Ambient Campus Scenarios / Alexei Iliasov ; Budi Arief ; Alexander Romanovsky
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability / Anatoliy Gorbenko ; Vyacheslav Kharchenko
Author Index
Formal Reasoning about Fault Tolerant Systems and Protocols / Part I：
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols / A. Fehnker ; M. Fruth ; A.K. McIver
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic / Pablo F. Castro ; T.S.E Maibaum
8.

電子ブック
ＥＢ
8. Network Control and Optimization
Eitan Altman, Augustin Chaintreau, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Active and Programmable Networks
David Hutchison, Spyros Denazis, Takeo Kanade, Laurent Lefevre, Gary J. Minden
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Distributed Computing and Networking
Vijay Garg, Takeo Kanade, Kishore Kothapalli, Roger Wattenhofer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼