1187 search results - page 57 / 238 » Graph-Based Procedural Abstraction |
VMCAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract— We show how to compute a minimal Riccatibalanced state map and a minimal Riccati-balanced state space representation starting from an image representation of a strictly...
MICCAI
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper reports the development of a full-scale instrumented model of the human ear that permits quantitative evaluation of the utility of a microsurgical assistant ro...
SPIN
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...
CSL
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Church's Problem (1962) asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence X an output...