2947 search results - page 36 / 590 » Analyzing Program Analyses |
98
Voted
LPAR
2010
Springer
14 years 8 months 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...
82
Voted
IFIP
2005
Springer
15 years 4 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...
AAMAS
2008
Springer
14 years 11 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...
CHI
2011
ACM
14 years 2 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 ...
ACL
2008
15 years 11 days 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...