62 search results - page 11 / 13 » A Dolev-Yao Model for Zero Knowledge |
DOCENG
2004
ACM
14 years 28 days ago
2004
ACM
XML Topic maps enable multiple, concurrent views of sets of information objects and can be used to different applications. For example, thesaurus-like interfaces to corpora, navig...
ICRA
2008
IEEE
14 years 1 months ago
2008
IEEE
— In this work a novel control method is presented for controlling the forward speed and apex height of a special class of running quadruped robot, with a dimensionless inertia o...
SIGECOM
2006
ACM
14 years 1 months ago
2006
ACM
In traditional game theory, players are typically endowed with exogenously given knowledge of the structure of the game—either full omniscient knowledge or partial but fixed in...
CLUSTER
2004
IEEE
13 years 11 months ago
2004
IEEE
We propose a biologically inspired and fully-decentralized approach to the organization of computation that is based on the autonomous scheduling of strongly mobile agents on a pe...
STOC
1999
ACM
13 years 11 months ago
1999
ACM
We considered non-clairvoyant multiprocessor scheduling of jobs with arbitrary arrival times and changing execution characteristics. The problem has been studied extensively when ...