2838 search results - page 396 / 568 » Verifying Controlled Components |
ICRA
2005
IEEE
14 years 4 months ago
2005
IEEE
— We propose a novel modular underwater robot which can self-reconfigure by stacking and unstacking its component modules. Applications for this robot include underwater monitor...
SRDS
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper presents a component-based architecture for autonomous repair management in distributed systems, and a prototype implementation of this architecture, called JADE, which...
MSWIM
2005
ACM
14 years 4 months ago
2005
ACM
The Advance in video coding and wireless communication techniques has enabled video-based services to be the most important component of many emerging multimedia applications. The...
FROCOS
2005
Springer
14 years 4 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
ICSOC
2005
Springer
14 years 4 months ago
2005
Springer
Web services are rapidly emerging as the reference paradigm for the interaction and coordination of distributed business processes. In several research papers we have shown how ad...