1421 search results - page 46 / 285 » Satisfying KBO Constraints |
FOIKS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In this paper, we present a syntactic method for solving firstorder equational constraints over term algebras. The presented method exploits a novel notion of quasi-solve...
CAISE
2006
Springer
13 years 10 months ago
2006
Springer
Given a service request such as scheduling an appointment or purchasing a product, it is possible that the invocation of the service results in too many solutions that all satisfy ...
COCO
2007
Springer
14 years 2 months ago
2007
Springer
We study a model of graph related formulae that we call the Constraint-Graph model. A constraintgraph is a labeled multi-graph (a graph where loops and parallel edges are allowed)...
UM
2005
Springer
14 years 1 months ago
2005
Springer
This research aims at reconciling web personalization with privacy constraints imposed by legal restrictions and by users’ privacy preferences. We propose a software product line...
CAISE
1999
Springer
14 years 13 days ago
1999
Springer
Time management is a critical component of workflow-based process management. Important aspects of time management include planning of workflow process execution in time, estimat...