Sciweavers

2644 search results - page 388 / 529
» Autonomic nervous system
Sort
View
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 6 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
98
Voted
MIDDLEWARE
2004
Springer
15 years 6 months ago
Research directions in reflective middleware: the Lancaster experience
In this paper, we survey three generation of reflective middleware research carried out at Lancaster University, present experiences gained from this research, and highlight a num...
Gordon S. Blair, Geoff Coulson, Paul Grace
107
Voted
PRIMA
2001
Springer
15 years 5 months ago
The Role of Castes in Formal Specification of MAS
One of the most appealing features of multiagent technology is its natural way to modularise a complex system in terms of multiple, interacting and autonomous components. As a natu...
Hong Zhu
MOBICOM
1999
ACM
15 years 5 months ago
Next Century Challenges: Mobile Networking for "Smart Dust"
Large-scale networks of wireless sensors are becoming an active topic of research. Advances in hardware technology and engineering design have led to dramatic reductions in size, ...
Joseph M. Kahn, Randy H. Katz, Kristofer S. J. Pis...
119
Voted
AGENTS
1999
Springer
15 years 5 months ago
Planning and Resource Allocation for Hard Real-Time, Fault-Tolerant Plan Execution
We describe the interface between a real-time resource allocation system with an AI planner in order to create fault-tolerant plans that are guaranteed to execute in hard real-tim...
Ella M. Atkins, Tarek F. Abdelzaher, Kang G. Shin,...