4595 search results - page 556 / 919 » Reasoning about Plans |
174
click to vote
ISPW
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
185
click to vote
WCRE
2006
IEEE
16 years 27 days ago
2006
IEEE
Aspect mining requires adequate tool support to locate source code elements implementing crosscutting concerns (aka seeds), to explore and understand relations describing these el...
178
click to vote
APLAS
2006
ACM
16 years 26 days ago
2006
ACM
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
182
click to vote
IUI
2006
ACM
16 years 26 days ago
2006
ACM
We present an interactive multimedia interface for automatically summarizing large corpora of evaluative text (e.g. online product reviews). We rely on existing techniques for ext...
160
click to vote
CSFW
2005
IEEE
16 years 15 days ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...