Cargando…

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings /

This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. They are or...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Norman, Gethin (Editor ), Sanders, William (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2014.
Edición:	1st ed. 2014.
Colección:	Theoretical Computer Science and General Issues, 8657
Temas:	Computer science. Electronic digital computers-Evaluation. Computer science-Mathematics. Mathematical statistics. Computer Science Logic and Foundations of Programming. System Performance and Evaluation. Probability and Statistics in Computer Science. Theory of Computation.
Acceso en línea:	Texto Completo

Ejemplares similares

Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings /
Publicado: (2013)

Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings /
Publicado: (2015)

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings /
Publicado: (2016)

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings /
Publicado: (2014)

CONCUR 2014 - Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.
Publicado: (2014)

Computer Performance Engineering 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings /
Publicado: (2015)

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings /
Publicado: (2016)

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
Publicado: (2008)

Stochastic Models for Fault Tolerance Restart, Rejuvenation and Checkpointing /
por: Wolter, Katinka
Publicado: (2010)

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings /
Publicado: (2013)

CONCUR 2013 -- Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings /
Publicado: (2013)

Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System /
por: Alfa, Attahiru Sule
Publicado: (2010)

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers /
Publicado: (2016)

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /
Publicado: (2014)

Information Technologies and Mathematical Modelling 13th International Scientific Conference, named after A.F. Terpugov, ITMM 2014, Anzhero-Sudzhensk, Russia, November 20-22, 2014. Proceedings /
Publicado: (2014)

Semantics of Probabilistic Processes An Operational Approach /
por: Deng, Yuxin
Publicado: (2014)

Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings /
Publicado: (2012)

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings /
Publicado: (2013)

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures /
Publicado: (2014)

Stochastic Discrete Event Systems Modeling, Evaluation, Applications /
por: Zimmermann, Armin
Publicado: (2008)

Distributed Computer and Communication Networks 17th International Conference, DCCN 2013, Moscow, Russia, October 7-10, 2013. Revised Selected Papers /
Publicado: (2014)

Information Technologies and Mathematical Modelling - Queueing Theory and Applications 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedings /
Publicado: (2015)

Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings /
Publicado: (2016)

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings /
Publicado: (2007)

Resilience Assessment and Evaluation of Computing Systems
Publicado: (2012)

Modern Probabilistic Methods for Analysis of Telecommunication Networks Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedings /
Publicado: (2013)

An Introduction to Queueing Theory and Matrix-Analytic Methods /
por: Breuer, L., et al.
Publicado: (2005)

Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers /
Publicado: (2016)

Decision Theory and Multi-Agent Planning
Publicado: (2006)

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings /
Publicado: (2006)

Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers /
Publicado: (2016)

Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings /
Publicado: (2014)

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
Publicado: (2014)

Web Services and Formal Methods Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /
Publicado: (2006)

Computer Networks 21st International Conference, CN 2014, Brunów, Poland, June 23-27, 2014. Proceedings /
Publicado: (2014)

Computer Networks 22nd International Conference, CN 2015, Brunów, Poland, June 16-19, 2015. Proceedings /
Publicado: (2015)

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings /
Publicado: (2013)

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings /
Publicado: (2008)

A Graph-Theoretic Approach to Enterprise Network Dynamics
por: Bunke, Horst, et al.
Publicado: (2007)

Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings /
Publicado: (2011)

Cannot write session to /tmp/vufind_sessions/sess_8mqkuukbtica7j2588r7fuom1a