302 search results - page 27 / 61 » An approach to synthesise safe systems |
95
Voted
CCS
2009
ACM
15 years 7 months ago
2009
ACM
Kernel rootkits have posed serious security threats due to their stealthy manner. To hide their presence and activities, many rootkits hijack control flows by modifying control d...
105
click to vote
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
89
Voted
ISCC
2008
IEEE
15 years 6 months ago
2008
IEEE
As disk drives become increasingly sophisticated and processing power increases, one of the most critical issues of designing modern disk systems is data reliability. Although num...
106
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
169
Voted
JCST
2010
14 years 7 months ago
2010
Abstract The significant overhead related to frequent location updates from moving objects often results in poor performance. As most of the location updates do not affect the quer...