1353 search results - page 215 / 271 » Streamlined Constraint Reasoning |
153
click to vote
KSEM
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. It has been widely recognized that the relative priority of requirements can help developers to resolve inconsistencies and make some necessary trade-off decisions. Howe...
191
click to vote
LOPSTR
2007
Springer
16 years 4 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
173
click to vote
SEMWEB
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. Semantic Web Services are emerging for their promise to produce a more accurate and precise Web Service discovery process. However, most of research approaches focus only...
159
click to vote
TACAS
2007
Springer
16 years 3 days ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
191
click to vote
LICS
2006
IEEE
16 years 18 hour ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...