1299 search results - page 153 / 260 » On the Correctness of Operating System Kernels |
179
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
155
click to vote
USENIX
2007
15 years 8 months ago
2007
Most computer defense systems crash the process that they protect as part of their response to an attack. Although recent research explores the feasibility of selfhealing to autom...
147
click to vote
USS
2008
15 years 8 months ago
2008
Contrary to popular assumption, DRAMs used in most modern computers retain their contents for several seconds after power is lost, even at room temperature and even if removed fro...
190
click to vote
USS
2010
15 years 4 months ago
2010
Current Electronic Toll Pricing (ETP) implementations rely on on-board units sending fine-grained location data to the service provider. We present , a privacy-preserving ETP syst...
137
click to vote
SRDS
2006
IEEE
16 years 14 days ago
2006
IEEE
In this work we consider a distributed system formed by a master processor and a collection of n processors (workers) that can execute tasks; worker processors are untrusted and m...