Sciweavers

2838 search results - page 396 / 568
» Verifying Controlled Components
Sort
View
ICRA
2005
IEEE
152views Robotics» more  ICRA 2005»
14 years 4 months ago
Autonomous Modular Optical Underwater Robot (AMOUR) Design, Prototype and Feasibility Study
— 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...
Iuliu Vasilescu, Paulina Varshavskaya, Keith Kotay...
SRDS
2005
IEEE
14 years 4 months ago
Architecture-Based Autonomous Repair Management: An Application to J2EE Clusters
This paper presents a component-based architecture for autonomous repair management in distributed systems, and a prototype implementation of this architecture, called JADE, which...
Sara Bouchenak, Fabienne Boyer, Sacha Krakowiak, D...
MSWIM
2005
ACM
14 years 4 months ago
Performance analysis of differentiated ARQ scheme for video transmission over wireless networks
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...
Fen Hou, Pin-Han Ho, Yongbing Zhang
FROCOS
2005
Springer
14 years 4 months ago
A Comprehensive Framework for Combined Decision Procedures
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...
Silvio Ghilardi, Enrica Nicolini, Daniele Zucchell...
ICSOC
2005
Springer
14 years 4 months ago
ASTRO: Supporting Composition and Execution of Web Services
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...
Michele Trainotti, Marco Pistore, Gaetano Calabres...