12981 search results - page 2171 / 2597 » Model Checking (Abstract) |
171
click to vote
DC
2008
15 years 6 months ago
2008
Fast algorithms are presented for performing computations in a probabilistic population model. This is a variant of the standard population protocol model--in which finite-state ag...
159
click to vote
CN
2006
15 years 6 months ago
2006
Performance evaluation of computer networks through traditional packet-level simulation is becoming increasingly difficult as networks grow in size along different dimensions. Due...
154
Voted
IJDSN
2006
15 years 6 months ago
2006
Abstract-- We present a novel formulation of the problem of energy misbehavior and develop an analytical framework for quantifying its impact on other nodes. Specifically, we formu...
187
click to vote
JSAC
2008
15 years 6 months ago
2008
Abstract--The concept of cognitive radio (or secondary spectrum access) is currently under investigation as a promising paradigm to achieve efficient use of the frequency resource ...
162
click to vote
SIAMSC
2008
15 years 6 months ago
2008
Abstract. Most technologically useful materials possess polycrystalline microstructures composed of a large number of small monocrystalline grains separated by grain boundaries. Th...