Sciweavers

2328 search results - page 233 / 466
» Component Frameworks - A Case Study
Sort
View
BPM
2009
Springer
146views Business» more  BPM 2009»
15 years 7 months ago
Extending a Business Process Modeling Tool With Process Configuration Facilities: The Provop Demonstrator
This tool demonstration presents an extension of the ARIS Business Architect in order to better cope with the high variability of business process models in practice. This extensio...
Manfred Reichert, Steve Rechtenbach, Alena Hallerb...
HICSS
2010
IEEE
227views Biometrics» more  HICSS 2010»
15 years 6 months ago
Business Value Creation through Business Processes Management and Operational Business Intelligence Integration
Current approaches to Business Process Management (BPM) and Operational Business Intelligence (BI) integration have been very limited and simply reduced to the problem of technica...
Olivera Marjanovic
AI
2010
Springer
15 years 6 months ago
Updating action domain descriptions
How can an intelligent agent update her knowledge base about an action domain, relative to some conditions (possibly obtained from earlier observations)? We study this question in...
Thomas Eiter, Esra Erdem, Michael Fink, Ján...
CCE
2007
15 years 6 months ago
Generate Pareto optimal solutions of scheduling problems using normal boundary intersection technique
The problem of short-term scheduling under uncertainty is addressed in this paper through a multiobjective optimization framework that incorporates economic expectation, robustnes...
Zhenya Jia, Marianthi G. Ierapetritou
SIGMETRICS
2008
ACM
130views Hardware» more  SIGMETRICS 2008»
15 years 6 months ago
Using probabilistic model checking in systems biology
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
Marta Z. Kwiatkowska, Gethin Norman, David Parker