Sciweavers

1511 search results - page 115 / 303
» A Methodology for Developing Agent Based Systems
Sort
View
ATAL
2007
Springer
15 years 10 months ago
An event-driven approach for agent-based business process enactment
Agents enacting business processes in large open environments need to adaptively accommodate exceptions. Work on multiagent approaches can flexibly model business processes. This...
Payal Chakravarty, Munindar P. Singh
AEI
2006
103views more  AEI 2006»
15 years 4 months ago
Emergent short-term forecasting through ant colony engineering in coordination and control systems
This manuscript presents a design for the emergent generation of short-term forecasts in multi-agent coordination and control systems. Food foraging behavior in ant colonies const...
Paul Valckenaers, Karuna Hadeli, Bart Saint Germai...
AAAI
2004
15 years 5 months ago
Model Checking Temporal Logics of Knowledge in Distributed Systems
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
Kaile Su
SELMAS
2004
Springer
15 years 9 months ago
CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...
Lijun Shan, Hong Zhu
FLAIRS
2007
15 years 6 months ago
System Diagnosability Analysis Using p-slop MAP
Researchers have reported successful deployments of diagnosis decision support systems based on Bayesian networks. However, the methodology for evaluating the diagnosability for s...
Tsai-Ching Lu, K. Wojtek Przytula