1980 search results - page 78 / 396 » Compositional Model Checking of Real Time Systems |
ICMCS
2000
IEEE
15 years 4 months ago
2000
IEEE
Physical modeling of a mass-spring system allows for realistic object motion and deformation in a virtual environment. Previous work in this type of physical modeling relies on ge...
UML
2004
Springer
15 years 5 months ago
2004
Springer
: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the...
123
click to vote
RTAS
1997
IEEE
15 years 4 months ago
1997
IEEE
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
The Real-Time CORBA and minimumCORBA specifications are important steps towards defining standard-based middleware which can satisfy real-time requirements in an embedded system...
PAPM
2001
Springer
15 years 4 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...