1011 search results - page 150 / 203 » Implementing Distributed Controllers for Systems with Priori... |
124
Voted
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
134
Voted
SAFECOMP
2005
Springer
15 years 8 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
102
click to vote
ISPAN
2005
IEEE
15 years 8 months ago
2005
IEEE
We propose an architecture for self-adjusting and self-healing atomic memory in highly dynamic systems exploiting peer-to-peer (p2p) techniques. Our approach, named SAM, brings to...
108
Voted
COMPSEC
2010
15 years 1 months ago
2010
Making backup is so cumbersome and expensive that individuals hardly ever backup their data and companies usually duplicate their data into a secondary server. This paper proposes...
206
Voted
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...