532 search results - page 7 / 107 » Process Algebras for Quantitative Analysis |
ENTCS
2006
13 years 7 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
EPEW
2008
Springer
13 years 9 months ago
2008
Springer
We apply performance analysis techniques to a biological modelling problem, that of capturing and reproducing the Circadian rhythm. A Circadian rhythm provides cells with a clock b...
ISCAS
1993
IEEE
13 years 11 months ago
1993
IEEE
CORR
2010
Springer
13 years 7 months ago
2010
Springer
HASE
2008
IEEE
14 years 2 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...