3387 search results - page 391 / 678 » Model-Checking for Real-Time Systems |
161
Voted
QSIC
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...
164
Voted
IFM
2005
Springer
16 years 1 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
218
click to vote
WSC
2008
15 years 9 months ago
2008
The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, processing,...
215
Voted
SIGMETRICS
2010
ACM
15 years 5 months ago
2010
ACM
Many network-management problems in large backbone networks need the answer to a seemingly simple question: where does a given IP packet, entering the network at a particular plac...
216
Voted
ISSTA
2004
ACM
16 years 28 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...