4716 search results - page 613 / 944 » Iterative-free program analysis |
179
click to vote
CAV
2005
Springer
16 years 4 hour ago
2005
Springer
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...
150
click to vote
IFIP
2005
Springer
15 years 12 months 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...
192
click to vote
UM
2005
Springer
15 years 12 months 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...
161
Voted
CIVR
2004
Springer
15 years 12 months 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...
161
click to vote
ICALP
2004
Springer
15 years 12 months 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...