15614 search results - page 145 / 3123 » The State of State |
147
Voted
SAINT
2003
IEEE
15 years 9 months ago
2003
IEEE
The secure operation of the routing protocol is one of the major challenges to be met for the proliferation of the Mobile Ad hoc Networking (MANET) paradigm. Nevertheless, securit...
108
click to vote
INFOCOM
2002
IEEE
15 years 8 months ago
2002
IEEE
We demonstrate how to apply Coupling from the Past, a simulation technique for exact sampling, to Markov chains based on TCP variants. This approach provides a new, statistically ...
123
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— This paper addresses the exact transformation of nonlinear systems into a multiple model form with unmeasurable premise variables. The multiple model structure serves to treat ...
137
Voted
GI
2009
Springer
15 years 8 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
141
Voted
IJCNN
2000
IEEE
15 years 8 months ago
2000
IEEE
In our recent work, a general method called the stable state analysis technique was developed to determine constraints that the weights in the Hopfield energy function must satisf...