2261 search results - page 109 / 453 » Modeling the Experimental Software Engineering Process |
152
click to vote
AMAST
2000
Springer
15 years 9 months ago
2000
Springer
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...
155
click to vote
ESEC
1995
Springer
15 years 8 months ago
1995
Springer
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...
133
click to vote
ASWEC
2010
IEEE
15 years 5 months ago
2010
IEEE
— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...
142
click to vote
ISPW
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
165
click to vote
WWW
2010
ACM
15 years 12 months ago
2010
ACM
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...