2470 search results - page 284 / 494 » Liveness-Preserving Simulation Relations |
196
click to vote
RTAS
2007
IEEE
16 years 1 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...
187
click to vote
ATAL
2007
Springer
16 years 1 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...
179
click to vote
ECAL
2007
Springer
16 years 1 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...
181
click to vote
LOCA
2007
Springer
16 years 1 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....
204
click to vote
QEST
2006
IEEE
16 years 1 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...