211 search results - page 32 / 43 » Causal Behaviours and Nets |
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
OSDI
2004
ACM
14 years 8 months ago
2004
ACM
Tools to understand complex system behaviour are essential for many performance analysis and debugging tasks, yet there are many open research problems in their development. Magpi...
APN
2005
Springer
14 years 1 months ago
2005
Springer
The topic of process mining has attracted the attention of both researchers and tool vendors in the Business Process Management (BPM) space. The goal of process mining is to discov...
MM
2004
ACM
14 years 1 months ago
2004
ACM
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...
SIMUTOOLS
2008
13 years 9 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...