6800 search results - page 704 / 1360 » Testing with Functions as Specifications |
218
click to vote
CLEF
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper presents an indexing technique based on WordNet synonyms and holonyms. This technique has been developed for the Geographical Information Retrieval task. It ma...
213
click to vote
FMCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
171
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...
164
click to vote
ETRICS
2006
15 years 11 months ago
2006
Abstract. We consider cooperating intrusion detection agents that limit the cooperation information flow with a focus on privacy and confidentiality. Generalizing our previous work...
233
click to vote
APAQS
2001
IEEE
15 years 11 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...