66 search results - page 1 / 14 » A Framework for Component-based Construction Extended Abstra... |
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
SEFM
2005
IEEE
13 years 10 months ago
2005
IEEE
HPDC
2003
IEEE
13 years 10 months ago
2003
IEEE
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...
FORTE
2009
13 years 2 months ago
2009
Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...
ATVA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...