Sciweavers

346 search results - page 30 / 70
» Toward a Model of Type Inheritance
Sort
View
WEBDB
2009
Springer
100views Database» more  WEBDB 2009»
14 years 3 months ago
Towards Well-Behaved Schema Evolution
We study the problem of schema evolution in the RDF data model. RDF and the RDFS schema language are W3C standards for flexibly modeling and sharing data on the web. Although sch...
Rada Chirkova, George H. L. Fletcher
POPL
2010
ACM
14 years 6 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
KI
2009
Springer
14 years 3 months ago
Toward Heterogeneous Cardinal Direction Calculus
Cardinal direction relations are binary spatial relations determined under an extrinsically-defined direction system (e.g., north of). We already have point-based and region-based ...
Yohei Kurata, Hui Shi
IEEESCC
2008
IEEE
14 years 3 months ago
Enterprise Mashups: Design Principles towards the Long Tail of User Needs
A new type of Web-based applications, known as Enterprise Mashups, has been gaining momentum in the last years. Novel design principles are currently about to emerge allowing to c...
Volker Hoyer, Katarina Stanoevska-Slabeva, Till Ja...
CONTEXT
2007
Springer
14 years 3 months ago
Towards an Adaptation of Semi-structured Document Querying
In our research work, we consider that access to semi-structured documents is carried out by a data-oriented query. With different users and a same query, the returned results are ...
Corinne Amel Zayani, André Péninou, ...