670 search results - page 31 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
107
click to vote
RTAS
1997
IEEE
15 years 4 months ago
1997
IEEE
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
121
click to vote
CVPR
2005
IEEE
16 years 2 months ago
2005
IEEE
We present a new method to robustly and efficiently analyze foreground when we detect background for a fixed camera view by using mixture of Gaussians models and multiple cues. Th...
110
Voted
ECOOP
2006
Springer
15 years 2 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
119
Voted
TOCL
2008
15 years 11 days ago
2008
State Machines Capture Parallel Algorithms: Correction and Extension ANDREAS BLASS University of Michigan and YURI GUREVICH Microsoft Research We consider parallel algorithms worki...
138
click to vote
FORTE
2009
14 years 10 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...