1744 search results - page 125 / 349 » A Similarity-Driven Transfer System |
172
click to vote
ASPLOS
2004
ACM
16 years 21 hour ago
2004
ACM
Dynamic information flow tracking is a hardware mechanism to protect programs against malicious attacks by identifying spurious information flows and restricting the usage of sp...
202
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
142
click to vote
ETFA
2006
IEEE
16 years 19 days ago
2006
IEEE
— This paper describes the DSAAR architecture, which aims the fast development and prototyping of multi-robot systems and it is based on Linux inter-process communication (IPC) m...
170
click to vote
WOWMOM
2005
ACM
16 years 4 days ago
2005
ACM
— Message ferrying (MF) [2], a viable solution for routing in highly partitioned ad-hoc networks, exploits message ferries to transfer packets between disconnected nodes. This pa...
165
click to vote
SOFSEM
2005
Springer
16 years 2 days ago
2005
Springer
Motivated by a potentially flawed deployment of the one time pad in a recent quantum cryptographic application securing a bank transfer [12], we show how to implement a statistica...