7508 search results - page 1207 / 1502 » A new approach for distributed computing in avionics systems |
146
click to vote
DSN
2003
IEEE
16 years 20 hour ago
2003
IEEE
Systems that are formed by massively distributed mobile resources, such as satellite constellations, often provide mission-critical functions. However, many existing quality-of-se...
188
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
: Large traffic network systems require handling huge amounts of data, often distributed over a large geographical region in space and time. Centralised processing is not then the ...
235
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
The growing interest in ad hoc wireless network applications that are made of large and dense populations of lightweight system resources calls for scalable approaches to fault to...
200
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
191
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...