529 search results - page 88 / 106 » Property Directed Abstract Interpretation |
ECML
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Many complex control problems are not amenable to traditional controller design. Not only is it difficult to model real systems, but often it is unclear what kind of beha...
AIME
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Medical practice protocols or guidelines are statements to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order t...
FORTE
2010
13 years 9 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
BILDMED
2009
13 years 8 months ago
2009
Abstract. Reflection of sound waves, due to acoustic impedance mismatch at the interface of two media, is the principal physical property which allows visualization with ultrasound...
ECCC
2007
13 years 7 months ago
2007
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...