Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings

>> Google Books

所蔵情報QRコード

Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings / Holger Hermanns, Roberto Segala (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2002

形態:

x, 214 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2399 <BA00009279>

著者名:

ISBN:

9783540439134 [3540439137]

書誌ID:

BA57750864

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Including bibliographies and index

主題:

Machine theory--Congresses; Parallel processing (Electronic computers)--Congresses

言語:

英語

目次情報:

Invited Contributions

Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs / AndrÃ© Schiper

Probability and Timing: Challenges for Secure Programming / David Sands

Selected Papers

Security Analysis of a Probabilistic Non-repudiation Protocol / Alessandro Aldini ; Roberto Gorrieri

The Mean Value of the Maximum / Henrik Bohnenkamp ; Boudewijn Haverkort

Reduction and Refinement Strategies for Probabilistic Analysis / Pedro R. D'Argenio ; Bertrand Jeannet ; Henrik E. Jensen ; Kim G. Larsen

Action Refinement for Probabilistic Processes with True Concurrency Models / Harald Fecher ; Mila Majster-Cederbaum ; Jinzhao Wu

Probabilistic Unfoldings and Partial Order Fairness in Petri Nets / Stefan Haar

Possibilistic and Probabilistic Abstraction-Based Model Checking / Michael Huth

Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling / Marta Kwiatkowska ; Rashid Mehmood

Model Checking CSL until Formulae with Random Time Bounds / Gethin Norman ; AntÃ³nio Pacheco

Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol / Jeremy Sproston

Deriving Symbolic Representations from Stochastic Process Algebras / Matthias Kuntz ; Markus Siegle

Short Abstracts

A Generalization of Equational Proof Theory? / Olivier Bournez

An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems / Mario Bravetti

Probabilistic Abstract Interpretation and Statistical Testing / Alessandra Di Pierro ; Herbert Wiklicky

Approximate Verification of Probabilistic Systems / Richard Lassaigne ; Sylvain Peyronnet

Author Index

Invited Contributions

Probability and Timing: Challenges for Secure Programming / David Sands

Selected Papers

Security Analysis of a Probabilistic Non-repudiation Protocol / Alessandro Aldini ; Roberto Gorrieri

The Mean Value of the Maximum / Henrik Bohnenkamp ; Boudewijn Haverkort

続きを見る

ブックレビュー

類似資料:

1 電子ブック Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, … Hermanns, Holger., Segala, Roberto., SpringerLink (Online service)	7 図書 Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings International Colloquium on Automata, Languages and Programming, European Association for Theoretical Computer Science, … Springer
2 図書 Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September … PAPM-PROBMIV, Process Algebras and Performance Modeling Workshop, Probabilistic Methods in Verification, De Alfaro, … Springer	8 図書 Job scheduling strategies for parallel processing : 8th International Workshop, JSSPP 2002, Edinburgh, Scotland, UK, July 24, 2002 : revised papers JSSPP, Feitelson, Dror G., Rudolph, Larry, Schwiegelshohn, Uwe, 1958- Springer
3 電子ブック Process Algebra and Probabilistic Methods: Performance Modeling and Verification PAPM-PROBMIV 2002, Hermanns, Holger, Segala, Roberto SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 図書 Parallelism, learning, evolution : Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989, Workshop on Parallel Processing, … (: gw ; : us) Workshop on Evolutionary Models and Strategies, WOPPLOT, Becker, Jörg D., 1944-, Eisele, Ignaz, 1943-, Mündemann, F. W. Springer Verlag
4 電子ブック Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September … Alfaro, Luca de., Gilmore, Stephen., SpringerLink (Online service)	10 図書 Applied parallel computing : computations in physics, chemistry and engineering science : Second International Workshop, PARA '95, Lyngby, Denmark, August … PARA, Dongarra, J. J., Madsen, Kaj, Waśniewski, Jerzy, 1931- Springer
5 電子ブック Process Algebra and Probabilistic Methods. Performance Modelling and Verification PAPM-PROBMIV 2001, De Alfaro, Luca, Gilmore, Stephen SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 図書 Euro-Par 2003 parallel processing : 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003 : proceedings International EURO-PAR Conference, Kosch, Harald, Böszörményi, László, 1949-, Hellwagner, Hermann Springer
6 図書 Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings International Conference on Algebraic Methodology and Software Technology, Katoen, Joost-Pieter Springer	12 図書 Parallel processing : CONPAR 92-VAPP V, Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992 : proceedings (: gw ; : us) Joint International Conference on Vector and Parallel Processing, Bougé, L. (Luc) Springer-Verlag