2556 search results - page 30 / 512 » The Triconnected Abstraction of Process Models |
122
click to vote
GCC
2003
Springer
15 years 7 months ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
125
click to vote
ASIASIM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. It is important to simulate a groundwater transport process, e.g., pollutant migration, through the vadose zone and subsequent mixing within the saturated zone to assess ...
120
click to vote
BPM
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
125
click to vote
IROS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— Bayesian filtering is a general framework for recursively estimating the state of a dynamical system. The most common instantiations of Bayes filters are Kalman filt...
115
click to vote
ADVIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, ...