1299 search results - page 165 / 260 » On the Correctness of Operating System Kernels |
196
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
126
click to vote
HPCC
2005
Springer
15 years 12 months ago
2005
Springer
A lot of sophisticated techniques and platforms have been proposed to build distributed object systems. Remote method invocation and explicit message passing on top of traditional...
130
click to vote
ICSE
2010
IEEE-ACM
15 years 10 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
157
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
Cloud security issues have recently gained traction in the research community, with much of the focus primarily concentrated on securing the operating systems and virtual machines...
178
click to vote
ICASSP
2008
IEEE
16 years 25 days ago
2008
IEEE
It is well-known that opportunistic transmission schemes are sumcapacity optimal, in the Shannon sense, for symmetric cellular networks with single-antenna transceivers. However, ...