Sciweavers

1699 search results - page 279 / 340
» On the Expressive Power of QLTL
Sort
View
BPM
2008
Springer
138views Business» more  BPM 2008»
15 years 8 months ago
Issues in Modeling Process Variants with Provop
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...
Alena Hallerbach, Thomas Bauer, Manfred Reichert
CASES
2008
ACM
15 years 8 months ago
Compiling custom instructions onto expression-grained reconfigurable architectures
While customizable processors aim at combining the flexibility of general purpose processors with the speed and power advantages of custom circuits, commercially available process...
Paolo Bonzini, Giovanni Ansaloni, Laura Pozzi
CSL
2008
Springer
15 years 7 months ago
Quantitative Languages
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...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...
EKAW
2008
Springer
15 years 7 months ago
On the Influence of Description Logics Ontologies on Conceptual Similarity
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...
Claudia d'Amato, Steffen Staab, Nicola Fanizzi
ESWS
2008
Springer
15 years 7 months ago
Foundations of RDF Databases
The goal of this paper is to give an overview of the basics of the theory of RDF databases. We provide a formal definition of RDF that includes the features that distinguish this m...
Claudio Gutierrez