886 search results - page 121 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
CIKM
2007
Springer
15 years 7 months ago
2007
Springer
As one of the most effective query expansion approaches, local feedback is able to automatically discover new query terms and improve retrieval accuracy for different retrieval ...
120
click to vote
ICSEA
2006
IEEE
15 years 7 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
107
click to vote
SCIA
2007
Springer
15 years 7 months ago
2007
Springer
Two deformable registration methods, the Demons and the Morphon algorithms, have been used for registration of CT datasets to evaluate their usability in radiotherapy planning for ...
TYPES
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...