1154 search results - page 213 / 231 » Making Self-organizing Systems Secure |
116
click to vote
TIC
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
106
click to vote
HPDC
2010
IEEE
15 years 26 days ago
2010
IEEE
Data is routinely created, disseminated, and processed in distributed systems that span multiple administrative domains. To maintain accountability while the data is transformed b...
102
click to vote
CCS
2009
ACM
16 years 12 days ago
2009
ACM
Modern advanced botnets may employ a decentralized peer-to-peer overlay network to bootstrap and maintain their command and control channels, making them more resilient to traditi...
196
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
Modern database systems increasingly make use of networked storage. This storage can be in the form of SAN's or in the form of shared-nothing nodes in a cluster. One type of a...
79
Voted
MOBISYS
2008
ACM
15 years 11 months ago
2008
ACM
Automotive traffic monitoring using probe vehicles with Global Positioning System receivers promises significant improvements in cost, coverage, and accuracy. Current approaches, ...