Sciweavers

1655 search results - page 77 / 331
» State, Event, Time and Diagram in System Modeling
Sort
View
BPM
2005
Springer
113views Business» more  BPM 2005»
14 years 2 months ago
Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models
Most information systems log events (e.g., transaction logs, audit trails) to audit and monitor the processes they support. At the same time, many of these processes have been expl...
Anne Rozinat, Wil M. P. van der Aalst
VALUETOOLS
2006
ACM
162views Hardware» more  VALUETOOLS 2006»
14 years 2 months ago
Using UML state machines and petri nets for the quantitative investigation of ETCS
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
Jan Trowitzsch, Armin Zimmermann
ICMCS
2006
IEEE
129views Multimedia» more  ICMCS 2006»
14 years 3 months ago
Media Synchronization Method for Video Hypermedia Application Based on Extended Event Model
This paper describes a proposal of an extended event model using a media synchronization method for video hypermedia applications. In this extended event model, video and metadata...
Hironobu Abe, Hiroshi Shigeno, Ken-ichi Okada
CUZA
2002
132views more  CUZA 2002»
13 years 8 months ago
A Process Algebra for Predictible Control Systems
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
Nicolae Marian
SLP
1994
77views more  SLP 1994»
13 years 10 months ago
Modal Event Calculus
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
Iliano Cervesato, Luca Chittaro, Angelo Montanari