1154 search results - page 102 / 231 » Making Self-organizing Systems Secure |
115
click to vote
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...
120
click to vote
CSFW
1998
IEEE
15 years 5 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
OOPSLA
1995
Springer
15 years 5 months ago
1995
Springer
eusable framework, pattern or module interface usually is represented by abstract They form an abstract design and leave the implementation to concrete subclasses. ract design is ...
131
click to vote
MOBIHOC
2012
ACM
13 years 4 months ago
2012
ACM
Dynamic spectrum access is a maturing technology that allows next generation wireless devices to make highly efficient use of wireless spectrum. Spectrum can be allocated on an o...
164
click to vote
VEE
2012
ACM
13 years 9 months ago
2012
ACM
OS-level virtualization generates a minimal start-up and run-time overhead on the host OS and thus suits applications that require both good isolation and high efficiency. However...