2861 search results - page 209 / 573 » Constraint Programming |
209
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
— Uncertainties in data arise for a number of reasons: when the data set is incomplete, contains conflicting information or has been deliberately perturbed or coarsened to remov...
154
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
181
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
In the past few years, a number of constraint languages for XML documents has been proposed. They are cumulatively called schema languages or validation languages and they compris...
185
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Embedded applications like video decoding, video streaming and those in the network domain, typically have a Quality of Service (QoS) requirement which needs to be met. Apart from...
148
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
We focus on synthesis techniques for transforming existing fault-intolerant real-time programs to fault-tolerant programs that provide phased recovery. A fault-tolerant program is ...