Sciweavers

9702 search results - page 231 / 1941
» Communicating Mobile Processes
Sort
View
177
Voted
DAGSTUHL
2006
15 years 7 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...
162
Voted
ICALP
2005
Springer
15 years 11 months 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
ICOIN
2007
Springer
16 years 9 days ago
De-triangulation Optimal Solutions for Mobility Scenarios with Asymmetric Links
Pedro Vale Estrela, Teresa Maria Vazão, M&a...
IFIP
2004
Springer
15 years 11 months ago
Preventive and Corrective Protection for Mobile Ad Hoc Network Routing Protocols
Ricardo Staciarini Puttini, Ludovic Mé, Raf...
IFIP
2004
Springer
15 years 11 months ago
Dynamic and Local Typing for Mobile Ambients
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...