1653 search results - page 162 / 331 » Directed tree-width examples |
CHI
2006
ACM
16 years 2 months ago
2006
ACM
Modern graphical user interfaces support the direct manipulation of objects and efficient selection of objects is an integral part of this user interface paradigm. For the selecti...
107
click to vote
CHI
2004
ACM
16 years 2 months ago
2004
ACM
Today's user is surrounded by mobile appliances that continuously disrupt his activities through instant message, email and phone call notifications. In this paper, we presen...
CHI
2002
ACM
16 years 2 months ago
2002
ACM
The task of organizing information is typically performed either by physically manipulating note cards or sticky notes or by arranging icons on a computer with a graphical user in...
177
click to vote
POPL
2001
ACM
16 years 2 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
126
click to vote
ESORICS
2002
Springer
16 years 1 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...