2612 search results - page 455 / 523 » Semantic Attention Management |
134
click to vote
ASIACRYPT
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we discuss non-interactive updating of decryption keys in identity-based encryption (IBE). IBE is a public key cryptosystem where a public key is an arbitrary strin...
122
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
119
click to vote
ERCIMDL
2005
Springer
15 years 7 months ago
2005
Springer
Daffodil is a front-end to federated, heterogeneous digital libraries targeting at strategic support of users during the information seeking process. This is done by offering a va...
103
click to vote
EUC
2005
Springer
15 years 7 months ago
2005
Springer
We analyze the problem of storing contextual information across a set of distributed heterogeneous mobile devices. These devices form a Mobile Ad Hoc Network (MANET) interconnected...
110
click to vote
GCC
2005
Springer
15 years 7 months ago
2005
Springer
Resource Space Model (RSM) is a semantic model to manage and share heterogeneous resources on the Internet. This paper focuses on the general architecture, physical implementation ...