2234 search results - page 350 / 447 » Protocol Implementation Using Integrated Layer Processing |
CCS
2009
ACM
15 years 8 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
117
click to vote
CHI
2004
ACM
15 years 7 months ago
2004
ACM
While collections—aggregation mechanisms such as folders, buddy lists, photo albums, etc.—clearly play a central role in information management, the potential benefits of true...
139
click to vote
CHES
2006
Springer
15 years 5 months ago
2006
Springer
The generation of prime numbers underlies the use of most public-key cryptosystems, essentially as a primitive needed for the creation of RSA key pairs. Surprisingly enough, despit...
138
click to vote
NGC
2000
Springer
15 years 5 months ago
2000
Springer
Delivering data to on-line game participants requires the game data to be "customized" in real-time to each participant's characteristics. Using multicast in such a...
107
click to vote
LREC
2010
15 years 3 months ago
2010
This paper presents the language resource management system for the development and dissemination of Asian WordNet (AWN) and its web service application. We develop the platform t...