1087 search results - page 94 / 218 » Achieving Distributed Control through Model Checking |
ICOIN
2007
Springer
14 years 3 months ago
2007
Springer
Measurement studies on the Internet topology show that connectivities of nodes exhibit power–law attribute, but it is apparent that only the degree distribution does not determin...
SAB
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
ETFA
2006
IEEE
14 years 3 months ago
2006
IEEE
—The International Electro-technical Commission through the 61499 standard establishes the basic infrastructure towards an open market in the control and automation domain. This ...
ALIFE
2000
13 years 9 months ago
2000
The evolution of simulated robots with three different architectures is studied in this article. We compare a nonmodular feed-forward network, a hardwired modular, and a duplicatio...
AC
1999
Springer
14 years 1 months ago
1999
Springer
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...