Artículos relacionados a Formal Methods for Quantitative Aspects of Programming...

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... 6154 (Lecture Notes in Computer Science) - Tapa blanda

 
9783642136771: Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... 6154 (Lecture Notes in Computer Science)

Sinopsis

This volume presents the set of papers accompanying some of the lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience as a prominent approachto the rigorousdesign of the above-mentionedsystems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2010 was devoted to formal methods for quantitative aspects of p- gramminglanguagesandcoveredseveraltopicsincludingprobabilisticandtimed models, model checking, static analysis, quantum computing, real-time and - bedded systems, and security. This volume comprises four articles. The paper by Di Pierro, Hankin, and Wiklicky investigates the relation between the operational semantics of pro- bilistic programming languages and discrete-time Markov chains and presents a framework for probabilistic program analysis inspired by classical abstract interpretation. Broadbent, Fitzsimons, and Kashe? review the mathematical model underlying measurement-based quantum computation, a novel approach to quantum computation where measurement is the main driving force of c- putation instead of the unitary operations of the more traditional quantum c- cuit model. The paper by Malacaria and Heusser illustrates the informati- theoretical basis of quantitative information ?ow by showing the relationship betweenlattices,partitions,andinformation-theoreticalconcepts,aswellastheir applicabilitytoquantifyleakageofcon?dentialinformationinprograms. Finally, Wolter and Reinecke discuss the trade-o? between performance and security by formulating metrics that explicitly express the trade-o? and by showing how to ?nd system parameters that optimize those metrics.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This volume presents the set of papers accompanying some of the lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience as a prominent approachto the rigorousdesign of the above-mentionedsystems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2010 was devoted to formal methods for quantitative aspects of p- gramminglanguagesandcoveredseveraltopicsincludingprobabilisticandtimed models, model checking, static analysis, quantum computing, real-time and - bedded systems, and security. This volume comprises four articles. The paper by Di Pierro, Hankin, and Wiklicky investigates the relation between the operational semantics of pro- bilistic programming languages and discrete-time Markov chains and presents a framework for probabilistic program analysis inspired by classical abstract interpretation. Broadbent, Fitzsimons, and Kashe? review the mathematical model underlying measurement-based quantum computation, a novel approach to quantum computation where measurement is the main driving force of c- putation instead of the unitary operations of the more traditional quantum c- cuit model. The paper by Malacaria and Heusser illustrates the informati- theoretical basis of quantitative information ?ow by showing the relationship betweenlattices,partitions,andinformation-theoreticalconcepts,aswellastheir applicabilitytoquantifyleakageofcon?dentialinformationinprograms. Finally, Wolter and Reinecke discuss the trade-o? between performance and security by formulating metrics that explicitly express the trade-o? and by showing how to ?nd system parameters that optimize those metrics.

Reseña del editor

This book presents a set of 4 papers accompanying the lectures of leading researchers given at the 10th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, held in Bertinoro, Italy, in June 2010. SFM 2010 was devoted to formal methods for quantitative aspects of programming languages and covered several topics including probabilistic and timed models, model checking, static analysis, quantum computing, real-time and embedded systems, and security.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar usado

Condición: Excelente
Zustand: Sehr gut | Seiten: 167...
Ver este artículo

EUR 14,90 gastos de envío desde Alemania a España

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 19,49 gastos de envío desde Alemania a España

Destinos, gastos y plazos de envío

Resultados de la búsqueda para Formal Methods for Quantitative Aspects of Programming...

Imagen de archivo

Unbekannt
Publicado por Springer-Verlag GmbH, 2010
ISBN 10: 364213677X ISBN 13: 9783642136771
Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 167 | Sprache: Englisch | Produktart: Sonstiges. Nº de ref. del artículo: 7839629/12

Contactar al vendedor

Comprar usado

EUR 51,64
Convertir moneda
Gastos de envío: EUR 14,90
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Aldini, Alessandro|Bernardo, Marco|Di Pierro, Alessandra|Wiklicky, Herbert
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 364213677X ISBN 13: 9783642136771
Nuevo Tapa blanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Fast track conference proceedingsUnique visibilityState of the art researchProbabilistic Semantics and Program Analysis.- Measurement-Based and Universal Blind Quantum Computation.- Information Theory and Security: Quantitative Information Flow.- Perfor. Nº de ref. del artículo: 5050269

Contactar al vendedor

Comprar nuevo

EUR 64,08
Convertir moneda
Gastos de envío: EUR 19,49
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 3 disponibles

Añadir al carrito

Imagen de archivo

Aldini, Alessandro (Editor)
Publicado por Springer-Verlag New York Inc, 2010
ISBN 10: 364213677X ISBN 13: 9783642136771
Nuevo Paperback

Librería: Revaluation Books, Exeter, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Brand New. 176 pages. 9.00x6.00x0.25 inches. In Stock. Nº de ref. del artículo: x-364213677X

Contactar al vendedor

Comprar nuevo

EUR 77,32
Convertir moneda
Gastos de envío: EUR 11,74
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Alessandro Aldini
ISBN 10: 364213677X ISBN 13: 9783642136771
Nuevo Paperback

Librería: Grand Eagle Retail, Fairfield, OH, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: new. Paperback. This volume presents the set of papers accompanying some of the lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience as a prominent approachto the rigorousdesign of the above-mentionedsystems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2010 was devoted to formal methods for quantitative aspects of p- gramminglanguagesandcoveredseveraltopicsincludingprobabilisticandtim ed models, model checking, static analysis, quantum computing, real-time and - bedded systems, and security. This volume comprises four articles. The paper by Di Pierro, Hankin, and Wiklicky investigates the relation between the operational semantics of pro- bilistic programming languages and discrete-time Markov chains and presents a framework for probabilistic program analysis inspired by classical abstract interpretation. Broadbent, Fitzsimons, and Kashe? review the mathematical model underlying measurement-based quantum computation, a novel approach to quantum computation where measurement is the main driving force of c- putation instead of the unitary operations of the more traditional quantum c- cuit model.The paper by Malacaria and Heusser illustrates the informati- theoretical basis of quantitative information ?ow by showing the relationship betweenlattices,partitions,andinformation-theoreticalconcepts,aswellastheir applicabilitytoquantifyleakageofcon?dentialinformationinprograms. Finally, Wolter and Reinecke discuss the trade-o? between performance and security by formulating metrics that explicitly express the trade-o? and by showing how to ?nd system parameters that optimize those metrics. Presents a set of 4 papers accompanying the lectures of leading researchers given at the 10th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, held in Bertinoro, Italy, in June 2010. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783642136771

Contactar al vendedor

Comprar nuevo

EUR 65,29
Convertir moneda
Gastos de envío: EUR 65,01
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito