1980 search results - page 252 / 396 » Compositional Model Checking of Real Time Systems |
105
click to vote
ICAT
2003
IEEE
15 years 8 months ago
2003
IEEE
Traditionally film making costs a huge amount of money and a great deal of time and labor. Converting traditional techniques of film making into virtual techniques could save mone...
130
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
In crisis, decisions must be made in human perceptual timeframes under pressure to respond to dynamic uncertain conditions. To be effective management must have access to real time...
168
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
134
Voted
KBS
2002
15 years 3 months ago
2002
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...
110
Voted
ACSD
2006
IEEE
15 years 9 months ago
2006
IEEE
We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. ...