804 search results - page 38 / 161 » On the Termination of the Chase Algorithm |
122
click to vote
FOSSACS
2010
Springer
16 years 29 days ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...
152
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
Abstract-- This paper considers uncertain constrained systems, and develops a method for computing a probabilistic output admissible (POA) set which is a set of initial states prob...
198
click to vote
SIAMCOMP
2010
15 years 26 days ago
2010
This paper studies the inherent trade-off between termination probability and total step complexity of randomized consensus algorithms. It shows that for every integer k, the prob...
159
click to vote
COMSUR
2006
15 years 6 months ago
2006
Digital Video Broadcasting for Handhelds (DVB-H) is a standard for broadcasting IP Datacast (IPDC) services to mobile handheld terminals. Based on the DVB-T standard, DVB-H adds n...
184
Voted
MSO
2003
15 years 7 months ago
2003
The use of sub-optimal digital systems can at times lead to high speed, efficient, costeffective structures that are sufficient to perform needed tasks. We describe here a system ...