1397 search results - page 86 / 280 » On the Need for Practical Formal Methods |
ACSC
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
FAABS
2000
Springer
14 years 19 days ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
ICCV
2005
IEEE
14 years 11 months ago
2005
IEEE
The geometry of plane-based calibration methods is well understood, but some user interaction is often needed in practice for feature detection. This paper presents a fully automa...
ICIP
2008
IEEE
14 years 10 months ago
2008
IEEE
We demonstrate that it is possible to filter an image with an elliptic window of varying size, elongation and orientation with a fixed computational cost per pixel. Our method inv...
IJNSEC
2007
13 years 9 months ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...