2106 search results - page 192 / 422 » Specifying C concepts |
159
click to vote
INTERACT
2003
15 years 5 months ago
2003
: Whereas sophisticated computer users can exercise more control in what they are exposed to and produce computational artifacts, technologically challenged end-users assume a more...
148
Voted
AIPS
1996
15 years 5 months ago
1996
Mostexisting decision-theoretic planners represent uncertainty about the state of the world with a precisely specified probability distribution over world states. This representat...
137
click to vote
IQ
1996
15 years 5 months ago
1996
There is a consistent gap between users expectations regarding Information Quality (IQ) and the perceived quality of the information they are using. An explicit approach to IQ is ...
129
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
136
click to vote
HASKELL
2008
ACM
15 years 5 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...