Sciweavers

7049 search results - page 371 / 1410
» Data Abstraction for CSP-OZ
Sort
View
EKAW
2008
Springer
15 years 8 months ago
Towards a Rule-Based Matcher Selection
Abstract. The central problems w.r.t. interoperability and data integration issues in the Semantic Web are schema and ontology matching approaches. Today it takes an expert to dete...
Malgorzata Mochol, Anja Jentzsch
FASE
2008
Springer
15 years 8 months ago
Software Quality Improvement Via Pattern Matching
Abstract. Nested if-then-else statements is the most common programming schema in applications like data transformation or data analysis. In most cases, these can be replaced by hi...
Radu Kopetz, Pierre-Etienne Moreau
ECIR
2007
Springer
15 years 8 months ago
Building a Desktop Search Test-Bed
Abstract. In the last years several top-quality papers utilized temporary Desktop data and/or browsing activity logs for experimental evaluation. Building a common testbed for the ...
Sergey Chernov, Pavel Serdyukov, Paul-Alexandru Ch...
OWLED
2007
15 years 8 months ago
Mother, May I? OWL-based Policy Management at NASA
Abstract. Among the challenges of managing NASA’s information systems is the management (that is, creation, coordination, verification, validation, and enforcement) of many di...
Michael Smith, Andrew Schain, Kendall Clark, Arlen...
WOTUG
2008
15 years 8 months ago
Mechanical Verification of a Two-Way Sliding Window Protocol
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data trans...
Bahareh Badban, Wan Fokkink, Jaco van de Pol