Sciweavers

3425 search results - page 270 / 685
» A Model Driven Approach for Software Systems Reliability
Sort
View
ER
2007
Springer
142views Database» more  ER 2007»
15 years 10 months ago
Multidimensional Data Modeling for Business Process Analysis
The emerging area of business process intelligence attempts to enhance the analytical capabilities of business process management systems by employing data warehousing and mining t...
Svetlana Mansmann, Thomas Neumuth, Marc H. Scholl
EUROMICRO
1996
IEEE
15 years 8 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
BPM
2007
Springer
168views Business» more  BPM 2007»
15 years 10 months ago
Modeling Control Objectives for Business Process Compliance
Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasin...
Shazia Wasim Sadiq, Guido Governatori, Kioumars Na...
ECAI
2006
Springer
15 years 8 months ago
Learning Behaviors Models for Robot Execution Control
Robust execution of robotic tasks is a difficult problem. In many situations, these tasks involve complex behaviors combining different functionalities (e.g. perception, localizat...
Guillaume Infantes, Félix Ingrand, Malik Gh...
EUROMICRO
2005
IEEE
15 years 10 months ago
Modelling of Input-Parameter Dependency for Performance Predictions of Component-Based Embedded Systems
The guaranty of meeting the timing constraints during the design phase of real-time component-based embedded software has not been realized. To satisfy real-time requirements, we ...
Egor Bondarev, Peter H. N. de With, Michel R. V. C...