2138 search results - page 254 / 428 » Logical Step-Indexed Logical Relations |
246
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
There is a growing need to associate a variety of metadata with the underlying data, but a simple, elegant approach to uniformly model and query both the data and the metadata has...
159
click to vote
FUZZIEEE
2007
IEEE
16 years 26 days ago
2007
IEEE
— This paper discusses ways of navigating online contact networks - networks of social connections defined under a relational context - on a way that can provide much more meani...
174
click to vote
ICDE
2007
IEEE
16 years 26 days ago
2007
IEEE
The ability to query data streams is of increasing importance and has been identified as a crucial element for modern organizations and agencies. This paper identifies a class o...
164
click to vote
FATES
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
158
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. A positive temporal template (or a positive temporal constraint language) is a relational structure whose relations can be defined over countable dense linear order witho...