1699 search results - page 268 / 340 » A Rule Format for Associativity |
115
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
245
click to vote
VLDB
2006
ACM
16 years 4 months ago
2006
ACM
Abstract The protection of customer privacy is a fundamental issue in today's corporate marketing strategies. Not surprisingly, many research efforts have proposed new privacy...
132
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
141
click to vote
IUI
2009
ACM
16 years 27 days ago
2009
ACM
The fundamental nature of grocery shopping makes it an interesting domain for intelligent mobile assistants. Even though the central role of shopping lists is widely recognized, r...
131
click to vote
APSCC
2009
IEEE
15 years 10 months ago
2009
IEEE
—Providing data as a service has not only fostered the access to data from anywhere at anytime but also reduced the cost of investment. However, data is often associated with var...