Search results for "TGC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro	Contract-Driven Implementation of Choreographies.	TGC	2008	DBLP DOI BibTeX RDF
1	Adrian Kosowski, Alfredo Navarra, Maria Cristina Pinotti	Connectivity in Multi-interface Networks.	TGC	2008	DBLP DOI BibTeX RDF	multi-interface network, approximation algorithm, wireless network, Energy saving
1	Christelle Molle, Fabrice Peix, Stéphane Pérennes, Hervé Rivano	Optimal Routing and Call Scheduling in Wireless Mesh Networks with Localized Informations.	TGC	2008	DBLP DOI BibTeX RDF
1	Gilles Barthe, Cédric Fournet (eds.)	Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers	TGC	2008	DBLP DOI BibTeX RDF
1	Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro	Combining Timed Coordination Primitives and Probabilistic Tuple Spaces.	TGC	2008	DBLP DOI BibTeX RDF
1	Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino	Model Checking Usage Policies.	TGC	2008	DBLP DOI BibTeX RDF
1	Scott D. Stoller	Trust Management and Trust Negotiation in an Extension of SQL.	TGC	2008	DBLP DOI BibTeX RDF
1	Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina	Provably Correct Implementations of Services.	TGC	2008	DBLP DOI BibTeX RDF
1	Mario Coppo, Mariangiola Dezani-Ciancaglini	Structured Communications with Concurrent Constraints.	TGC	2008	DBLP DOI BibTeX RDF
1	Luís Caires, Carla Ferreira 0001, Hugo Torres Vieira	A Process Calculus Analysis of Compensations.	TGC	2008	DBLP DOI BibTeX RDF
1	Abhishek Bhowmick 0001, Catuscia Palamidessi	Bounds on the Leakage of the Input's Distribution in Information-Hiding Protocols.	TGC	2008	DBLP DOI BibTeX RDF
1	Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi	Type Systems for Bigraphs.	TGC	2008	DBLP DOI BibTeX RDF
1	Eduardo Bonelli, Adriana B. Compagnoni	Multipoint Session Types for a Distributed Calculus.	TGC	2007	DBLP DOI BibTeX RDF
1	Ricardo Corin, Pierre-Malo Deniélou	A Protocol Compiler for Secure Sessions in ML.	TGC	2007	DBLP DOI BibTeX RDF
1	Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi 0001, Davide Sangiorgi	On the Complexity of Termination Inference for Processes.	TGC	2007	DBLP DOI BibTeX RDF
1	Maria Grazia Buscemi, Hernán C. Melgratti	Transactional Service Level Agreement.	TGC	2007	DBLP DOI BibTeX RDF
1	Benjamin Grégoire, Jorge Luis Sacchini	Combining a Verification Condition Generator for a Bytecode Language with Static Analyses.	TGC	2007	DBLP DOI BibTeX RDF
1	Luigi Liquori, Michel Cosnard	Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems.	TGC	2007	DBLP DOI BibTeX RDF
1	Martin Hofmann 0001, Mariela Pavlova	Elimination of Ghost Variables in Program Logics.	TGC	2007	DBLP DOI BibTeX RDF
1	Aybek Mukhamedov, Mark Dermot Ryan	Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus.	TGC	2007	DBLP DOI BibTeX RDF
1	Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida	On Progress for Structured Communications.	TGC	2007	DBLP DOI BibTeX RDF
1	Flemming Nielson, Hanne Riis Nielson, Jörg Bauer 0001, Christoffer Rosenkilde Nielsen, Henrik Pilegaard	Relational Analysis for Delivery of Services.	TGC	2007	DBLP DOI BibTeX RDF
1	Tom Murphy VII, Karl Crary, Robert Harper 0001	Type-Safe Distributed Programming with ML5.	TGC	2007	DBLP DOI BibTeX RDF
1	Pierre Crégut	Extracting Control from Data: User Interfaces of MIDP Applications.	TGC	2007	DBLP DOI BibTeX RDF
1	Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore	Location-Aware Quality of Service Measurements for Service-Level Agreements.	TGC	2007	DBLP DOI BibTeX RDF
1	Patryk Czarnik, Aleksy Schubert	Extending Operational Semantics of the Java Bytecode.	TGC	2007	DBLP DOI BibTeX RDF
1	Karthikeyan Bhargavan, Andrew D. Gordon 0001, Iman Narasamdya	Service Combinators for Farming Virtual Machines.	TGC	2007	DBLP DOI BibTeX RDF
1	Steve Kremer	Computational Soundness of Equational Theories (Tutorial).	TGC	2007	DBLP DOI BibTeX RDF
1	Romain Beauxis, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Prakash Panangaden	Formal Approaches to Information-Hiding (Tutorial).	TGC	2007	DBLP DOI BibTeX RDF
1	Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone	Replicating Web Services for Scalability.	TGC	2007	DBLP DOI BibTeX RDF
1	Andrew Cirillo, James Riely	Access Control Based on Code Identity for Open Distributed Systems.	TGC	2007	DBLP DOI BibTeX RDF	Compound Principals, Higher-Order Pi Calculus, Access Control, Typing, Trusted Computing, Remote Attestation, Authorization Logic
1	Jeff Magee	Web Service Composition: From Analysis to Autonomy.	TGC	2007	DBLP DOI BibTeX RDF
1	Arnab Roy 0001, Anupam Datta, John C. Mitchell	Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols.	TGC	2007	DBLP DOI BibTeX RDF
1	Kurt Dietrich, Martin Pirker, Tobias Vejda, Ronald Toegl, Thomas Winkler 0002, Peter Lipp	A Practical Approach for Establishing Trust Relationships between Remote Platforms Using Trusted Computing.	TGC	2007	DBLP DOI BibTeX RDF
1	Geoffrey Smith 0001	Adversaries and Information Leaks (Tutorial).	TGC	2007	DBLP DOI BibTeX RDF
1	Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto	Service Oriented Architectural Design.	TGC	2007	DBLP DOI BibTeX RDF
1	Ilja Tsahhirov, Peeter Laud	Application of Dependency Graphs to Security Protocol Analysis.	TGC	2007	DBLP DOI BibTeX RDF
1	Ugo Montanari, Donald Sannella, Roberto Bruni (eds.)	Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers	TGC	2007	DBLP DOI BibTeX RDF
1	Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann 0001, Peter Müller 0001, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard	MOBIUS: Mobility, Ubiquity, Security.	TGC	2006	DBLP DOI BibTeX RDF
1	Luciano Baresi, Karsten Ehrig, Reiko Heckel	Verification of Model Transformations: A Case Study with BPEL.	TGC	2006	DBLP DOI BibTeX RDF
1	Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Evi Papaioannou	Scheduling to Maximize Participation.	TGC	2006	DBLP DOI BibTeX RDF
1	Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro	SensoriaProcess Calculi for Service-Oriented Computing.	TGC	2006	DBLP DOI BibTeX RDF
1	Evangelos Kranakis, Danny Krizanc	An Algorithmic Theory of Mobile Agents.	TGC	2006	DBLP DOI BibTeX RDF
1	Lucia Acciai, Michele Boreale, Silvano Dal-Zilio	A Typed Calculus for Querying Distributed XML Documents.	TGC	2006	DBLP DOI BibTeX RDF
1	Torsten Eymann, Werner Streitberger, Sebastian Hudert	Global Grids - Making a Case for Self-organization in Large-Scale Overlay Networks.	TGC	2006	DBLP DOI BibTeX RDF
1	Luís Caires	Spatial-Behavioral Types, Distributed Services, and Resources.	TGC	2006	DBLP DOI BibTeX RDF
1	Davide Bacciu, Alessio Botta, Hernán C. Melgratti	A Fuzzy Approach for Negotiating Quality of Services.	TGC	2006	DBLP DOI BibTeX RDF
1	Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers	The KOA Remote Voting System: A Summary of Work to Date.	TGC	2006	DBLP DOI BibTeX RDF
1	Paola Inverardi	Software of the Future Is the Future of Software?	TGC	2006	DBLP DOI BibTeX RDF
1	Christos Kaklamanis	Project AEOLUS: An Overview.	TGC	2006	DBLP DOI BibTeX RDF
1	Sonia Fagorzi, Elena Zucca	A Framework for Type Safe Exchange of Mobile Code.	TGC	2006	DBLP DOI BibTeX RDF	parametric calculus, static and dynamic typechecking, subtyping, mobile code
1	Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Prakash Panangaden	Anonymity Protocols as Noisy Channels.	TGC	2006	DBLP DOI BibTeX RDF
1	Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic	Security Types for Dynamic Web Data.	TGC	2006	DBLP DOI BibTeX RDF
1	Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter	Integration of a Security Type System into a Program Logic.	TGC	2006	DBLP DOI BibTeX RDF
1	Francesco Silvestri 0001	On the Limits of Cache-Oblivious Matrix Transposition.	TGC	2006	DBLP DOI BibTeX RDF
1	Tom Chothia, Simona Orzan, Jun Pang 0001, Muhammad Torabi Dashti	A Framework for Automatically Checking Anonymity with mu CRL.	TGC	2006	DBLP DOI BibTeX RDF
1	Damien Pous	On Bisimulation Proofs for the Analysis of Distributed Abstract Machines.	TGC	2006	DBLP DOI BibTeX RDF
1	Roberto Bruni, Ivan Lanese	PRISMA: A Mobile Calculus with Parametric Synchronization.	TGC	2006	DBLP DOI BibTeX RDF
1	Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Joseph Ahern, Sophia Drossopoulou	A Distributed Object-Oriented Language with Session Types.	TGC	2005	DBLP DOI BibTeX RDF
1	Michele Boreale, Maria Grazia Buscemi, Ugo Montanari	A General Name Binding Mechanism.	TGC	2005	DBLP DOI BibTeX RDF
1	Rocco De Nicola, Davide Sangiorgi (eds.)	Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers	TGC	2005	DBLP DOI BibTeX RDF
1	Fred Spiessens, Peter Van Roy	A Practical Formal Model for Safety Analysis in Capability-Based Systems.	TGC	2005	DBLP DOI BibTeX RDF
1	William Simmonds, Tim Hawkins	The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library.	TGC	2005	DBLP DOI BibTeX RDF
1	Mark S. Miller, Eric Dean Tribble, Jonathan S. Shapiro	Concurrency Among Strangers.	TGC	2005	DBLP DOI BibTeX RDF
1	Sébastien Briais, Uwe Nestmann	A Formal Semantics for Protocol Narrations.	TGC	2005	DBLP DOI BibTeX RDF
1	Dean Rosenzweig, Davor Runje, Wolfram Schulte	Model-Based Testing of Cryptographic Protocols.	TGC	2005	DBLP DOI BibTeX RDF
1	Silvia Crafa, Sabina Rossi	A Theory of Noninterference for the pi-Calculus.	TGC	2005	DBLP DOI BibTeX RDF
1	Francisco Martins, Vasco Thudichum Vasconcelos	History-Based Access Control for Distributed Processes.	TGC	2005	DBLP DOI BibTeX RDF
1	James Skene, Wolfgang Emmerich	Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies.	TGC	2005	DBLP DOI BibTeX RDF
1	Benjamin C. Pierce	Harmony: The Art of Reconciliation.	TGC	2005	DBLP DOI BibTeX RDF
1	L. Gregory Meredith, Matthias Radestock	Namespace Logic: A Logic for a Reflective Higher-Order Calculus.	TGC	2005	DBLP DOI BibTeX RDF
1	Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi	A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange.	TGC	2005	DBLP DOI BibTeX RDF
1	Adriana B. Compagnoni, Elsa L. Gunter	Types for Security in a Mobile World.	TGC	2005	DBLP DOI BibTeX RDF
1	Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen	Programming Cryptographic Protocols.	TGC	2005	DBLP DOI BibTeX RDF
1	Mikael Buchholtz	Automated Analysis of Infinite Scenarios.	TGC	2005	DBLP DOI BibTeX RDF
1	Michele Bugliesi, Marco Giunti	Typed Processes in Untyped Contexts.	TGC	2005	DBLP DOI BibTeX RDF
1	Davide Ancona, Sonia Fagorzi, Elena Zucca	Mixin Modules for Dynamic Rebinding.	TGC	2005	DBLP DOI BibTeX RDF
1	Cosimo Laneve, Gianluigi Zavattaro	web-pi at Work.	TGC	2005	DBLP DOI BibTeX RDF

Publications at "TGC"( http://dblp.L3S.de/Venues/TGC )