548 search results - page 13 / 110 » Adding Real Time to Formal Program Development |
ISI
2008
Springer
14 years 9 months ago
2008
Springer
An Intrusion Detection Program (IDP) analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. In this talk, we p...
ENTCS
2006
14 years 9 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
RTS
1998
14 years 9 months ago
1998
When developing multitasking real-time systems, schedulability tests are used to formally prove that a given task set will meet its deadlines. A wide range of such tests have appe...
RTSS
1995
IEEE
15 years 1 months ago
1995
IEEE
We present a scheme to guarantee that the execution of real-time tasks can tolerate transient and intermittent faults assuming any queue- based scheduling technique. The scheme is...
TPHOL
2003
IEEE
15 years 2 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...