20126 search results - page 3824 / 4026 » Timed Transition Systems |
196
Voted
REPLICATION
2010
15 years 1 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...
189
Voted
SEUS
2010
IEEE
15 years 1 months ago
2010
IEEE
NAND flash memory is one of the non-volatile memories and has been replacing hard disk in various storage markets from mobile devices, PC/Laptop computers, even to enterprise serv...
123
Voted
SYNTHESE
2010
15 years 1 months ago
2010
We argue that current discussions of criteria for actual causation are ill-posed in several respects. (1) The methodology of current discussions is by induction from intuitions ab...
116
click to vote
TMC
2010
15 years 1 months ago
2010
—We consider a wireless base station serving L users through L time-varying channels. It is well known that opportunistic scheduling algorithms with full channel state informatio...
155
click to vote
WCRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...