4529 search results - page 688 / 906 » Position Based Cryptography |
163
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
179
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
A directed agent implies an agent with high constraints in both recognition and motion. Because of the embodied restrictions, the directed agent perceives a sense of subjective di...
135
click to vote
CICLING
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Transliterating words and names from one language to another is a frequent and highly productive phenomenon. For example, English word cache is transliterated in Japanese...
173
click to vote
CRYPTO
2005
Springer
16 years 2 days ago
2005
Springer
We identify and fill some gaps with regard to consistency (the extent to which false positives are produced) for public-key encryption with keyword search (PEKS), providing new de...
161
click to vote
E4MAS
2005
Springer
16 years 2 days ago
2005
Springer
There is a lot of confusion on what the environment of a multi-agent system (MAS) comprises. Sometimes, researchers refer to the environment as the logical entity of a MAS in which...