Vai al contenuto principale della pagina

Trustworthy global computing : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised selected papers / Roberto Bruni, Vladimiro Sassone (eds.).



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: TGC (Symposium) (6th : 2011 : Aachen, Germany)
Titolo: Trustworthy global computing : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised selected papers / Roberto Bruni, Vladimiro Sassone (eds.).
Link to work: Trustworthy global computing Visualizza cluster
Pubblicazione: Berlin ; New York : Springer, ©2012
Estensione: 1 online resource (x, 241 pages) : illustrations.
Tipo formato: computer
Tipo contenuto: text
Tipo supporto: online resource
Titolo uniforme di collana: Lecture notes in computer science ; 7173. 1611-3349
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Genere/Forma: Electronic books
Conference papers and proceedings
Index term-Uncontrolled: Computer science
Computer Communication Networks
Software engineering
Data encryption (Computer science)
Coding theory
Computer software
Information Systems
Algorithm Analysis and Problem Complexity
Coding and Information Theory
Soggetto non controllato: Computer science
Computer Communication Networks
Software engineering
Data encryption (Computer science)
Coding theory
Computer software
Information Systems
Algorithm Analysis and Problem Complexity
Coding and Information Theory
Termine d'indicizzazione-Occupazione: Computer science
Computer Communication Networks
Software engineering
Data encryption (Computer science)
Coding theory
Computer software
Information Systems
Algorithm Analysis and Problem Complexity
Coding and Information Theory
Classificazione LOC: QA76.9.A25 T43 2011
Creatori/Collaboratori: Bruni, Roberto
Sassone, Vladimiro
Contenuto supplementare: Includes bibliographical references and author index.
Nota di contenuto: A Reputation System for Multirole Sessions / Viviana Bono, Sara Capecchi, Ilaria Castellani and Mariangiola Dezani-Ciancaglini -- Asynchronous Distributed Monitoring for Multiparty Session Enforcement / Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda and Nobuko Yoshida -- E-Mobility as a Challenge for New ICT Solutions in the Car Industry / Bernd Werther and Nicklas Hoch -- On the Existence of Nash Equilibria in Strategic Search Games / Carme Àlvarez, Amalia Duch, Maria Serna and Dimitrios Thilikos -- Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language / Gilles Barthe and Exequiel Rivas -- Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes / Marco Bernardo -- Constraints for Service Contracts / Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini and Ugo Montanari -- Security of the Enhanced TCG Privacy-CA Solution / Liqun Chen, Ming-Feng Lee and Bogdan Warinschi -- Context Aware Specification and Verification of Distributed Systems / Liliana D'Errico and Michele Loreti -- Orchestrating Tuple-Based Languages / Rocco De Nicola, Andrea Margheri and Francesco Tiezzi -- Transactional Correctness for Secure Nested Transactions (Extended Abstract) / Dominic Duggan and Ye Wu -- Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Reliability / Joaquim Gabarro, Maria Serna and Alan Stewart -- On Correlation Sets and Correlation Exceptions in ActiveBPEL / Hernán Melgratti and Christian Roldán -- Conditional Information Flow Policies and Unwinding Relations / Chenyi Zhang.
Sommario/riassunto: Annotation
Collana: Lecture notes in computer science, 1611-3349 ; 7173
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Varianti del titolo: TGC 2011
ISBN: 9783642300653
3642300650
9783642300646
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 11077022
Localizzazioni e accesso elettronico http://link.springer.com/10.1007/978-3-642-30065-3
Lo trovi qui: University of Chicago
Item: Permalink to OPAC