1268 search results - page 88 / 254 » Verifying distributed systems: the operational approach |
135
click to vote
JSS
2007
15 years 6 months ago
2007
This paper presents Worm-IT, a new intrusion-tolerant group communication system with a membership service and a view-synchronous atomic multicast primitive. The system is intrusi...
164
click to vote
ICDCS
2006
IEEE
16 years 7 days ago
2006
IEEE
Abstract— Distributed stream processing systems offer a highly scalable and dynamically configurable platform for time-critical applications ranging from real-time, exploratory ...
143
click to vote
APPT
2007
Springer
16 years 11 days ago
2007
Springer
The memory size limits the scalability of virtual machine systems. There have been some researches about sharing identical pages among guest systems to reduce memory usage. However...
159
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Time-sharing operating systems may delay application processing of incoming messages because other processes are scheduled when the messages arrive. In this paper, we present a sim...
151
click to vote
LISA
2001
15 years 7 months ago
2001
After installing an OS distribution, a computer is generally not yet properly adapted to go into production at the local site. Security policies must be implemented, local service...