2450 search results - page 55 / 490 » On Application of Structural Decomposition for Process Model... |
139
Voted
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
127
Voted
SOSP
2007
ACM
16 years 18 days ago
2007
ACM
ion Flow Control for Standard OS Abstractions Maxwell Krohn Alexander Yip Micah Brodsky Natan Cliffer M. Frans Kaashoek Eddie Kohler† Robert Morris MIT CSAIL †UCLA http://flum...
139
Voted
ER
2010
Springer
15 years 2 months ago
2010
Springer
In the light of an increasing demand on business process compliance, the veri cation of process models against compliance rules has become essential in enterprise computing. To be ...
117
Voted
CPAIOR
2004
Springer
15 years 9 months ago
2004
Springer
ng Abstractions for Local Search Pascal Van Hentenryck1 and Laurent Michel2 1 Brown University, Box 1910, Providence, RI 02912 2 University of Connecticut, Storrs, CT 06269-3155 Ab...
128
click to vote
CCS
2001
ACM
15 years 8 months ago
2001
ACM
hfulness of Abstract Protocol Analysis: Message Authentication∗ Joshua D. Guttman F. Javier Thayer Lenore D. Zuck December 18, 2002 Dolev and Yao initiated an approach to studyi...