348 search results - page 43 / 70 » Formalizing WSBPEL Business Processes Using Process Algebra |
SIGSOFT
2005
ACM
16 years 14 days ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
BNCOD
1997
15 years 1 months ago
1997
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
EICS
2009
ACM
15 years 3 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
CONCUR
1990
Springer
15 years 3 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
119
click to vote
CDVE
2007
Springer
15 years 6 months ago
2007
Springer
Nowadays, collaborative product development has become a strategic necessity to develop high quality products at low cost and with quick response time to market demand. Past decade...