Sciweavers

2556 search results - page 57 / 512
» The Triconnected Abstraction of Process Models
Sort
View
ZUM
1998
Springer
111views Formal Methods» more  ZUM 1998»
15 years 10 months ago
Combining Specification Techniques for Processes, Data and Time
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
Ernst-Rüdiger Olderog
AGI
2008
15 years 7 months ago
Anticipative coordinated cognitive processes for interactivist and Piagetian theories
Abstract. This paper presents a model of intelligence based on principles introduced by Piaget and the interactivist framework. It focuses on embodiment and sensory-motor aspects o...
Jean-Charles Quinton, Jean-Christophe Buisson, Fil...
ICCABS
2011
14 years 9 months ago
High-performance biocomputing for simulating the spread of contagion over large contact networks
Abstract—Many important biological problems can be modeled as contagion diffusion processes over interaction networks. This paper shows how the EpiSimdemics interaction-based sim...
Keith R. Bisset, Ashwin M. Aji, Madhav V. Marathe,...
CAISE
2006
Springer
15 years 8 months ago
Incremental Workflow Mining for Process Flexibility
Abstract. Incremental workflow mining is a technique for automatically deriving a process model from the on-going executions of a process. This way, the process model becomes more ...
Ekkart Kindler, Vladimir Rubin, Wilhelm Schäf...
CAISE
2006
Springer
15 years 9 months ago
IT Service Processes - State and Open Issues
- Extended Abstract of Industrial Talk IT services are an important means to achieve competitive advantages by creating new business models or by reducing costs. Furthermore, there...
Rainer Schmidt