10916 search results - page 333 / 2184 » On Constructive Connectives and Systems |
205
click to vote
DSRT
2005
IEEE
16 years 14 days ago
2005
IEEE
This document presents a simulation-based method for the development of real time embedded systems. This kind of system is really sensitive to the communication with external envi...
174
click to vote
MFCS
2005
Springer
16 years 10 days ago
2005
Springer
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
156
click to vote
IJCAI
1997
15 years 8 months ago
1997
This paper proposes a Distributed Vision System as a Perceptual Information Infrastructure for robot navigation in a dynamically changing world. The distributed vision system, con...
176
click to vote
SIMPRA
2008
15 years 6 months ago
2008
Using multi-agent models to study social systems has attracted criticisms because of the challenges involved in their validation. Common criticisms that we have encountered are de...
202
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
We consider large scale interconnected systems where some of the interconnections are characterized by uncertain bounded delays. The delays may for instance be due to a communicati...