Sciweavers

1453 search results - page 160 / 291
» Partial Constraint Satisfaction
Sort
View
RE
2010
Springer
14 years 11 months ago
Fuzzy Goals for Requirements-Driven Adaptation
Self-adaptation is imposing as a key characteristic of many modern software systems to tackle their complexity and cope with the many environments in which they can operate. Self-a...
Luciano Baresi, Liliana Pasquale, Paola Spoletini
DEXA
2004
Springer
87views Database» more  DEXA 2004»
15 years 8 months ago
Ensuring Task Dependencies During Workflow Recovery
Abstract. Workflow management systems (WFMS) coordinate execution of multiple tasks performed by different entities within an organization. In order to coordinate the execution of ...
Indrakshi Ray, Tai Xin, Yajie Zhu
LICS
1991
IEEE
15 years 8 months ago
Defaults and Revision in Structured Theories
Starting from a logic which speci es how to make deductions from a set of sentences (a ` at theory'), a way to generalise this toa partiallyordered bag ofsentences (a `struct...
Mark Ryan
CP
2000
Springer
15 years 8 months ago
Practical Investigation of Constraints with Graph Views
Combinatorial problems can be efficiently tackled with constraint programming systems. The main tasks of the development of a constraint-based application are modeling the proble...
Tobias Müller
VL
2003
IEEE
146views Visual Languages» more  VL 2003»
15 years 9 months ago
A reading algorithm for constraint diagrams
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...
Andrew Fish, Jean Flower, John Howse