3256 search results - page 427 / 652 » Applications of Formal Methods to System Design and Verifica... |
150
click to vote
RTSS
2008
IEEE
15 years 12 months ago
2008
IEEE
The wide applications of cyber-physical systems (CPS) call for effective design strategies that optimize the performance of both computing units and physical plants. We study the ...
135
click to vote
ISM
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— This demonstration highlights the benefits that image retrieval systems can enjoy by use of a thoughtful interface. We present a live demonstration of PRISM, a new Web...
160
click to vote
EUC
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...
157
click to vote
WCRE
1999
IEEE
15 years 9 months ago
1999
IEEE
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...
151
click to vote
DSVIS
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents an approach for representing, and providing computer support for, the configuration of interactive systems, particularly ubiquitous systems, that offers a flexi...