670 search results - page 33 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
RTCSA
1998
IEEE
14 years 1 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
JSSPP
2005
Springer
14 years 2 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
RTSS
2006
IEEE
14 years 2 months ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
DSN
2002
IEEE
14 years 1 months ago
2002
IEEE
Designing applications with timeliness requirements in environments of uncertain synchrony is known to be a difficult problem. In this paper, we follow the perspective of timing ...
EUROCAST
2007
Springer
14 years 20 days ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...