Sciweavers

2106 search results - page 190 / 422
» Specifying C concepts
Sort
View
BPM
2008
Springer
138views Business» more  BPM 2008»
15 years 6 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
EMSOFT
2008
Springer
15 years 6 months ago
Disassembling real-time fault-tolerant programs
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Ar...
ER
2008
Springer
90views Database» more  ER 2008»
15 years 6 months ago
A Domain Engineering Approach for Situational Method Engineering
Abstract. Methodologies are one of the most significant key factors to the success of project development. Since there is no single methodology that can be uniquely pointed as &quo...
Anat Aharoni, Iris Reinhartz-Berger
HIS
2008
15 years 5 months ago
Evaluating Ranking Composition Methods for Multi-Objective Optimization of Knowledge Rules
Most symbolic classifiers aim at building sets of rules with good coverage and precision. While this is suitable for most applications, they tend to neglect other desirable proper...
Rafael Giusti, Gustavo E. A. P. A. Batista, Ronald...
JIISIC
2007
15 years 5 months ago
A Minimal OCL-based Profile for Model Transformation
The MDD (Model Driven Development) initiative covers a broad spectrum of research areas such as modeling languages, definition of transformation languages among models, and constr...
Roxana S. Giandini, Gabriela Pérez, Claudia...