Sciweavers

4820 search results - page 433 / 964
» Implementing Signatures for C
Sort
View
IROS
2006
IEEE
120views Robotics» more  IROS 2006»
15 years 11 months ago
3D Pose Visual Servoing Relieves Parallel Robot Control from Joint Sensing
— In this paper, we show that visual feedback reduces the complexity of parallel robot Cartesian control. Namely, 3D pose visual servoing, where the end-effector pose is indirect...
Tej Dallej, Nicolas Andreff, Youcef Mezouar, Phili...
RTSS
2006
IEEE
15 years 11 months ago
Optimal Dimensioning of a Constant Bandwidth Server
The Constant Bandwidth Server (CBS) is an effective scheduling technique frequently used to handle overruns and implement resource reservation in real-time systems where tasks hav...
Giorgio C. Buttazzo, Enrico Bini
SUTC
2006
IEEE
15 years 11 months ago
The Computational Complexity of Enforceability Validation for Generic Access Control Rules
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
Vincent C. Hu, D. Richard Kuhn, David F. Ferraiolo
164
Voted
ACL2
2006
ACM
15 years 11 months ago
An embedding of the ACL2 logic in HOL
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
Michael J. C. Gordon, Warren A. Hunt Jr., Matt Kau...
HT
2006
ACM
15 years 11 months ago
The evolution of metadata from standards to semantics in E-learning applications
Metadata attempts to describe the content, format, purpose and structure of data. Over the past few years, the IEEE-LOM standard has dominated the metadata world in e-learning app...
Hend S. Al-Khalifa, Hugh C. Davis