1980 search results - page 60 / 396 » Compositional Model Checking of Real Time Systems |
3DIM
2003
IEEE
15 years 5 months ago
2003
IEEE
We present an Augmented Reality system that relies on purely passive techniques to solve the real-time registration problem. It can run on a portable PC and does not require engin...
ICSE
2008
IEEE-ACM
16 years 19 days ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
ECRTS
2003
IEEE
15 years 5 months ago
2003
IEEE
FORTE
2008
15 years 1 months ago
2008
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...
EUROMICRO
2006
IEEE
15 years 3 months ago
2006
IEEE
Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering (MDE) is the emerging approach for the design of complex systems, strongly the usage of a...