1129 search results - page 125 / 226 » SAC and neighbourhood SAC |
127
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
173
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
This paper focuses on time-based declarative languages. The use of declarative languages has the advantage of their simplicity and gh-level abstraction, usually requiring few or n...
136
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a methodology for interoperability testing based on contextual signatures and passive testing with invariants. The concept of contextual signature offers a fra...
206
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
There are a number of scenarios where connectivity is intermittent, and a given destination may not be reachable at the moment a message is sent. Networks with these characteristi...
144
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The level of anonymity offered by low latency, interactive, anonymous networks is unknown. This paper implements correlation attacks on the deployed Tor network and a simulated T...