2875 search results - page 28 / 575 » Distributed Reactive Machines |
150
Voted
FBT
2000
15 years 2 months 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...
79
Voted
ICML
2006
IEEE
15 years 6 months ago
2006
IEEE
98
Voted
TASE
2008
IEEE
15 years 19 days 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...
127
click to vote
PPSN
2004
Springer
15 years 6 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 ...
126
Voted
CASES
2005
ACM
15 years 2 months 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...