3573 search results - page 337 / 715 » Reasoning about Codata |
145
click to vote
IUI
2006
ACM
15 years 11 months 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...
135
Voted
CSFW
2005
IEEE
15 years 10 months 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,...
128
Voted
ENC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
143
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
139
click to vote
ISPW
2005
IEEE
15 years 10 months ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...