345 search results - page 15 / 69 » Computer-Assisted Simulation Proofs |
CAV
2001
Springer
15 years 2 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
79
Voted
ENTCS
2008
14 years 9 months ago
2008
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...
CRYPTO
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper introduces simulatable verifiable random functions (sVRF). VRFs are similar to pseudorandom functions, except that they are also verifiable: corresponding to...
ISI
2006
Springer
14 years 9 months ago
2006
Springer
Responding to natural or man-made disasters in a timely and effective manner can reduce deaths and injuries, contain or prevent secondary disasters, and reduce the resulting econom...
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
- This paper describes the study of the force-closure workspace of a 6-DOF, cable-driven, parallel robot for the application in a hardware-in-the-loop dynamic simulator, which is u...