2756 search results - page 548 / 552 » Searching the Web: From Keywords to Semantic Queries |
I3
2007
14 years 11 months ago
2007
The main objective of this work is to exploit the relationship between the information findability problem and a subject-based organization of information. Identification of a sub...
102
click to vote
ENTCS
2007
14 years 9 months ago
2007
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
112
click to vote
POPL
2011
ACM
14 years 16 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
84
Voted
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
74
Voted
SIGMOD
2002
ACM
15 years 9 months ago
2002
ACM
Managing a combined store consisting of database data and file data in a robust and consistent manner is a challenge for database systems and content management systems. In such a...