796 search results - page 111 / 160 » An Overview of Separation Logic |
CSSE
2002
IEEE
14 years 11 months ago
2002
IEEE
This work presents a software-implemented fault tolerance approach for building a reliable database application in a CORBA environment. Database applications have functional requi...
CAGD
2010
14 years 8 months ago
2010
Skinning of an ordered set of discrete circles is discussed in this paper. By skinning we mean the geometric construction of two G1 continuous curves touching each of the circles ...
102
click to vote
TODS
2012
13 years 2 months ago
2012
B-trees have been ubiquitous in database management systems for several decades, and they serve in many other storage systems as well. Their basic structure and their basic operat...
WWW
2004
ACM
16 years 16 days ago
2004
ACM
This paper presents a method and a tool for designing and automatically creating an HTML web site for publishing Semantic Web content represented in RDF(S). The idea is to specify...
185
click to vote
VLDB
2001
ACM
16 years 2 days ago
2001
ACM
The problem of answering queries using views is to find efficient methods of answering a query using a set of previously materialized views over the database, rather than accessin...