4725 search results - page 620 / 945 » Dependence-Based Program Analysis |
156
click to vote
IFIP
2005
Springer
16 years 5 days ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
197
click to vote
UM
2005
Springer
16 years 4 days ago
2005
Springer
We present further developments in our work on using data from real users to build a probabilistic model of user affect based on Dynamic Bayesian Networks (DBNs) and designed to de...
170
click to vote
CIVR
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper presents a task-based user evaluation of two contentbased image database browsing systems. The performance of the two systems is compared to that of a commerci...
168
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
170
click to vote
SAT
2004
Springer
16 years 20 hour ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...