2296 search results - page 381 / 460 » The Expressive Power of Synchronizations |
174
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
129
click to vote
BPM
2008
Springer
15 years 6 months ago
2008
Springer
For a particular business process, typically, different variants exist. Each of them constitutes an adjustment of a basic process (e.g. a reference process) to specific requirement...
162
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
While customizable processors aim at combining the flexibility of general purpose processors with the speed and power advantages of custom circuits, commercially available process...
162
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
148
click to vote
EKAW
2008
Springer
15 years 6 months ago
2008
Springer
Similarity measures play a key role in the Semantic Web perspective. Indeed, most of the ontology related operations such as ontology learning, ontology alignment, ontology ranking...