Sciweavers

1488 search results - page 56 / 298
» Experimental Assessment of Parallel Systems
Sort
View
CONCUR
2001
Springer
14 years 2 months ago
Reasoning about Security in Mobile Ambients
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
CONCUR
2010
Springer
13 years 11 months ago
A Linear Account of Session Types in the Pi Calculus
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...
Marco Giunti, Vasco T. Vasconcelos
CCGRID
2005
IEEE
14 years 23 hour ago
OpenMosix, OpenSSI and Kerrighed: a comparative study
This paper presents a comparative study of Kerrighed, openMosix and OpenSSI, three Single System Image (SSI) operating systems for clusters. This experimental study gives an overv...
Renaud Lottiaux, Pascal Gallard, Geoffroy Vall&eac...
ICPP
1996
IEEE
14 years 2 months ago
MpPVM: A Software System for Non-Dedicated Heterogeneous Computing
This paper presents the design and preliminary implementation of MpPVM, a software system that supports process migration for PVM application programs in a non-dedicated heterogen...
Kasidit Chanchio, Xian-He Sun
NCA
2008
IEEE
14 years 4 months ago
Finite Memory: A Vulnerability of Intrusion-Tolerant Systems
In environments like the Internet, faults follow unusual patterns, dictated by the combination of malicious attacks with accidental faults such as long communication delays caused...
Giuliana Santos Veronese, Miguel Correia, Lau Cheu...