Sciweavers

10038 search results - page 649 / 2008
» Model Checking for Managers
Sort
View
193
Voted
ICEBE
2006
IEEE
125views Business» more  ICEBE 2006»
16 years 1 months ago
A Business Collaboration Registry Model on Top of ebRIM
UN/CEFACT’s Modeling Methodology (UMM) is a well accepted approach to define inter-organizational business processes. UMM models should be managed in a registry for two reasons...
Birgit Hofreiter, Christian Huemer, Marco Zapletal
HICSS
2008
IEEE
237views Biometrics» more  HICSS 2008»
16 years 1 months ago
Integration of an Ontological Information Security Concept in Risk Aware Business Process Management
Abstract— The ability to prevent risks as well as to appropriately counteract occurring threats has increasingly become a crucial success factor. Traditional business process man...
Gernot Goluch, Andreas Ekelhart, Stefan Fenz, Stef...
KBSE
2008
IEEE
16 years 1 months ago
Cleman: Comprehensive Clone Group Evolution Management
—Recent research results have shown more benefits of the management of code clones, rather than detecting and removing them. However, existing management approaches for code clo...
Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, J...
178
Voted
SEMWEB
2005
Springer
16 years 27 days ago
Definitions Management: A Semantics-Based Approach for Clinical Documentation in Healthcare Delivery
Structured Clinical Documentation is a fundamental component of the healthcare enterprise, linking both clinical (e.g., electronic health record, clinical decision support) and adm...
Vipul Kashyap, Alfredo Morales, Tonya Hongsermeier...
DSOM
1999
Springer
15 years 11 months ago
JAMAP: A Web-based Management Platform for IP Networks
In this paper, we describe JAMAP, a prototype of a Web-based management platform for IP networks. It is written entirely in Java. It implements the push model to perform regular ma...
Jean-Philippe Martin-Flatin, Laurent Bovet, Jean-P...