Sciweavers

1552 search results - page 5 / 311
» Comprehending agent software
Sort
View
FMOODS
2007
13 years 11 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
AOSE
2000
Springer
14 years 2 months ago
Agent-Based Software Engineering
Charles J. Petrie
ATAL
2009
Springer
14 years 2 months ago
Software self-reconfiguration: a BDI-based approach
Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos