Sciweavers

9702 search results - page 231 / 1941
» Communicating Mobile Processes
Sort
View
DAGSTUHL
2006
15 years 8 months ago
06431 Working Group Summary: Atomicity in Mobile Networks
We introduce different mobile network applications and show to which degree the concept of database transactions is required within the applications. We show properties of transact...
Sebastian Obermeier, Joos-Hendrik Böse, Stefa...
ICALP
2005
Springer
16 years 18 days ago
Basic Observables for a Calculus for Global Computing
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
149
Voted
ICOIN
2007
Springer
16 years 1 months ago
De-triangulation Optimal Solutions for Mobility Scenarios with Asymmetric Links
Pedro Vale Estrela, Teresa Maria Vazão, M&a...
IFIP
2004
Springer
16 years 14 days ago
Preventive and Corrective Protection for Mobile Ad Hoc Network Routing Protocols
Ricardo Staciarini Puttini, Ludovic Mé, Raf...
IFIP
2004
Springer
16 years 14 days ago
Dynamic and Local Typing for Mobile Ambients
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...