Sciweavers

587 search results - page 23 / 118
» Towards a Reference Process Model for Event Management
Sort
View
BPSC
2010
194views Business» more  BPSC 2010»
13 years 7 months ago
Ad-hoc Management Capabilities for Distributed Business Processes
: Advanced business processes are mostly distributed and require highly flexible management capabilities. In such scenarios, process parts often leave their initiator’s direct sp...
Sonja Zaplata, Dirk Bade, Kristof Hamann, Winfried...
ISTA
2007
13 years 10 months ago
Towards Information Management System for Licensing in Higher Education: An Ontology-Based Approach
Higher education licensing, i.e. the process of granting permissions to provide certain educational services, is an important process of public administration. Governmental bodies ...
Olga Cherednichenko, Dmytro Kuklenko, Sergiy Zlatk...
MODELS
2009
Springer
14 years 3 months ago
Towards Semantic Modeling of Network Physical Devices
One of the challenges faced by network management systems is the increasing need for consistent management of physical network equipment. We propose a solution where equipment is m...
Krzysztof Miksa, Marek Kasztelnik, Pawel Sabina, T...
GECCO
2008
Springer
115views Optimization» more  GECCO 2008»
13 years 9 months ago
A genetic programming approach to business process mining
The aim of process mining is to identify and extract process patterns from data logs to reconstruct an overall process flowchart. As business processes become more and more comple...
Chris J. Turner, Ashutosh Tiwari, Jörn Mehnen
NFM
2011
264views Formal Methods» more  NFM 2011»
13 years 3 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...