8928 search results - page 98 / 1786 » Modeling Current Events |
PADS
2004
ACM
15 years 5 months ago
2004
ACM
In optimistic simulations, checkpointing techniques are often used to reduce the overhead caused by state saving. In this paper, we propose event reconstruction as a technique wit...
TACAS
1998
Springer
15 years 4 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
114
click to vote
MSWIM
2009
ACM
15 years 6 months ago
2009
ACM
Host Identity Protocol (HIP) decouples IP addresses from higher layer Internet applications by proposing a new, cryptographic namespace for host identities. HIP has great potentia...
105
click to vote
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...
109
click to vote
APN
2010
Springer
14 years 10 months ago
2010
Springer
Workflow mining is the task of automatically producing a workflow model from a set of event logs recording sequences of workflow events; each sequence corresponds to a use case or ...