Sciweavers

491 search results - page 54 / 99
» Avoiding Determinization
Sort
View
AOSD
2004
ACM
15 years 4 months ago
Virtual machine support for dynamic join points
A widespread implementation approach for the join point mechanism of aspect-oriented languages is to instrument areas in code that match the static part of pointcut designators, i...
Christoph Bockisch, Michael Haupt, Mira Mezini, Kl...
59
Voted
CF
2004
ACM
15 years 4 months ago
The digital divide of computing
This presentation urges for creating more awareness of the impact of configware engineering onto embedded system development and examines the requirements of overdue CSE curricula...
Reiner W. Hartenstein
DAC
2004
ACM
15 years 4 months ago
Hierarchical approach to exact symbolic analysis of large analog circuits
—This paper proposes a novel approach to the exact symbolic analysis of very large analog circuits. The new method is based on determinant decision diagrams (DDDs) representing s...
Sheldon X.-D. Tan, Weikun Guo, Zhenyu Qi
WOSP
2004
ACM
15 years 4 months ago
Application performance on the Direct Access File System
The Direct Access File System (DAFS) is a distributed file system built on top of direct-access transports (DAT). Direct-access transports are characterized by using remote direct...
Alexandra Fedorova, Margo I. Seltzer, Kostas Magou...
ISW
2004
Springer
15 years 4 months ago
Model-Checking Access Control Policies
We present a model of access control which provides fine-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...
Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobben...