2947 search results - page 36 / 590 » Analyzing Program Analyses |
132
click to vote
LPAR
2010
Springer
15 years 7 days ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
102
click to vote
IFIP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Trust Management is an approach to construct and interpret the trust relationships among public-keys that are used to mediate security-critical actions. Cryptographic cre...
92
Voted
AAMAS
2008
Springer
15 years 2 months ago
2008
Springer
Despite several examples of deployed agent systems, there remain barriers to the large-scale adoption of agent technologies. In order to understand these barriers, this paper consi...
114
click to vote
CHI
2011
ACM
14 years 6 months ago
2011
ACM
Nonparametric data from multi-factor experiments arise often in human-computer interaction (HCI). Examples may include error counts, Likert responses, and preference tallies. But ...
76
Voted
ACL
2008
15 years 3 months ago
2008
We identify four types of errors that unsupervised induction systems make and study each one in turn. Our contributions include (1) using a meta-model to analyze the incorrect bia...