2830 search results - page 206 / 566 » No Science without Semantics |
ICDT
2007
ACM
14 years 3 months ago
2007
ACM
Abstract. We study containment of conjunctive queries that are evaluated over databases that may contain tuples with null values. We assume the semantics of SQL for single block qu...
VMCAI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
DEXA
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Mobile Ad-Hoc Networks, or MANETs, provide communication between free-roaming mobile hosts without a fixed infrastructure. These MANETs operate under conditions of limite...
VMV
2008
13 years 11 months ago
2008
Architectural blueprints offer a concise, clear and high-level description of the structure of a building. On the other hand, state of the art reconstruction pipelines can nowaday...
TPDS
2008
13 years 9 months ago
2008
This paper presents Harmonic Ring (HRing), a structured peer-to-peer (P2P) overlay where long links are built along the ring with decreasing probabilities coinciding with the Harmo...