Sciweavers

856 search results - page 54 / 172
» Business Process Modelling and Analysis Using Discrete-event...
Sort
View
ADVAI
2010
110views more  ADVAI 2010»
14 years 5 months ago
Using Genetic Algorithms to Represent Higher-Level Planning in Simulation Models of Conflict
The focus of warfare has shifted from the Industrial Age to the Information Age, as encapsulated by the term Network Enabled Capability. This emphasises information sharing, comma...
James Moffat, Susan Fellows
ICFEM
1998
Springer
15 years 3 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
WAPCV
2007
Springer
15 years 5 months ago
Simulation and Formal Analysis of Visual Attention in Cognitive Systems
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
Tibor Bosse, Peter-Paul van Maanen, Jan Treur
IS
2008
14 years 11 months ago
Conformance checking of processes based on monitoring real behavior
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...
Anne Rozinat, Wil M. P. van der Aalst
AICCSA
2006
IEEE
179views Hardware» more  AICCSA 2006»
15 years 5 months ago
Supporting the SPEM with a UML Extended Workflow Metamodel
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
Narayan C. Debnath, Daniel Riesco, Manuel Pé...