1268 search results - page 12 / 254 » Verifying distributed systems: the operational approach |
HCW
1999
IEEE
14 years 2 months ago
1999
IEEE
: Networks of Workstations (NOW) have become an attractive alternative platform for high performance computing. Due to the commodity nature of workstations and interconnects and du...
MOBISYS
2005
ACM
14 years 9 months ago
2005
ACM
In this paper, we describe the design and implementation of a distributed operating system for ad hoc networks. Our system simplifies the programming of ad hoc networks and extend...
NDSS
2009
IEEE
14 years 4 months ago
2009
IEEE
Host compromise is a serious computer security problem today. To better protect hosts, several Mandatory Access Control systems, such as Security Enhanced Linux (SELinux) and AppA...
TOCS
1998
13 years 9 months ago
1998
ile system abstractions, they all require either changes to the operating system or modifications to standard libraries. The article gives a detailed performance analysis of our ap...
EDOC
2003
IEEE
14 years 3 months ago
2003
IEEE