Sciweavers

339 search results - page 14 / 68
» Semantics and Execution of Domain Specific Models
Sort
View
FASE
2004
Springer
15 years 3 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
ER
2001
Springer
128views Database» more  ER 2001»
15 years 4 months ago
Pockets of Flexibility in Workflow Specification
: Workflow technology is currently being deployed in quite diverse domains. However, the element of change is present in some degree and form in almost all domains. A workflow impl...
Shazia W. Sadiq, Wasim Sadiq, Maria E. Orlowska
WEBDB
2005
Springer
158views Database» more  WEBDB 2005»
15 years 5 months ago
iFuice - Information Fusion utilizing Instance Correspondences and Peer Mappings
We present a new approach to information fusion of web data sources. It is based on peer-to-peer mappings between sources and utilizes correspondences between their instances. Suc...
Erhard Rahm, Andreas Thor, David Aumueller, Hong H...
CAISE
2006
Springer
15 years 3 months ago
Semantic Annotation Framework to Manage Semantic Heterogeneity of Process Models
Effective discovery and sharing of process models within and/or across enterprises are important in process model management. A semantic annotation approach has been applied for sp...
Yun Lin, Darijus Strasunskas, Sari Hakkarainen, Jo...
RE
2010
Springer
14 years 6 months ago
Feature Unweaving: Refactoring Software Requirements Specifications into Software Product Lines
The design of the variability of a software product line is crucial to its success and evolution. Meaningful variable features need to be elicited, analyzed, documented and validat...
Reinhard Stoiber, Samuel Fricker, Michael Jehle, M...