736 search results - page 119 / 148 » Moving Specification Structures Between Logical Systems |
125
Voted
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
119
click to vote
MICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
We present and evaluate the idea of adaptive processor cache management. Specifically, we describe a novel and general scheme by which we can combine any two cache management alg...
157
Voted
BTW
2007
Springer
15 years 8 months ago
2007
Springer
Abstract: We propose a new system that is able to handle the entire Personal Dataspace of a user. A Personal Dataspace includes all data pertaining to a user on all his disks and o...
132
Voted
CACM
2010
15 years 2 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
97
Voted
SOFTWARE
2002
15 years 2 months ago
2002
is the level of abstraction: a logical model ignores the constraints that the underlying database technology imposes and presents a simplified view. Sometimes physical database des...