3667 search results - page 648 / 734 » Software Rejuvenation - Modeling and Analysis |
BIBE
2004
IEEE
14 years 16 days ago
2004
IEEE
Phylogenetic reconstruction from gene-order data has attracted attention from both biologists and computer scientists over the last few years. So far, our software suite GRAPPA is...
BIRTHDAY
2006
Springer
14 years 15 days ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
CAV
2006
Springer
14 years 15 days ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
CLEF
2006
Springer
14 years 15 days ago
2006
Springer
This paper details the participation of the XLDB group from the University of Lisbon at the GeoCLEF task of CLEF 2006. We tested text mining methods that make use of an ontology t...
CLEF
2006
Springer
14 years 15 days ago
2006
Springer
This paper describes our approach to the 2006 Adhoc Monolingual Information Retrieval run for French. The goal of our experiment was to compare the performance of a proposed stati...