Sciweavers

IANDC
2008
128views more  IANDC 2008»
13 years 4 months ago
Rule-based static analysis of network protocol implementations
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...
Octavian Udrea, Cristian Lumezanu, Jeffrey S. Fost...
MDM
2007
Springer
119views Communications» more  MDM 2007»
13 years 11 months ago
A Failure Tolerating Atomic Commit Protocol for Mobile Environments
In traditional fixed-wired networks, standard protocols like 2-Phase-Commit are used to guarantee atomicity for distributed transactions. However, within mobile networks, a highe...
Stefan Böttcher, Le Gruenwald, Sebastian Ober...