21094 search results - page 4095 / 4219 » An experiment using DLV-K |
102
Voted
SIGGRAPH
2000
ACM
15 years 5 months ago
2000
ACM
Human vision takes time to adapt to large changes in scene intensity, and these transient adjustments have a profound effect on visual appearance. This paper offers a new operator...
101
Voted
CARDIS
2000
Springer
15 years 5 months ago
2000
Springer
: This paper describes JCCap, a protection facility for cooperating applications in the context of Java Card. It enables the control of access rights between mutually suspicious ap...
129
Voted
CIKM
2000
Springer
15 years 5 months ago
2000
Springer
—As databases increasingly integrate different types of information such as multimedia, spatial, time-series, and scientific data, it becomes necessary to support efficient retri...
101
Voted
CHI
1999
ACM
15 years 5 months ago
1999
ACM
The past decades have seen huge improvements in computer systems but these have proved difficult to translate into comparable improvements in the usability and social integration)...
142
Voted
CSFW
1999
IEEE
15 years 5 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...