1001 search results - page 190 / 201 » Testing Formal Dialectic |
IWMM
2010
Springer
14 years 14 days ago
2010
Springer
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...
PKC
2009
Springer
14 years 7 days ago
2009
Springer
Abstract. Zero-knowledge proofs with witness elimination are protocols that enable a prover to demonstrate knowledge of a witness to the verifier that accepts the interaction prov...
SIGUCCS
2000
ACM
14 years 1 days ago
2000
ACM
The quality of student consultants and their development through training and education are major factors in determining long-term effectiveness of university Help Desk. To hire a...
RTSS
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
RTSS
1998
IEEE
13 years 12 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...