Sciweavers

30240 search results - page 738 / 6048
» Robust System Design
Sort
View
ESOP
2005
Springer
16 years 1 months ago
Programming with Explicit Security Policies
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
Andrew C. Myers
CASCON
2006
131views Education» more  CASCON 2006»
15 years 9 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
ICCAD
2004
IEEE
80views Hardware» more  ICCAD 2004»
16 years 4 months ago
Techniques for improving the accuracy of geometric-programming based analog circuit design optimization
We present techniques for improving the accuracy of geometric-programming (GP) based analog circuit design optimization. We describe major sources of discrepancies between the res...
Jintae Kim, Jaeseo Lee, Lieven Vandenberghe
ASSETS
2005
ACM
15 years 9 months ago
Research-derived web design guidelines for older people
This paper presents the development of a set of researchderived ageing-centred Web design guidelines. An initial set of guidelines was first developed through an extensive review ...
Sri Hastuti Kurniawan, Panayiotis Zaphiris
GRAPHICSINTERFACE
2007
15 years 9 months ago
A GPU based interactive modeling approach to designing fine level features
In this paper we propose a GPU based interactive geometric modeling approach to designing fine level features on subdivision surfaces. Displacement mapping is a technique for addi...
Xin Huang, Sheng Li, Guoping Wang