1980 search results - page 259 / 396 » Compositional Model Checking of Real Time Systems |
142
click to vote
ECRTS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
158
click to vote
SIGGRAPH
1996
ACM
15 years 7 months ago
1996
ACM
We present a new approach for modeling and rendering existing architectural scenes from a sparse set of still photographs. Our modeling approach, which combines both geometry-base...
114
Voted
ESORICS
2002
Springer
16 years 3 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
132
Voted
WSC
1998
15 years 4 months ago
1998
A regional transportation system and the movement of large traffic volumes through it, are characteristic of stochastic systems. The standard traffic management or transportation ...
163
Voted
IANDC
2007
15 years 3 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...