2838 search results - page 391 / 568 » Verifying Controlled Components |
SASO
2007
IEEE
14 years 5 months ago
2007
IEEE
Robots in a swarm construction system need to be able to find their way to all potential places to add material to a structure. In two dimensions, a (trivial) procedure exists fo...
VTC
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract—Networking researchers have long faced a fundamental tension between the experimental realism of wireless testbeds on one hand, and the control and repeatability of simu...
CANS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We present a semantic extension to X.509 certificates that allows incorporating new anonymity signature schemes into the X.509 framework. This fact entails advantages to...
DSOM
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Experiences with the management of Grid specific monitoring and accounting data have shown that current approaches do not sufficiently support a distinction between prov...
HYBRID
2007
Springer
14 years 4 months ago
2007
Springer
This paper addresses questions regarding the decidability of hybrid automata that may be constructed hierarchically and in a modular way, as is the case in many exemplar systems, b...