Interactive Markov chains : :: SCD d'Orléans

Interactive Markov chains : and the quest for quantified quality

Interactive Markov chains : and the quest for quantified quality

Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and analysis of Markov chains. Based on principles known from process algebra, the author systematically deve...

Description complète

Enregistré dans:

Détails bibliographiques
Auteur principal:	Hermanns, Holger, 1967-
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 2428
Sujets:	Génie logiciel Informatique Markov, processus de Systèmes informatiques > Pannes Statistique > Logiciels
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Interactive Markov chains, and the quest for quantified quality, Holger Hermanns, Berlin, Springer, 2002, 1 vol. (XII-217 p.), Lecture notes in computer science, 3-540-44261-8 • Interactive Markov Chains, Texte imprimé, 9783662207031

Documents similaires

Performance engineering : state of the art and current trends
par: Dumke, Reiner

Embedded processor design challenges : systems, architectures, modeling, and simulation - SAMOS
par: Deprettere, Ed F., 1944-

Computer performance evaluation : modelling techniques and tools : 10th international conference, Tools '98, Palma de Mallorca, Spain, September 14-18, 1998 : proceedings

Bayesian Computation with R
par: Albert, Jim, 1953-

Networking 2002 : networking technologies, services, and protocols : performance of computer and communication networks : mobile and wireless communications : Second International IFIP-TC6 Networking Conference, Pisa, Italy, May 19-24, 2002 : proceedings
Publié: (2007)

Performance evaluation : origins and directions
par: Haring, Günter, 1943-

Computer performance evaluation : modelling techniques and tools : 12th International Conference, TOOLS 2002 London, UK, April 14 17, 2002 : proceedings

Theory and practice of parallel programming : International workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings

Networking 2004 : networking technologies, services, and protocols : performance of computer and communication networks : mobile and wireless communications : Third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14, 2004 : proceedings
par: Mitrou, Nikolas

Computer performance evaluation : modelling techniques and tools : 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings

Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings

Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

Parallel computing technologies : third international conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995 : proceedings

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

Computer performance evaluation : modelling techniques and tools : 13th international conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003 : proceedings

Performance evaluation of complex systems : techniques and tools : Performance 2002 tutorial lectures
par: Calzarossa, Maria Carla, 1958-

Parallel and distributed processing and applications : International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2 4, 2003 : proceedings

Dependable computing - EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2 4, 1996 : proceedings

Dependable computing : first Latin-American symposium, LADC 2003, Sao Paulo, Brazil, october 21-24, 2003 : proceedings

Dependable computing : EDCC-4 : 4th European Dependable Computing Conference Toulouse, France, October 23 25, 2002 : proceedings

PARLE '94 : parallel architectures and languages Europe : 6th International PARLE Conference, Athens, Greece, July 4-8, 1994 : proceedings

Dependable computing - EDCC-3 : Third European Dependable Computing Conference, Prague, Czech Republic, September 15 17, 1999 : proceedings

Parallel processing : CONPAR 92-VAPP V, Second joint international conference on vector and parallel processing, Lyon, France, September 1-4, 1992 : proceedings

Web engineering and peer-to-peer computing : NETWORKING 2002 Workshops, Pisa, Italy, May 19 24, 2002 : revised papers

High-performance computing and networking : International conference and exhibition, Munich, Germany, April 18-20, 1994 : Proceedings networking and tools

Applying formal methods : testing, performance, and M/E-Commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : roceedings

High-performance computing and networking : International conference and exhibition, Munich, Germany, April 18-20, 1994 : proceedings Applications

Networking 2000 : broadband communications, high performance networking, and performance of communication networks : IFIP-TC6/European Commission International Conference, Paris, France, May 14 19, 2000 : proceedings

Performance tools and applications to networked systems : revised tutorial lectures
par: Calzarossa, Maria Carla, 1958-

Directions in human factors for interactive systems
par: Ledgard, Henry F., 1943-, et autres

Markov chains
par: Norris, James R., 1960-...., mathématicien
Publié: (1997)

Markov chains
par: Revuz, Daniel, 1936-2025, mathématicien
Publié: (1984)

Automatic verification of sequential infinite-state processes
par: Burkart, Olaf

Interactive systems : design, specification, and verification : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5 6, 2000 : revised papers
par: Palanque, Philippe, 1966-...., informaticien, et autres

Interactive systems : design,specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13 15, 2001 : revised papers

Méthodes de Monte Carlo par chaînes de Markov
par: Robert, Christian P., 1961-...., statisticien
Publié: (1996)

Interactive systems : design, specification, and verification : 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers

Chaînes de Markov : Cours, exercices et corrigés détaillés
par: Graham, Carl, 19..-...., mathématicien
Publié: (2008)

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales