3815 search results - page 171 / 763 » An Implementation of Session Types |
128
Voted
PERCOM
2009
ACM
15 years 9 months ago
2009
ACM
—As a result of the wide spread of new efficient mobile communication devices, users are more and more willing to find on these devices (PDAs, Smartphones, etc) applications si...
145
Voted
TON
2012
13 years 5 months ago
2012
Abstract—Various low-latency anonymous communication systems such as Tor and Anonymizer have been designed to provide anonymity service for users. In order to hide the communicat...
132
click to vote
LICS
2002
IEEE
15 years 7 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
130
Voted
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
142
Voted
WWW
2009
ACM
16 years 3 months ago
2009
ACM
Giving suggestions to users of Web-based services is a common practice aimed at enhancing their navigation experience. Major Web Search Engines usually provide Suggestions under t...