Sciweavers

6881 search results - page 287 / 1377
» Motivation
Sort
View
BIRTHDAY
2007
Springer
16 years 27 days ago
A Denotational Semantics for Handel-C
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
Andrew Butterfield
BPM
2007
Springer
136views Business» more  BPM 2007»
16 years 27 days ago
The Need for a Process Mining Evaluation Framework in Research and Practice
Although there has been much progress in developing process mining algorithms in recent years, no effort has been put in developing a common means of assessing the quality of the ...
Anne Rozinat, Ana Karla Alves de Medeiros, Christi...
BPM
2007
Springer
134views Business» more  BPM 2007»
16 years 27 days ago
Mining Process Execution and Outcomes - Position Paper
Organizational processes in general and patient-care processes in particular, change over time. This may be in response to situations unpredicted by a predefined business process m...
Mor Peleg, Pnina Soffer, Johny Ghattas
BTW
2007
Springer
149views Database» more  BTW 2007»
16 years 27 days ago
Instance-based matching of hierarchical ontologies
Abstract: We study an instance-based approach for matching hierarchical ontologies, such as product catalogs. The motivation for utilizing instances is that metadata-based match ap...
Andreas Thor, Toralf Kirsten, Erhard Rahm
CAISE
2007
Springer
16 years 27 days ago
Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
Giancarlo Guizzardi