1980 search results - page 185 / 396 » Compositional Model Checking of Real Time Systems |
121
click to vote
TSE
2008
15 years 1 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
124
click to vote
SEW
2006
IEEE
15 years 8 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
ICIW
2009
IEEE
15 years 8 months ago
2009
IEEE
So far, little research has addressed reuse and contextawareness with respect to rich web-based user interfaces. Uniform models for encapsulation and reuse have been developed for...
116
click to vote
VW
1998
Springer
15 years 6 months ago
1998
Springer
We propose a system for controlling in real time the localisation of sound sources. The system, called MidiSpace, is a real time spatializer of Midi music. We raise the issue of wh...
126
click to vote
IJCAI
1993
15 years 3 months ago
1993
Anytime algorithms, whose quality of results improves gradually as computation time increases, provide useful performance components for timecritical planning and control of robot...