3389 search results - page 228 / 678 » Real-Time and Fault-Tolerant Systems |
163
click to vote
CLIMA
2004
15 years 8 months ago
2004
We present TCTLKD, a logic for knowledge, correctness and real time. TCTLKD is interpreted on real time deontic interpreted systems, and extension to continuous time of deontic int...
189
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
A fault-scalable service can be configured to tolerate increasing numbers of faults without significant decreases in performance. The Query/Update (Q/U) protocol is a new tool t...
273
click to vote
HOTDEP
2008
15 years 9 months ago
2008
Storage accounts for a significant amount of a data center's ever increasing power budget. As a consequence, energy consumption has joined performance and reliability as a do...
174
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper builds on ideas in a recent paper which argued that the core subject matter of the IS field should not be “the IT artifact” (as suggested by Orlikowski and Iacono [...
168
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
EMERALDS (Extensible Microkernel for Embedded, ReALtime, Distributed Systems) is a real-time microkernel designed for small-memory embedded applications. These applications must r...