2123 search results - page 253 / 425 » Composition of Cyber-Physical Systems |
177
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The component-based and service-oriented development have become commonly used techniques for building high quality, evolvable, large systems in a timely and affordable ...
146
click to vote
WSTFEUS
2003
IEEE
15 years 11 months ago
2003
IEEE
Increase of future appliances at home environment causes confusion with less computer-skilled users. Consequently, embedded-hardware could prevent us from recognizing all of them ...
179
click to vote
EWSPT
2003
Springer
15 years 11 months ago
2003
Springer
Long-lived, architecture-based software systems are increasingly important. Effective process support for these systems depends upon recognising their compositional nature and the ...
158
click to vote
SP
1996
IEEE
15 years 10 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...
162
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
The paper presents a fail-safe mobility management and a collision prevention platform for a group of asynchronous cooperative mobile robots. The fail-safe platform consists of a ...