1122 search results - page 96 / 225 » Behavioral Extensions of Institutions |
IAT
2009
IEEE
15 years 1 months ago
2009
IEEE
We introduce a novel multi agent patrolling algorithm inspired by the behavior of gas filled balloons. Very low capability ant-like agents are considered with the task of patrolli...
84
Voted
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
To perform large-scale coordination in real-world environments requires that many individually complex technologies come together to form integrated solutions. In this paper, we p...
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
HYBRID
1995
Springer
15 years 1 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
NSDI
2007
15 years 7 days ago
2007
Byzantine fault tolerant systems behave correctly when no more than f out of 3f + 1 replicas fail. When there are more than f failures, traditional BFT protocols make no guarantee...