1833 search results - page 206 / 367 » Mechanized Verification with Sharing |
348
click to vote
E4MAS
2006
Springer
15 years 10 months ago
2006
Springer
Stigmergy has been adopted in MAS (multi-agent systems) and in other fields as a technique for realising forms of emergent coordination in societies composed by a large amount of a...
163
click to vote
USENIX
2007
15 years 8 months ago
2007
The ability to checkpoint a running application and restart it later can provide many useful benefits including fault recovery, advanced resources sharing, dynamic load balancing...
144
click to vote
USENIX
2007
15 years 8 months ago
2007
Content-based naming (CBN) enables content sharing across similar files by breaking files into positionindependent chunks and naming these chunks using hashes of their contents....
176
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In open societies such as multi-agent systems, it is important that coordination among the several actors is achieved efficiently. One economical way of capturing that aspiration ...
223
click to vote
EUC
2008
Springer
15 years 8 months ago
2008
Springer
Password authentication is a popular approach used for user authentication in pervasive computing environments due to its simplicity and convenience. To secure the transmission be...