440 search results - page 88 / 88 » Predicate Abstraction with Indexed Predicates |
SCN
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. A hidden vector encryption scheme (HVE) is a derivation of identity-based encryption, where the public key is actually a vector over a certain alphabet. The decryption ke...
IEPOL
2010
13 years 2 months ago
2010
ABSTRACT Digital computer networks represent a disruptive technology, with the potential to create or destroy economic value in established industries. These opportunities and chal...
CORR
2011
Springer
13 years 8 days ago
2011
Springer
Coecke, Sadrzadeh, and Clark [3] developed a compositional model of meaning for distributional semantics, in which each word in a sentence has a meaning vector and the distributio...
CAV
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
BTW
2007
Springer
13 years 11 months ago
2007
Springer
Abstract: We propose a new system that is able to handle the entire Personal Dataspace of a user. A Personal Dataspace includes all data pertaining to a user on all his disks and o...