Sciweavers

22 search results - page 2 / 5
» Simple and Minimum-Cost Satisfiability for Goal Models
Sort
View
WWW
2009
ACM
14 years 5 months ago
Search shortcuts: driving users towards their goals
Giving suggestions to users of Web-based services is a common practice aimed at enhancing their navigation experience. Major Web Search Engines usually provide Suggestions under t...
Ranieri Baraglia, Fidel Cacheda, Victor Carneiro, ...
ICDT
2009
ACM
143views Database» more  ICDT 2009»
14 years 5 months ago
Automatic construction of simple artifact-based business processes
Almost all medium- and large-scale businesses rely on electronic workflow systems to manage their business processes. A key challenge is to enable the easy re-use and modification...
Christian Fritz, Richard Hull, Jianwen Su
CP
2007
Springer
13 years 11 months ago
Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT
Searching for optimal solutions to a problem using lower bounds obtained from a relaxation is a common idea in Heuristic Search and Planning. In SAT and CSPs, however, explicit rel...
Miquel Ramírez, Hector Geffner
BPM
2010
Springer
179views Business» more  BPM 2010»
13 years 5 months ago
Value-Oriented Coordination Process Modeling
Business webs are collections of enterprises designed to jointly satisfy a consumer need. Designing business webs calls for modeling the collaboration of enterprises from different...
Hassan Fatemi, Marten van Sinderen, Roel Wieringa
IV
2008
IEEE
89views Visualization» more  IV 2008»
13 years 11 months ago
A Practical Way for Projects to Visualize Design Rationale
Design rationale remains poorly explained and rarely modelled on projects in industry. However, the reasons for design decisions are important when a specification has to be re-ex...
Ian Alexander