3052 search results - page 450 / 611 » Engineers Don't Search |
ASM
2008
ASM
14 years 11 days ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
ASWC
2008
Springer
14 years 11 days ago
2008
Springer
Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitat...
ASWC
2008
Springer
14 years 11 days ago
2008
Springer
Ontology matching is a promising step towards the solution to the interoperability problem of the Semantic Web. Instance-based methods have the advantage of focusing on the most ac...
AUTONOMICS
2008
ACM
14 years 11 days ago
2008
ACM
In this paper we describe R-P2P, a novel system meant to support the search and retrieval of data in a given area. RP2P couples opportunistic wireless communications between mobil...
EUROPAR
2008
Springer
14 years 3 days ago
2008
Springer
Abstract. This paper proposes and presents a comparison of scheduling algorithms applied to the context of load balancing the query traffic on distributed inverted files. We put em...