Sciweavers

1105 search results - page 27 / 221
» Timed Automata Model for Component-Based Real-Time Systems
Sort
View
137
Voted
WORDS
2003
IEEE
15 years 8 months ago
Weaving Aspects into Real-Time Operating System Design Using Object-Oriented Model Transformation
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
Jiyong Park, Saehwa Kim, Seongsoo Hong
150
Voted
CVPR
2000
IEEE
16 years 4 months ago
Statistical Modeling and Performance Characterization of a Real-Time Dual Camera Surveillance System
The engineering of computer vision systems that meet application speci c computational and accuracy requirements is crucial to the deployment of real-life computer vision systems....
Michael Greiffenhagen, Visvanathan Ramesh, Dorin C...
104
Voted
FDL
2003
IEEE
15 years 8 months ago
Combining Formal Refinement and Model Checking for Real-Time Systems Verification
Alexander Krupp, Wolfgang Müller 0003
FTRTFT
1998
Springer
15 years 6 months ago
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)
Marius Bozga, Conrado Daws, Oded Maler, Alfredo Ol...