Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... June 21-26, 2010 Advanced Lectures: 6154 - Brossura
Sinossi
security by formulating metrics that explicitly express the trade-o? and by showing how to ?nd system parameters that optimize those metrics.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Probabilistic Semantics and Program Analysis.- Measurement-Based and Universal Blind Quantum Computation.- Information Theory and Security: Quantitative Information Flow.- Performance and Security Tradeoff.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Formal Methods for Quantitative Aspects of Programming...
Immagini fornite dal venditore
Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2010 Bertinoro, Italy, June 21-26, 2010 Advanced Lectures
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 9730160-n
Compra nuovo
EUR 54,35
Spese di spedizione:
EUR 2,27
In U.S.A.
Quantità: 3 disponibili
Foto dell'editore
Formal Methods for Quantitative Aspects of Programming Languages (Paperback)
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 364213677X
ISBN 13: 9783642136771
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. Codice articolo 9783642136771
Compra nuovo
EUR 64,86
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2010 Bertinoro, Italy, June 21-26, 2010 Advanced Lectures
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 9730160
Compra usato
EUR 62,83
Spese di spedizione:
EUR 2,27
In U.S.A.
Quantità: 3 disponibili
Foto dell'editore
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2010 Bertinoro, Italy, June 21-26, 201
Editore:
Springer-Verlag New York Inc, 2010
ISBN 10: 364213677X
ISBN 13: 9783642136771
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 176 pages. 9.00x6.00x0.25 inches. In Stock. Codice articolo x-364213677X
Compra nuovo
EUR 76,72
Spese di spedizione:
EUR 11,33
Da: Regno Unito a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Formal Methods for Quantitative Aspects of Programming Languages
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: 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. Codice articolo 5050269
Compra nuovo
EUR 64,08
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: 3 disponibili
Immagini fornite dal venditore
Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
Editore:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10: 364213677X
ISBN 13: 9783642136771
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware - 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. Codice articolo 9783642136771
Compra nuovo
EUR 77,74
Spese di spedizione:
EUR 61,41
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
Editore:
Springer-Verlag GmbH, 2010
ISBN 10: 364213677X
ISBN 13: 9783642136771
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Codice articolo 7839629/12
Compra usato
EUR 57,38
Spese di spedizione:
EUR 105,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili