2335 search results - page 38 / 467 » Securing Distributed Systems with Information Flow Control |
128
Voted
IEEEARES
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Following Mark Weiser’s vision of ubiquitous computing and calm technology, computer systems should run in the background, preferably without the user noticing it at ...
137
click to vote
CONTEXT
2003
Springer
15 years 7 months ago
2003
Springer
In conventional security systems, protected resources such as documents, hardware devices and software applications follow an On/Off access policy. On, allows to grant access and ...
115
Voted
SC
1990
ACM
15 years 6 months ago
1990
ACM
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
125
click to vote
CSL
2005
Springer
15 years 8 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...