804 search results - page 38 / 161 » On the Termination of the Chase Algorithm |
69
Voted
FOSSACS
2010
Springer
15 years 7 months 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...
AUTOMATICA
2008
15 years 17 days 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...
143
Voted
SIAMCOMP
2010
14 years 7 months 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...
91
Voted
COMSUR
2006
15 years 15 days 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...
124
Voted
MSO
2003
15 years 1 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 ...