Sciweavers

31387 search results - page 294 / 6278
» Abstracting abstract machines
Sort
View
117
Voted
MKWI
2008
127views Business» more  MKWI 2008»
15 years 9 months ago
An Algorithm for the Validation of Executable Completions of an Abstract BPEL Process
Ralph Mietzner, Zhilei Ma, Frank Leymann
140
Voted
MODELLIERUNG
2008
15 years 9 months ago
Improving Design Patterns by Description Logics: A Use Case with Abstract Factory and Strategy
Fernando Silva Parreiras, Steffen Staab, Andreas W...
142
Voted
IPCO
2007
66views Optimization» more  IPCO 2007»
15 years 9 months ago
Maximizing a Submodular Set Function Subject to a Matroid Constraint (Extended Abstract)
Gruia Calinescu, Chandra Chekuri, Martin Pá...