672 search results - page 5 / 135 » A framework for QoS-aware software components |
IEE
2010
13 years 5 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
SIMPAR
2010
13 years 5 months ago
2010
Abstract. The idea of component-based software engineering was proposed more that 40 years ago, yet only few robotics software frameworks follow these ideas. The main problem with ...
AKA
2004
13 years 8 months ago
2004
Abstract: The evaluation of software architectures is crucial to ensure that the design of software systems meets the requirements. We present a generic methodical framework that e...
ICRA
2006
IEEE
14 years 22 days ago
2006
IEEE
— Robots are increasingly being used in Computer Integrated Surgery (CIS) systems, yet to our knowledge, there is no open source software that is specifically targeted at this a...
APSEC
2001
IEEE
13 years 10 months ago
2001
IEEE
