![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 28 matches
- 2005
- Corrado Priami, Paola Quaglia:
Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3267, Springer 2005, ISBN 3-540-24101-9 [contents] - 2004
- Marco Alberti, Federico Chesani, Marco Gavanelli
, Evelina Lamma, Paola Mello, Paolo Torroni
:
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. Global Computing 2004: 314-339 - Luc Onana Alima, Ali Ghodsi, Seif Haridi:
A Framework for Structured Peer-to-Peer Overlay Networks. Global Computing 2004: 223-249 - Erik Aurell, Sameh El-Ansary:
A Physics-Style Approach to Scalability of Distributed systems. Global Computing 2004: 266-272 - Paolo Baldan, Andrea Bracciali, Roberto Bruni:
Symbolic Equivalences for Open Systems. Global Computing 2004: 1-17 - Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing 2004: 18-33 - Lorenzo Bettini, Rocco De Nicola
, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino
, Vasco Thudichum Vasconcelos:
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. Global Computing 2004: 179-207 - Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov
:
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. Global Computing 2004: 250-265 - Gérard Boudol:
A Generic Membrane Model (Note). Global Computing 2004: 208-222 - Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni:
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. Global Computing 2004: 340-367 - M. Brahami, Patrick Th. Eugster, Rachid Guerraoui, Sidath B. Handurukande:
BGP-Based Clustering for Scalable and Reliable Gossip Broadcast. Global Computing 2004: 273-290 - Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini:
For-LySa: UML for Authentication Analysis. Global Computing 2004: 93-106 - Diego Latella, Mieke Massink
, Hubert Baumeister, Martin Wirsing:
Mobile UML Statecharts with Localities. Global Computing 2004: 34-58 - Sotiris E. Nikoletseas, Paul G. Spirakis:
Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks. Global Computing 2004: 127-145 - Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia:
Performance Analysis of a UML Micro-business Case Study. Global Computing 2004: 107-126 - Alan Schmitt, Jean-Bernard Stefani:
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. Global Computing 2004: 146-178 - Chara Skouteli, Christoforos Panayiotou, George Samaras, Evaggelia Pitoura:
Communities: Concept-Based Querying for Mobile Services. Global Computing 2004: 59-76 - Sotirios Terzis
, Waleed Wagealla, Colin English, Paddy Nixon:
Trust Lifecycle Management in a Global Computing Environment. Global Computing 2004: 291-313 - Angelo Troina, Alessandro Aldini
, Roberto Gorrieri
:
Towards a Formal Treatment of Secrecy Against Computational Adversaries. Global Computing 2004: 77-92 - 2003
- Alessandro Aldini
, Roberto Gorrieri:
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism. Global Computing 2003: 203-228 - Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing:
UML for Global Computing. Global Computing 2003: 1-24 - Lorenzo Bettini, Viviana Bono, Rocco De Nicola
, Gian-Luigi Ferrari
, Daniele Gorla
, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri:
The Klaim Project: Theory and Practice. Global Computing 2003: 88-150 - Viviana Bono:
Extensible Objects: A Tutorial. Global Computing 2003: 57-87 - Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami:
Performance Evaluation for Global Computation. Global Computing 2003: 229-253 - Linda Brodo, Pierpaolo Degano, Corrado Priami:
Reflecting Mobile Ambients into the p-Calculus. Global Computing 2003: 25-56 - Elio Giovannetti:
Ambient Calculi with Types: A Tutorial. Global Computing 2003: 151-191 - Dieter Gollmann:
Facets of Security. Global Computing 2003: 192-202 - Corrado Priami:
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers. Lecture Notes in Computer Science 2874, Springer 2003, ISBN 3-540-20583-7 [contents]
loading more results
failed to load more results, please try again later
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-06 21:33 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint