475 search results - page 17 / 95 » Reasoning About the Transfer of Control |
CEC
2009
IEEE
14 years 3 days ago
2009
IEEE
In evolutionary robotics, controllers are often designed in simulation, then transferred onto the real system. Nevertheless, when no accurate model is available, controller transfe...
VTC
2007
IEEE
14 years 3 months ago
2007
IEEE
— We design a Mobility-aware DAta management (MoDA) scheme for mobile ad hoc networks (MANETs) composed by mobile nodes such as urban pedestrians and vehicles. By fully utilizing...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
FSEN
2009
Springer
14 years 3 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
PKC
2009
Springer
14 years 9 months ago
2009
Springer
In this work, we consider the task of allowing a content provider to enforce complex access control policies on oblivious protocols conducted with anonymous users. As our primary ...