203 search results - page 41 / 41 » Type Theory and the Informal Language of Mathematics |
CHI
2008
ACM
13 years 7 months ago
2008
ACM
As emphasis is placed on developing mobile, educational, and other applications that minimize cognitive load on users, it is becoming more essential to base interface design on im...
CRYPTO
2008
Springer
13 years 7 months ago
2008
Springer
In cryptography, there has been tremendous success in building various two-party protocols with small communication complexity out of homomorphic semantically-secure encryption sc...
ACMICEC
2004
ACM
13 years 11 months ago
2004
ACM
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...