285 search results - page 43 / 57 » Towards a Compositional Approach to the Design and Verificat... |
SIGSOFT
2006
ACM
14 years 2 months ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
ATAL
2009
Springer
13 years 12 months ago
2009
Springer
Many real-world applications of multiagent systems require independently designed (heterogeneous) and operated (autonomous) agents to interoperate. We consider agents who offer bu...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
MOBICOM
2010
ACM
13 years 8 months ago
2010
ACM
Cellular radios consume more power and suffer reduced data rate when the signal is weak. According to our measurements, the communication energy per bit can be as much as 6x highe...
ETFA
2006
IEEE
14 years 2 months ago
2006
IEEE
—The IEC61499 standard is the first step towards the development of the next generation agile manufacturing systems where distribution, interoperability and re-configuration are ...