2470 search results - page 284 / 494 » Liveness-Preserving Simulation Relations |
143
click to vote
RTAS
2007
IEEE
15 years 11 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
153
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Research in the area of Multi-Agent System (MAS) organization has shown that the ability for a MAS to adapt its organizational structure can be beneficial when coping wi...
133
click to vote
ECAL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present a model of a recurrent neural network with homeostasic units, embodied in a minimalist articulated agent with a single link and joint. The configuration of th...
130
click to vote
LOCA
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents algorithms, simulations, and empirical results of a system that finds relative tag positions in 3D space using a new approach called “mobile infrastructure....
153
Voted
QEST
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...