1665 search results - page 204 / 333 » Monitoring Timing Constraints in Distributed Real-Time Syste... |
132
click to vote
CSCLP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
124
click to vote
PODC
2009
ACM
16 years 4 months ago
2009
ACM
d Abstract] Christoph Lenzen Computer Engineering and Networks Laboratory (TIK) ETH Zurich, 8092 Zurich, Switzerland lenzen@tik.ee.ethz.ch Thomas Locher Computer Engineering and N...
135
click to vote
USS
2008
15 years 6 months ago
2008
Commercial electronic voting systems have experienced many high-profile software, hardware, and usability failures in real elections. While it is tempting to abandon electronic vo...
110
Voted
RTSS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose to implement hybrid operating systems based on two-level hardware interrupts. To separate real-time and non-real-time hardware interrupts by hardware, we...
117
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
— Defensive islanding is an efficient way to avoid catastrophic failures and wide area blackouts. Power system splitting especially for large scale power systems is a combinatori...