More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

TGC 2010: Munich, Germany

> Home > Conferences and Workshops > TGC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/tgc/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/2010
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

- view
  authority control:
- export record
  dblp key:
  - conf/tgc/AspinallAMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/AspinallAMS10
David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella:
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. 1-22
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BartheK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BartheK10
Gilles Barthe, César Kunz:
Perspectives in Certificate Translation. 23-34
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BernardoNL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BernardoNL10
Marco Bernardo, Rocco De Nicola, Michele Loreti:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. 35-56
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BuscemiMT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BuscemiMT10
Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja:
Toward a Game-Theoretic Model of Grid Systems. 57-72
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/CiminiCS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/CiminiCS10
Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi:
Functions as Processes: Termination and the lm[(m)\tilde]\lambda\mu\widetilde{\mu}-Calculus. 73-86
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tgc/Persiano10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/Persiano10
Giuseppe Persiano:
Predicate Encryption for Secure Remote Storage. 87
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/SassoneEH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/SassoneEH10
Vladimiro Sassone, Ehab ElSalamouny, Sardaouna Hamadou:
Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols. 88-102

Types and Processes

- view
  authority control:
- export record
  dblp key:
  - conf/tgc/JakubuvW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/JakubuvW10
Jan Jakubuv, J. B. Wells:
Expressiveness of Generic Process Shape Types. 103-119
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BocchiT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BocchiT10
Laura Bocchi, Emilio Tuosto:
A Java Inspired Semantics for Transactions in SOC. 120-134
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/GamboniR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/GamboniR10
Maxime Gamboni, António Ravara:
Responsive Choice in Mobile Processes. 135-152
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/MontesiS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/MontesiS10
Fabrizio Montesi, Davide Sangiorgi:
A Model of Evolvable Components. 153-171

Games and Concurrent Systems

- view
  authority control:
- export record
  dblp key:
  - conf/tgc/CaragiannisKKKP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/CaragiannisKKKP10
Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Maria Kyropoulou, Evi Papaioannou:
The Impact of Altruism on the Efficiency of Atomic Congestion Games. 172-188
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/GabarroKSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/GabarroKSS10
Joaquim Gabarró, Peter Kilpatrick, Maria J. Serna, Alan Stewart:
Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung. 189-204
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BruniGL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BruniGL10
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
An Algebra of Hierarchical Graphs. 205-221
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/DErricoL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/DErricoL10
Liliana D'Errico, Michele Loreti:
Property-Preserving Refinement of Concurrent Systems. 222-236

Certification of Correctness

- view
  authority control:
- export record
  dblp key:
  - conf/tgc/Kunz10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/Kunz10
César Kunz:
Certificate Translation for the Verification of Concurrent Programs. 237-252
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BessonJPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BessonJPT10
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

- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BertasiPSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BertasiPSS10
Paolo Bertasi, Alberto Pettarin, Michele Scquizzato, Francesco Silvestri:
A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments. 268-283
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/LaneseBM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/LaneseBM10
Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi:
A Framework for Rule-Based Dynamic Adaptation. 284-300
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/Dezani-CiancagliniLV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/Dezani-CiancagliniLV10
Vincenzo Ciancaglini, Luigi Liquori, Laurent Vanni:
CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility. 301-317
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/FerrariGST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/FerrariGST10
Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Refactoring Long Running Transactions: A Case Study. 318-334

Probabilistic Aspects

- view
  authority control:
- export record
  dblp key:
  - conf/tgc/QuagliaS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/QuagliaS10
Paola Quaglia, Stefano Schivo:
Approximate Model Checking of Stochastic COWS. 335-347
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/HankinNN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/HankinNN10
Chris Hankin, Flemming Nielson, Hanne Riis Nielson:
Probabilistic Aspects: Checking Security in an Imperfect World. 348-363
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/CappelloQ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/CappelloQ10
Igor Cappello, Paola Quaglia:
A Tool for Checking Probabilistic Properties of COWS Services. 364-378

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.