19342 search results - page 121 / 3869 » Decentralised Process Modelling |
121
Voted
SPIN
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
150
click to vote
IMF
2007
15 years 6 months ago
2007
: Incident Response and Computer Forensics are two areas with similar goals but distinct process models. While in both cases the goal is to investigate computer security incidents ...
149
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—This paper presents a multiparameter momentmatching based model order reduction technique for parameterized interconnect networks via a novel two-directional Arnoldi pro...
157
click to vote
SOCO
2002
Springer
15 years 4 months ago
2002
Springer
Conventional industrial control systems are in majority based on the single-input-single-output design principle with linearized models of the processes. However, most industrial p...
135
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...