414 search results - page 56 / 83 » Tool-supported hierarchical design of distributed real-time ... |
FAC
2000
13 years 8 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
We describe a Multi-Agent System (MAS) for controlling teams of uninhabited air vehicles (UAVs) in the context of a larger system that has been used to evaluate potential concepts...
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
MAGS
2007
13 years 8 months ago
2007
AKIRA is an open source framework designed for parallel, asynchronous and distributed computation, on the basis of some general architectural principles which are inspired by modu...
AAMAS
2008
Springer
13 years 9 months ago
2008
Springer
The ability to create effective multi-agent organizations is key to the development of larger, more diverse multi-agent systems. In this article we present KB-ORG: a fully automate...