5085 search results - page 839 / 1017 » Multidimensional Design by Examples |
146
click to vote
SAFECOMP
2010
Springer
15 years 4 months ago
2010
Springer
Unmanned Airborne Systems (UAS) offer significant benefits for long duration missions. They can also be used in situations where it is inappropriate to expose aircrew to increased ...
173
click to vote
SERA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract—With the growing complexity of software applications, there is an increasing demand for solutions to distribute workload into server pools. Grid Computing provides power...
180
click to vote
SIAMCO
2010
15 years 4 months ago
2010
Abstract. The problem of reliably transmitting a real-valued random vector through a digital noisy channel is relevant for the design of distributed estimation and control techniqu...
218
click to vote
SPRINGSIM
2010
15 years 4 months ago
2010
Concise and reliable graph-theoretic analysis of complex networks today is a cumbersome task, consisting essentially of the adaptation of intricate libraries for each specific pr...
158
click to vote
STTT
2010
15 years 4 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...