9325 search results - page 1605 / 1865 » The decentralized implementability problem |
133
click to vote
RAS
2006
15 years 4 months ago
2006
In this paper, we present techniques that allow one or multiple mobile robots to efficiently explore and model their environment. While much existing research in the area of Simul...
167
click to vote
SMA
2008
ACM
15 years 4 months ago
2008
ACM
We present an alternative approach to standard geometric shape editing using physically-based simulation. With our technique, the user can deform complex objects in real-time. The...
139
click to vote
TC
2008
15 years 4 months ago
2008
Cryptanalysis of ciphers usually involves massive computations. The security parameters of cryptographic algorithms are commonly chosen so that attacks are infeasible with availabl...
152
click to vote
ASE
2005
15 years 4 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
172
click to vote
JIPS
2007
15 years 4 months ago
2007
: The use of agent paradigm in today’s applications is hampered by the security concerns of agents and hosts alike. The agents require the presence of a secure and trusted execut...