22114 search results - page 4345 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
177
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The common utilization-based definition of available bandwidth and many of the existing tools to estimate it suffer from several important weaknesses: i) most tools report a point...
154
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
198
click to vote
ISBRA
2010
Springer
15 years 3 months ago
2010
Springer
The random accumulation of variations in the human genome over time implicitly encodes a history of how human populations have arisen, dispersed, and intermixed since we emerged as...
185
click to vote
PDP
2010
IEEE
15 years 3 months ago
2010
IEEE
—In the virtual execution environment, dynamic computing resource adjustment technique, configuring the computing resource of virtual machines automatically according to the actu...
176
click to vote
TROB
2010
15 years 3 months ago
2010
—Robotic systems need to be able to plan control actions that are robust to the inherent uncertainty in the real world. This uncertainty arises due to uncertain state estimation,...