24554 search results - page 114 / 4911 » Dependable distributed systems |
128
click to vote
EUC
2005
Springer
15 years 10 months ago
2005
Springer
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...
125
click to vote
EDCC
2006
Springer
15 years 8 months ago
2006
Springer
It has been well established that most operating system crashes are due to bugs in device drivers. Because drivers are normally linked into the kernel address space, a buggy drive...
142
click to vote
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
145
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Process-aware information systems should enable the flexible alignment of business processes to new requirements by supporting deviations from the predefined process mode...
125
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...