4099 search results - page 318 / 820 » A Framework for Interactive Proof |
160
click to vote
PLSA
1994
15 years 10 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
243
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
184
click to vote
CHI
1996
ACM
15 years 10 months ago
1996
ACM
Shared physical workspaces allow people to maintain upto-the minute knowledge about others' interaction with the workspace. This knowledge is workspace awareness, part of the...
147
click to vote
INTERACT
2003
15 years 8 months ago
2003
: This paper presents evidence from a survey that was carried out to investigate the age influence on the needs and preferences of mobile phone owners. The impact of mobile phone a...
218
click to vote
AB
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. A well-known discrete approach to modeling biological regulatory networks is the logical framework developed by R. Thomas. The network structure is captured in an interac...