1687 search results - page 216 / 338 » Personalizing Information Spaces: A Metadata Based Approach |
FTCS
1998
13 years 10 months ago
1998
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...
ENTCS
2007
13 years 9 months ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...
SIGDOC
2006
ACM
14 years 3 months ago
2006
ACM
This paper presents an approach for interaction design based on the specificity of the information involved in the interaction. The contribution is intended for application design...
ICDE
2009
IEEE
14 years 11 months ago
2009
IEEE
This demonstration program presents the V*-kNN algorithm, an efficient algorithm to process moving k nearest neighbor queries (MkNN). The V*-kNN algorithm is based on a safe-region...
IRI
2006
IEEE
14 years 3 months ago
2006
IEEE
When a Constraint Satisfaction Problem (CSP) admits no solution, most current solvers express that the whole search space has been explored unsuccessfully but do not exhibit which...