2725 search results - page 396 / 545 » Constraint Solving for Interpolation |
84
Voted
CP
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we show that the power of using k-consistency techniques in a constraint problem is precisely captured by using a particular inference rule, which we call positive-hy...
107
Voted
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
—A random testing strategy can be effective at finding faults, but may leave some routines entirely untested if it never gets to call them on objects satisfying their preconditi...
120
Voted
IEEECIT
2010
IEEE
14 years 11 months ago
2010
IEEE
With the vigorous development of the Internet, web applications have been widely used on the PC (Personal Computer) platforms. The maturity of the hardware and software platforms ...
116
Voted
JCS
2010
14 years 11 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
109
Voted
LICS
2010
IEEE
14 years 11 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...