1202 search results - page 132 / 241 » Sortings for Reactive Systems |
113
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
132
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Performance analysis of real applications in clusters and GRID like environments is essential to fully exploit the performance of new architectures. The key problem is the deepenin...
126
click to vote
EH
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper discusses approaches to cooperative coevolution of form and function for autonomous vehicles, specifically evolving morphology and control for an autonomous micro air v...
148
click to vote
CIA
2000
Springer
15 years 8 months ago
2000
Springer
Auctions are proposed as a distributed negotiation mean, particularly useful in multiagent systems where both cooperative and self-interested agents compete for resources and serv...
147
click to vote
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues t...