Sciweavers

587 search results - page 20 / 118
» Towards a Reference Process Model for Event Management
Sort
View
APN
2004
Springer
14 years 28 days ago
EMiT: A Process Mining Tool
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
Boudewijn F. van Dongen, Wil M. P. van der Aalst
LCTRTS
2010
Springer
14 years 2 months ago
Modeling structured event streams in system level performance analysis
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
Simon Perathoner, Tobias Rein, Lothar Thiele, Kai ...
BMCBI
2007
147views more  BMCBI 2007»
13 years 7 months ago
Modeling biochemical transformation processes and information processing with Narrator
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
Johannes J. Mandel, Hendrik Fuß, Niall M. Pa...
FLAIRS
2007
13 years 10 months ago
Towards Player Preference Modeling for Drama Management in Interactive Stories
There is a growing interest in producing story based game experiences that do not follow fixed scripts predefined by the author, but change the experience based on actions perfo...
Manu Sharma, Santiago Ontañón, Chris...
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
14 years 2 months ago
Verifying Reference Counting Implementations
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Ma...