4604 search results - page 288 / 921 » Analysis of Negotiation Dynamics |
199
Voted
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, we present an analytical model as well as a practical mechanism to detect denial of service (DoS) attacks on secondary users in dynamic spectrum access (DSA) net...
148
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
—we investigated whether flapping flight has an inherent stability by analyzing the inertial and aerodynamic effects of flapping wings on body dynamics. Based on wing and body ki...
170
click to vote
AIMS
2009
Springer
16 years 1 months ago
2009
Springer
The analysis of network traces often requires to find the spots where something interesting happens. Since traces are usually very large data-sets, it is often not easy and time i...
175
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
181
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...