default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTGC 2011: Aachen, Germany
- Roberto Bruni, Vladimiro Sassone:
Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7173, Springer 2012, ISBN 978-3-642-30064-6 - Viviana Bono
, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
A Reputation System for Multirole Sessions. 1-24 - Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida:
Asynchronous Distributed Monitoring for Multiparty Session Enforcement. 25-45 - Bernd Werther, Nicklas Hoch:
E-Mobility as a Challenge for New ICT Solutions in the Car Industry. 46-57 - Carme Àlvarez, Amalia Duch, Maria J. Serna, Dimitrios M. Thilikos:
On the Existence of Nash Equilibria in Strategic Search Games. 58-72 - Gilles Barthe, Exequiel Rivas:
Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language. 73-88 - Marco Bernardo:
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes. 89-103 - Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari:
Constraints for Service Contracts. 104-120 - Liqun Chen, Ming-Feng Lee, Bogdan Warinschi:
Security of the Enhanced TCG Privacy-CA Solution. 121-141 - Liliana D'Errico, Michele Loreti:
Context Aware Specification and Verification of Distributed Systems. 142-159 - Rocco De Nicola, Andrea Margheri, Francesco Tiezzi:
Orchestrating Tuple-Based Languages. 160-178 - Dominic Duggan, Ye Wu:
Transactional Correctness for Secure Nested Transactions - (Extended Abstract). 179-196 - Joaquim Gabarró, Maria J. Serna, Alan Stewart:
Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Reliability. 197-211 - Hernán C. Melgratti, Christian Roldán:
On Correlation Sets and Correlation Exceptions in ActiveBPEL. 212-226 - Chenyi Zhang:
Conditional Information Flow Policies and Unwinding Relations. 227-241
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 01:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
