1453 search results - page 5 / 291 » State and history in operating systems |
ICALP
2007
Springer
15 years 4 months ago
2007
Springer
Motivated by the challenging task of designing “secure” vote storage mechanisms, we study information storage mechanisms that operate in extremely hostile environments. In suc...
110
click to vote
SQJ
2008
14 years 10 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
129
click to vote
REPLICATION
2010
14 years 8 months ago
2010
In this chapter, we discuss a widely used fault-tolerant data replication model called virtual synchrony. The model responds to two kinds of needs. First, there is the practical qu...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
ICPP
2007
IEEE
15 years 4 months ago
2007
IEEE
Extension of battery lifetime has always been a major issue for mobile computing. While more and more data are involved in mobile computing, energy consumption caused by I/O opera...