2875 search results - page 28 / 575 » Distributed Reactive Machines |
FBT
2000
14 years 7 days ago
2000
The behavior of reactive systems can be described by their black box properties as a relation between input and output streams. More operational is the behavior's description...
ICML
2006
IEEE
14 years 4 months ago
2006
IEEE
TASE
2008
IEEE
13 years 10 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
PPSN
2004
Springer
14 years 4 months ago
2004
Springer
In this paper we present AntHocNet, a new algorithm for routing in mobile ad hoc networks. Due to the ever changing topology and limited bandwidth it is very hard to establish and ...
CASES
2005
ACM
14 years 26 days ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...