1757 search results - page 228 / 352 » Alternating Refinement Relations |
126
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
148
Voted
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
In addition to indexes and materialized views, horizontal and vertical partitioning are important aspects of physical design in a relational database system that significantly imp...
126
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
We consider the problem of mapping data in peer-topeer data-sharing systems. Such systems often rely on the use of mapping tables listing pairs of corresponding values to search f...
186
click to vote
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
The Voronoi diagram is an important technique for answering nearest-neighbor queries for spatial databases. In this paper, we study how the Voronoi diagram can be used on uncertain...
122
click to vote
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
The Context Modelling Language (CML), derived from Object Role Modeling (ORM), is a powerful approach for capturing the pertinent object types and relationships between those type...