3 search results - page 1 / 1 » Friends Need a Bit More: Maintaining Invariants Over Shared ... |
MPC
2004
Springer
13 years 10 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
EUC
2007
Springer
13 years 11 months ago
2007
Springer
Cooperative caching is an important technique to support efficient data dissemination and sharing in Mobile Ad hoc Networks (MANETs). In order to ensure valid data access, the cach...
PDP
2005
IEEE
13 years 10 months ago
2005
IEEE
Up until now little support has been provided for shared state systems in environments with highly unpredictable network connections, such as mobile networks. Shared state conflic...