3742 search results - page 183 / 749 » On the Use of Formal Techniques for Validation |
200
click to vote
IFM
2007
Springer
16 years 18 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
199
click to vote
QOSA
2010
Springer
15 years 10 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
162
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
149
click to vote
CLEF
2007
Springer
16 years 19 days ago
2007
Springer
In this paper we describe our experiments in finding answers from documents based on statistical and linguistic knowledge. We collected the candidate answers from sources available...
163
click to vote
ACL
2006
15 years 7 months ago
2006
This paper focuses on the use of advanced techniques of text analysis as support for collocation extraction. A hybrid system is presented that combines statistical methods and mul...