2918 search results - page 506 / 584 » Distributed Troubleshooting Agents |
185
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
188
click to vote
CEEMAS
2005
Springer
15 years 12 months ago
2005
Springer
Architectural design plays a key role in software engineering. The software architecture is the backbone of the designed solution, it has the functional requirements of the system ...
214
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
We present a Genetic Programming approach to evolve cooperative controllers for teams of UAVs. Our focus is a collaborative search mission in an uncertain and/or hostile environme...
148
click to vote
ICARIS
2005
Springer
15 years 11 months ago
2005
Springer
Many bio-inspired algorithms (evolutionary algorithms, artificial immune systems, particle swarm optimisation, ant colony optimisation, …) are based on populations of agents. Ste...
179
click to vote
MIDDLEWARE
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a content-dependent and configurable framework for the network processing of documents. Like existing compound document frameworks, it enables an enriched docu...