1382 search results - page 236 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
ESORICS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
APAL
2010
14 years 10 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
BMCBI
2006
14 years 9 months ago
2006
Background: The rapid growth of protein interactome data has elevated the necessity and importance of network analysis tools. However, unlike pure text data, network search spaces...
SIGIR
2009
ACM
15 years 4 months ago
2009
ACM
As an indispensable technique in the field of Information Filtering, Recommender System has been well studied and developed both in academia and in industry recently. However, mo...
MM
2003
ACM
15 years 3 months ago
2003
ACM
We present an approach to video editing where movie sequences are treated as spatio-temporal volumes that can be sheered and warped under user control. This simple capability enab...