14331 search results - page 225 / 2867 » On the modeling and analysis of obligations |
176
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
Peer-to-peer (P2P) file sharing accounts for an astonishing volume of current Internet traffic. This paper probes deeply into modern P2P file sharing systems and the forces that...
185
click to vote
CASES
2003
ACM
15 years 11 months ago
2003
ACM
Recent research in sensor networks has raised issues of security for small embedded devices. Security concerns are motivated by the deployment of a large number of sensory devices...
177
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...