Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTGC 2010: Munich, Germany
- Martin Wirsing, Martin Hofmann, Axel Rauschmayer:
Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6084, Springer 2010, ISBN 978-3-642-15639-7
Invited Talks
- David Aspinall, Robert Atkey
, Kenneth MacKenzie, Donald Sannella:
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. 1-22 - Gilles Barthe, César Kunz:
Perspectives in Certificate Translation. 23-34 - Marco Bernardo, Rocco De Nicola, Michele Loreti:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. 35-56 - Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja:
Toward a Game-Theoretic Model of Grid Systems. 57-72 - Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi:
Functions as Processes: Termination and the lm[(m)\tilde]\lambda\mu\widetilde{\mu}-Calculus. 73-86 - Giuseppe Persiano:
Predicate Encryption for Secure Remote Storage. 87 - Vladimiro Sassone, Ehab ElSalamouny, Sardaouna Hamadou:
Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols. 88-102
Types and Processes
- Jan Jakubuv, J. B. Wells:
Expressiveness of Generic Process Shape Types. 103-119 - Laura Bocchi, Emilio Tuosto:
A Java Inspired Semantics for Transactions in SOC. 120-134 - Maxime Gamboni, António Ravara:
Responsive Choice in Mobile Processes. 135-152 - Fabrizio Montesi, Davide Sangiorgi:
A Model of Evolvable Components. 153-171
Games and Concurrent Systems
- Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Maria Kyropoulou, Evi Papaioannou:
The Impact of Altruism on the Efficiency of Atomic Congestion Games. 172-188 - Joaquim Gabarró, Peter Kilpatrick, Maria J. Serna, Alan Stewart:
Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung. 189-204 - Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
An Algebra of Hierarchical Graphs. 205-221 - Liliana D'Errico, Michele Loreti:
Property-Preserving Refinement of Concurrent Systems. 222-236
Certification of Correctness
- César Kunz:
Certificate Translation for the Verification of Concurrent Programs. 237-252 - Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin:
Certified Result Checking for Polyhedral Analysis of Bytecode Programs. 253-267
Tools and Languages
- Paolo Bertasi, Alberto Pettarin, Michele Scquizzato, Francesco Silvestri:
A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments. 268-283 - Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi:
A Framework for Rule-Based Dynamic Adaptation. 284-300 - Vincenzo Ciancaglini, Luigi Liquori, Laurent Vanni:
CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility. 301-317 - Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Refactoring Long Running Transactions: A Case Study. 318-334
Probabilistic Aspects
- Paola Quaglia, Stefano Schivo:
Approximate Model Checking of Stochastic COWS. 335-347 - Chris Hankin, Flemming Nielson, Hanne Riis Nielson:
Probabilistic Aspects: Checking Security in an Imperfect World. 348-363 - Igor Cappello, Paola Quaglia:
A Tool for Checking Probabilistic Properties of COWS Services. 364-378
a service of 
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-04-22 20:00 CEST 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:
