888 search results - page 131 / 178 » The Power of Temporal Proofs |
166
click to vote
IJCNN
2006
IEEE
16 years 2 days ago
2006
IEEE
— Neuronal morphology plays a crucial role in the information processing capabilities of neurons. Despite the importance of morphology for neural functionality, biological data i...
266
Voted
MSWIM
2006
ACM
16 years 6 hour ago
2006
ACM
Mobile devices should allow users to exploit services anytime, without any place restriction and in a transparent way. The Bluetooth technology achieves this feature, by providing...
148
click to vote
PPOPP
2006
ACM
16 years 5 hour ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
152
click to vote
COCO
2005
Springer
15 years 11 months ago
2005
Springer
A t-private private information retrieval (PIR) scheme allows a user to retrieve the ith bit of an n-bit string x replicated among k servers, while any coalition of up to t server...
170
click to vote
CRYPTO
2005
Springer
15 years 11 months ago
2005
Springer
Forgery and counterfeiting are emerging as serious security risks in low-cost pervasive computing devices. These devices lack the computational, storage, power, and communication r...