13489 search results - page 469 / 2698 » Operating System |
172
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
147
click to vote
CIDR
2009
15 years 8 months ago
2009
We introduce a world vision in which data is endowed with memory. In this data-centric systems paradigm, data items can be enabled to retain all or some of their previous values. ...
185
Voted
ICDCSW
2009
IEEE
16 years 2 months ago
2009
IEEE
When stricken by a catastrophic natural disaster, emergency rescue operation is very critical to many lives. Many people trapped in the disastrous areas under collapsed buildings ...
184
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
— When an iterative-decoding aided system is configured to operate at a near-capacity performance, an excessive complexity may be imposed by the iterative process. In this paper...
181
Voted
IC
2003
15 years 9 months ago
2003
We describe the design and features of our Grid Computing Environments Shell system, or GCEShell. We view computing Grids as providing essentially a globally scalable distributed ...