200 search results - page 27 / 40 » Sketching valuation functions |
BPM
2010
Springer
14 years 10 months ago
2010
Springer
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...
84
Voted
CONSTRAINTS
2008
14 years 9 months ago
2008
We describe an approach to modeling biological networks by action languages via answer set programming. To this end, we propose an action language for modeling biological networks...
74
Voted
ENTCS
2006
14 years 9 months ago
2006
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...
TVCG
2008
14 years 9 months ago
2008
This paper presents a new approach for the mesh composition on models with arbitrary boundary topology. After cutting the needed parts from existing mesh models and putting them in...
CORR
2002
Springer
14 years 9 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...