15421 search results - page 222 / 3085 » Dependability |
151
click to vote
LCTRTS
2004
Springer
15 years 11 months ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
178
Voted
PADL
2004
Springer
15 years 11 months ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
151
click to vote
QOFIS
2004
Springer
15 years 11 months ago
2004
Springer
Multihoming is currently widely adopted to provide fault tolerance and traffic engineering capabilities. It is expected that, as telecommunication costs decrease, its adoption will...
140
click to vote
DFT
2003
IEEE
15 years 11 months ago
2003
IEEE
1 Today many safety-critical applications are based on distributed systems where several computing nodes exchange information via suitable network interconnections. An example of t...
153
click to vote
ISORC
2003
IEEE
15 years 11 months ago
2003
IEEE
sents some concluding remarks and discusses future work. This paper considers the problem of integrating commercial off-the-shelf (COTS) software components into systems with high ...