13489 search results - page 686 / 2698 » Operating System |
246
click to vote
CBSE
2011
Springer
14 years 7 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
192
click to vote
SIGMETRICS
2006
ACM
16 years 1 months ago
2006
ACM
This paper makes two main contributions. First, it introduces Diverted Accesses, a technique that leverages the redundancy in storage systems to conserve disk energy. Second, it e...
162
click to vote
PAMI
2008
15 years 7 months ago
2008
In this paper, we develop a spatially-variant (SV) mathematical morphology theory for gray-level signals and images in the euclidean space. The proposed theory preserves the geomet...
174
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Total Order Broadcast protocols are important tools to ensure coherence across distributed systems. Contrarily to classical distributed systems, pervasive systems bring important ...
200
click to vote
FM
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...