Sciweavers

4163 search results - page 367 / 833
» Enhancing surgical systems
Sort
View
ICRA
1994
IEEE
97views Robotics» more  ICRA 1994»
15 years 11 months ago
Integrating Sensing, Task Planning, and Execution
Abstract-This paper deals with enhancing the level of autonomy in a robotic work cell. With that mission in mind, we present here an integrated framework for the sensing, the plann...
C. P. Tung, Avinash C. Kak
CRYPTO
1993
Springer
159views Cryptology» more  CRYPTO 1993»
15 years 11 months ago
Comparison of Three Modular Reduction Functions
Three modular reduction algorithms for large integers are compared with respect to their performance in portable software: the classical algorithm, Barrett’s algorithm and Montgo...
Antoon Bosselaers, René Govaerts, Joos Vand...
ESSOS
2009
Springer
15 years 10 months ago
Pattern-Based Confidentiality-Preserving Refinement
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
Holger Schmidt
BIRTHDAY
1991
Springer
15 years 10 months ago
Modal Logic Should Say More Than It Does
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...
Melvin Fitting
APSEC
2005
IEEE
15 years 8 months ago
Using Dynamic Aspects for Delegating Fine-Grained Access Rights
This paper shows that a proper combination of instance-level aspects and dynamic deployment can be used to enhance an aspect-based access control system with dynamic and fine-grai...
Kung Chen