5086 search results - page 612 / 1018 » The Power of Comparative Reasoning |
176
click to vote
SAC
2005
ACM
16 years 11 days ago
2005
ACM
In traditional access control models like MAC, DAC, and RBAC, authorization decisions are determined according to identities of subjects and objects, which are authenticated by a ...
235
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
We describe a very large scale distributed robotic system, involving a team of over 100 robots, that has been successfully deployed in large, unknown indoor environments, over ext...
225
click to vote
PPDP
2005
Springer
16 years 8 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
194
click to vote
EUROCRYPT
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In the bounded-storage model (BSM) for information-theoretically secure encryption and key-agreement one uses a random string R whose length t is greater than the assumed...
195
click to vote
IPSN
2004
Springer
16 years 5 days ago
2004
Springer
Recent advances in technology have made low cost, low power wireless sensors a reality. Clock synchronization is an important service in any distributed system, including sensor n...