6608 search results - page 1011 / 1322 » On the Completeness of Model Checking |
178
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Outage probabilities in wireless networks depend on various factors: the node distribution, the MAC scheme, and the models for path loss, fading and transmission success. In prior ...
200
click to vote
CVIU
2010
15 years 6 months ago
2010
We consider the problem of estimating the relative orientation of a number of individual photocells -or pixels- that hold fixed relative positions. The photocells measure the inte...
185
Voted
IAJIT
2008
15 years 6 months ago
2008
: Traffic shaping function becomes imperative for the new broadband services that are being deployed in order to avoid information loss, to provide the end users multiple traffic o...
175
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
E-commerce Web-servers often face overload conditions during which revenue-generating requests may be dropped or abandoned due to an increase in the browsing requests. In this pap...
159
click to vote
FGCS
2006
15 years 6 months ago
2006
This work introduces a method for instrumenting applications, producing execution traces, and visualizing multiple trace instances to identify performance features. The approach p...