Sciweavers

2875 search results - page 487 / 575
» Using separation of concerns for embedded systems design
Sort
View
CASCON
2006
131views Education» more  CASCON 2006»
14 years 11 months ago
STAC: software tuning panels for autonomic control
One aspect of autonomic computing is the ability to identify, separate and automatically tune parameters related to performance, security, robustness and other properties of a sof...
Elizabeth Dancy, James R. Cordy
MMMACNS
2005
Springer
15 years 3 months ago
A Modal Logic for Role-Based Access Control
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
Thumrongsak Kosiyatrakul, Susan Older, Shiu-Kai Ch...
HICSS
2003
IEEE
138views Biometrics» more  HICSS 2003»
15 years 3 months ago
Towards Verifying Parametrised Hardware Libraries with Relative Placement Information
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
Steve McKeever, Wayne Luk, Arran Derbyshire
IROS
2006
IEEE
247views Robotics» more  IROS 2006»
15 years 3 months ago
Towards Open-Ended 3D Rotation and Shift Invariant Object Detection for Robot Companions
- Robot companions need to be able to constantly acquire knowledge about new objects for instance in order to detect them in the environment. This ability is necessary since it is ...
Jens Kubacki, Winfried Baum
VISUALIZATION
2005
IEEE
15 years 3 months ago
General Purpose Computation on Graphics Hardware
The rapid increase in the performance of graphics hardware, coupled with recent improvements in its programmability, have made graphics hardware a compelling platform for computat...
Aaron E. Lefohn, Ian Buck, Patrick S. McCormick, J...