4340 search results - page 457 / 868 » Formal Methods and Cryptography |
163
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— The desire for a high mobility-to-size ratio in mobile robots has led to the exploration of many new methods of locomotion, one of which is tumbling. To the authors’ knowledg...
175
click to vote
AIME
2007
Springer
16 years 1 months ago
2007
Springer
The development of intelligent healthcare support systems always requires a formalization of medical knowledge. Domain ontologies are especially suitable for this purpose but their...
169
click to vote
ESOP
2007
Springer
16 years 29 days ago
2007
Springer
There is a growing concern on anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. Especially, importance of probabilis...
194
click to vote
ESOP
2007
Springer
16 years 29 days ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
156
click to vote
FMCAD
2007
Springer
16 years 29 days ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...