12487 search results - page 152 / 2498 » Graspable Work Modeling |
116
click to vote
SIGMETRICS
1998
ACM
15 years 7 months ago
1998
ACM
While much work has been devoted to the study of cache behavior during the execution of codes with regular access patterns, little attention has been paid to irregular codes. An i...
115
Voted
FMICS
2007
Springer
15 years 7 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
94
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The extensive research and development of micromechanical resonators is trying to allow the use of these devices for highly sensitive applications. Microcantilevers are some of th...
133
Voted
ENTCS
2008
15 years 3 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
125
Voted
IJNSEC
2007
15 years 3 months ago
2007
This paper presents a Criterion-Based Role-Based Access Control model in which secure permissions (SP), secure operations (SOp), secure objects (SOb), and secure users (SU) are in...