1728 search results - page 95 / 346 » Formal Modeling of Process Migration |
92
Voted
BPM
2003
Springer
15 years 7 months ago
2003
Springer
We present a general methodology for integrating arbitrary security requirements in the development of business processes in a both elegant and rigorous way. We show how trust rela...
106
Voted
CMOT
2007
15 years 2 months ago
2007
Organizations change with the dynamics of the world. To enable organizations to change, certain structures and capabilities are needed. As all processes, a change process has an or...
113
Voted
MASCOTS
2003
15 years 4 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
114
Voted
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
114
click to vote
FUIN
2007
15 years 2 months ago
2007
A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a...