4529 search results - page 688 / 906 » Position Based Cryptography |
183
click to vote
ATAL
2005
Springer
16 years 19 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...
195
click to vote
ATAL
2005
Springer
16 years 19 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...
145
Voted
CICLING
2005
Springer
16 years 19 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...
186
Voted
CRYPTO
2005
Springer
16 years 19 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...
177
click to vote
E4MAS
2005
Springer
16 years 18 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...