Sciweavers

15840 search results - page 498 / 3168
» The Control of Synchronous Systems
Sort
View
ICRA
2005
IEEE
128views Robotics» more  ICRA 2005»
16 years 15 days ago
Reactive Speed Control System Based on Terrain Roughness Detection
Mattia Castelnovi, Ronald C. Arkin, Thomas Collins
SP
2005
IEEE
149views Security Privacy» more  SP 2005»
16 years 14 days ago
Distributed Proving in Access-Control Systems
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
Lujo Bauer, Scott Garriss, Michael K. Reiter