780 search results - page 28 / 156 » Introduction to Special Issue |
MMMACNS
2001
Springer
14 years 1 months ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
CAISE
2006
Springer
14 years 12 days ago
2006
Springer
- Extended Abstract of Industrial Talk IT services are an important means to achieve competitive advantages by creating new business models or by reducing costs. Furthermore, there...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— This paper considers the problem of sensor selfcalibration in mobile robotics by only using a single point feature (e.g. a source of light). In particular, the problem ...
TASE
2007
IEEE
14 years 2 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
KBSE
1999
IEEE
14 years 29 days ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...