Sciweavers

2638 search results - page 115 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
DSN
2004
IEEE
15 years 8 months ago
Why PCs Are Fragile and What We Can Do About It: A Study of Windows Registry Problems
Software configuration problems are a major source of failures in computer systems. In this paper, we present a new framework for categorizing configuration problems. We apply thi...
Archana Ganapathi, Yi-Min Wang, Ni Lao, Ji-Rong We...
ICLP
2005
Springer
15 years 10 months ago
Coordination of Many Agents
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu
COMMA
2008
15 years 6 months ago
Integrating Object and Meta-Level Value Based Argumentation
Abstract. A recent extension to Dung's argumentation framework allows for arguments to express preferences between other arguments. Value based argumentation can be formalised...
Sanjay Modgil, Trevor J. M. Bench-Capon
ISPDC
2006
IEEE
15 years 10 months ago
Managing Information and Time Flow in an Agent-Based E-Commerce System
Recently, we have proposed a comprehensive agent-based e-commerce system. While UML formalized, it lacked details how basic functions – e.g. user request to purchase a given pro...
Maciej Gawinecki, Maria Ganzha, Pawel Kobzdej, Mar...
PDCAT
2004
Springer
15 years 9 months ago
Parallel Computing Platform for the Agent-Based Modeling of Multicellular Biological Systems
Abstract. Agent-based simulation of large multicellular biological systems has become a viable option owing to affordable parallel computers, such as Beowulf-style clusters. We de...
Toh Da-Jun, Francis Tang, Travis Lee, Deepak Sarda...