Sciweavers

8928 search results - page 282 / 1786
» Modeling Current Events
Sort
View
124
Voted
FUIN
2008
72views more  FUIN 2008»
15 years 4 months ago
Working with the Past: Integrating History in Petri Nets
Abstract. Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails...
Kees M. van Hee, Alexander Serebrenik, Natalia Sid...
ENTCS
2002
91views more  ENTCS 2002»
15 years 3 months ago
Petri nets with causal time for system verification
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
Cécile Bui Thanh, Hanna Klaudel, Franck Pom...
MSS
2011
IEEE
178views Hardware» more  MSS 2011»
14 years 11 months ago
Framing contingencies in contracts
The paper develops a contracting model where the principal frames the contract when the agent is unaware of some contingencies, yet is aware that she may be unaware. We call the c...
Xiaojian Zhao
CONTEXT
2007
Springer
15 years 10 months ago
Activity Systems and Context Working as Core Concepts in Modeling Socio-Technical Systems
Current modeling approaches in the field of learning and work resemble the notion of workflows and hence fall short in describing the situated and socially mediated nature of pract...
Heidrun Allert, Christoph Richter
MABS
2004
Springer
15 years 9 months ago
Agent-Based Modelling of Forces in Crowds
Recent events have highlighted the importance of good models of crowds, however many existing crowd models are either computationally inefficient, or are missing a crucial human be...
Colin Marc Henein, Tony White