Sciweavers

348 search results - page 11 / 70
» Formalizing WSBPEL Business Processes Using Process Algebra
Sort
View
ICC
2008
IEEE
139views Communications» more  ICC 2008»
15 years 4 months ago
Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra
—As a resource reservation mechanism, the Resource ReSerVation Protocol (RSVP) faces a lot of challenges when applying it to the wireless and mobile networks. The interworking pr...
Hao Wang, David I. Laurenson, Jane Hillston
ICFEM
1998
Springer
15 years 1 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
ICSOC
2010
Springer
14 years 8 months ago
Carbon-Aware Business Process Design in Abnoba
A key element of any approach to meeting the climate change challenge is the ability to improve operational efficiency in a pervasive fashion. The notion of a business process is a...
Konstantin Hoesch-Klohe, Aditya K. Ghose
KES
2004
Springer
15 years 2 months ago
A Process Algebra Model of the Immune System
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
Raul Monroy
79
Voted
CAISE
2005
Springer
15 years 3 months ago
Ontology Based Business Process Description
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...
Agnes Koschmider, Andreas Oberweis