The proceedings contain 23 papers. The topics discussed include: implicit representations and algorithms for the logic and stochastic analysis of discrete-state systems; on moments of discrete phase-type distributions; zero-automatic queues; a unified approach to the moments based distribution estimation - unbounded support; bounds for point and steady-state availability: an algorithmic approach based on lumpability and stochastic ordering; stochastic model checking with stochastic comparison; hypergraph partitioning for faster parallel pagerank computation; prediction of communication latency over complex network behaviors on SMP clusters; and from theory to practice in transactional composition of web services.
M. Bravetti, L. Kloul, G. Zavattaro (2005). Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005. BERLIN : Springer.
Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005
BRAVETTI, MARIO;ZAVATTARO, GIANLUIGI
2005
Abstract
The proceedings contain 23 papers. The topics discussed include: implicit representations and algorithms for the logic and stochastic analysis of discrete-state systems; on moments of discrete phase-type distributions; zero-automatic queues; a unified approach to the moments based distribution estimation - unbounded support; bounds for point and steady-state availability: an algorithmic approach based on lumpability and stochastic ordering; stochastic model checking with stochastic comparison; hypergraph partitioning for faster parallel pagerank computation; prediction of communication latency over complex network behaviors on SMP clusters; and from theory to practice in transactional composition of web services.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
