1690 search results - page 178 / 338 » Algorithmic Properties of Millstream Systems |
133
Voted
ICTAC
2004
Springer
15 years 10 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
145
click to vote
BIRTHDAY
2003
Springer
15 years 10 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
182
Voted
WWW
2011
ACM
14 years 11 months ago
2011
ACM
An object on the Semantic Web is likely to be denoted with multiple URIs by different parties. Object coreference resolution is to identify “equivalent” URIs that denote the ...
136
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
Ranking is an important property that needs to be fully supported by current relational query engines. Recently, several rank-join query operators have been proposed based on rank...
136
click to vote
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...