168 search results - page 13 / 34 » Towards validated real-time software |
ECEH
2006
13 years 11 months ago
2006
: During the last fours years a consortium of universities, hospitals and commercial companies has been working together for the development of innovative systems and services for ...
SIGADA
2007
Springer
14 years 4 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
ASWEC
2006
IEEE
14 years 3 months ago
2006
IEEE
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ens...
OMER
2001
13 years 11 months ago
2001
Abstract: Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to ne...
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to pro...