2232 search results - page 290 / 447 » Formal Modeling and Analysis of Organizations |
156
click to vote
SEFM
2006
IEEE
16 years 13 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
182
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
173
click to vote
SSR
2001
15 years 7 months ago
2001
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
168
click to vote
DSRT
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
170
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...