2639 search results - page 240 / 528 » Biological Systems as Reactive Systems |
166
click to vote
ICFEM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
149
click to vote
FM
2003
Springer
15 years 12 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...
178
click to vote
ICCS
2003
Springer
15 years 12 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...
158
click to vote
EH
2002
IEEE
15 years 11 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...
190
Voted
CIA
2000
Springer
15 years 11 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...