Sciweavers

2067 search results - page 222 / 414
» Logics of propositional control
Sort
View
ICCAD
2002
IEEE
189views Hardware» more  ICCAD 2002»
16 years 4 months ago
Reversible logic circuit synthesis
Reversible, or information-lossless, circuits have applications in digital signal processing, communication, computer graphics and cryptography. They are also a fundamental requir...
Vivek V. Shende, Aditya K. Prasad, Igor L. Markov,...
ATAL
1999
Springer
15 years 11 months ago
Reactivity in a Logic-Based Robot Programming Framework
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
Yves Lespérance, Kenneth Tam, Michael R. M....
TLDI
2010
ACM
190views Formal Methods» more  TLDI 2010»
16 years 4 months ago
Distributed programming with distributed authorization
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
Kumar Avijit, Anupam Datta, Robert Harper
OTM
2007
Springer
16 years 1 months ago
A Role and Attribute Based Access Control System Using Semantic Web Technologies
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...
Lorenzo Cirio, Isabel F. Cruz, Roberto Tamassia
ICRA
2006
IEEE
136views Robotics» more  ICRA 2006»
16 years 1 months ago
Adaptive Torque Control of Electro-rheological Fluid Brakes used in Active Knee Rehabilitation Devices
- This paper describes the development of an Adaptive Non-linear PI Torque Control for electro-rheological fluid (ERF) based variable resistance brakes that are used in compact and...
Jason Nikitczuk, Abhimanyu Das, Harsh Vyas, Brian ...