503 search results - page 3 / 101 » Real-time Property Preservation in Approximations of Timed S... |
MEMOCODE
2003
IEEE
13 years 11 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
ICDCSW
2003
IEEE
13 years 11 months ago
2003
IEEE
The advancement of wireless communication and mobile telecommunication has made mobile commerce possible. In the retail business under the evolving market, the users would like to...
SAFECOMP
1998
Springer
13 years 10 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
HASE
1999
IEEE
13 years 10 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
COMPSAC
1996
IEEE
13 years 10 months ago
1996
IEEE
