Global Computing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540241010, 9783540317944
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Mobile UML Statecharts with Localities

2005 ◽  
pp. 34-58 ◽  
Author(s):  
Diego Latella ◽  
Mieke Massink ◽  
Hubert Baumeister ◽  
Martin Wirsing

scholarly journals A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi

2005 ◽  
pp. 179-207 ◽  
Author(s):  
Lorenzo Bettini ◽  
Rocco De Nicola ◽  
Daniele Falassi ◽  
Marc Lacoste ◽  
Luís Lopes ◽  
...  
Keyword(s):  
Rapid Prototyping ◽  
Software Framework ◽  
Run Time ◽  
Time Systems

scholarly journals BGP-Based Clustering for Scalable and Reliable Gossip Broadcast

2005 ◽  
pp. 273-290 ◽  
Author(s):  
M. Brahami ◽  
P. Th. Eugster ◽  
R. Guerraoui ◽  
S. B. Handurukande

Symbolic Equivalences for Open Systems

2005 ◽  
pp. 1-17 ◽  
Author(s):  
Paolo Baldan ◽  
Andrea Bracciali ◽  
Roberto Bruni
Keyword(s):  
Open Systems

scholarly journals Verifying a Structured Peer-to-Peer Overlay Network: The Static Case

2005 ◽  
pp. 250-265 ◽  
Author(s):  
Johannes Borgström ◽  
Uwe Nestmann ◽  
Luc Onana ◽  
Dilian Gurov
Keyword(s):  
Overlay Network ◽  
Peer To Peer ◽  
Static Case

scholarly journals The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies

2005 ◽  
pp. 314-339 ◽  
Author(s):  
Marco Alberti ◽  
Federico Chesani ◽  
Marco Gavanelli ◽  
Evelina Lamma ◽  
Paola Mello ◽  
...  
Keyword(s):  
Computational Logic ◽  
Agent Societies ◽  
Logic Approach ◽  
Specification And Verification

Communities: Concept-Based Querying for Mobile Services

2005 ◽  
pp. 59-76 ◽  
Author(s):  
Chara Skouteli ◽  
Christoforos Panayiotou ◽  
George Samaras ◽  
Evaggelia Pitoura
Keyword(s):  
Mobile Services
Load More ...
Sign in / Sign up

Export Citation Format

Share Document