888 search results - page 131 / 178 » The Power of Temporal Proofs |
IJCNN
2006
IEEE
15 years 3 months 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...
MSWIM
2006
ACM
15 years 3 months 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...
PPOPP
2006
ACM
15 years 3 months 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 ...
COCO
2005
Springer
15 years 3 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...
CRYPTO
2005
Springer
15 years 3 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...