6438 search results - page 962 / 1288 » A Parameterised Search System |
163
click to vote
ISW
2005
Springer
16 years 6 days ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
174
click to vote
MRCO
2005
Springer
16 years 6 days ago
2005
Springer
In the research project EPOS1 we build a pro-active, contextsensitive support system to aid the user with his knowledge work, which is mostly about searching, reading, creating, an...
231
click to vote
MIR
2004
ACM
16 years 4 days ago
2004
ACM
We present in this paper a CBIR system for use in a psychological study of the relationship between human movement and Dyslexia. The system allows access to up to 500 hours of vid...
160
click to vote
SAC
2004
ACM
16 years 4 days ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
171
click to vote
SIGCOMM
2004
ACM
16 years 4 days ago
2004
ACM
This paper presents the design of Mercury, a scalable protocol for supporting multi-attribute rangebased searches. Mercury differs from previous range-based query systems in that...