8828 search results - page 1281 / 1766 » Formal methods in practice |
179
click to vote
DASFAA
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we address the problems of adaptive schema mappings between different peers in peer-to-peer network and searching for interesting data residing at different peers ba...
207
click to vote
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
A central role of Geographic Information Systems (GIS) is to allow the identification and visualisation of relevant spatial features from typically large volumes of data. This requ...
182
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
200
click to vote
ASWC
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Ontology matching is a crucial task of enabling interoperation between Web applications using different but related ontologies. Due to the size and the monolithic nature,...
212
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...