2123 search results - page 336 / 425 » Composition of Cyber-Physical Systems |
119
Voted
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
81
Voted
ACSD
2004
IEEE
15 years 4 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
89
Voted
AMAST
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A c...
144
Voted
ECBS
2006
IEEE
15 years 4 months ago
2006
IEEE
Software product lines (PLs) are large, complex systems, demanding high maintainability and enhanced flexibility. Nonetheless, in the state of the art PL methods, features are sca...
112
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...