1144 search results - page 52 / 229 » Protocol Implementation in a Vertically Structured Operating... |
ACSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
To protect privacy in large systems, users must be able to authenticate against a central server without disclosing their identity to the network. Private identification protocols ...
105
click to vote
VMCAI
2012
Springer
13 years 5 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
89
Voted
DAC
2007
ACM
15 years 10 months ago
2007
ACM
This work is motivated by the strong demand of reliability enhancement over flash memory. Our objective is to improve the endurance of flash memory with limited overhead and witho...
94
Voted
SENSYS
2003
ACM
15 years 2 months ago
2003
ACM
Wireless ad-hoc sensor networks have emerged as an interesting and important research area in the last few years. The applications envisioned for such networks require collaborati...
BIOWIRE
2007
Springer
15 years 1 months ago
2007
Springer
Chemical computing models have been proposed since the 1980ies for expressing concurrent computations in elegant ways for shared memory systems. In this paper we look at the distri...