1123 search results - page 163 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
147
click to vote
LCTRTS
2010
Springer
15 years 11 months ago
2010
Springer
With increasingly more complex Multi-Processor Systems on Chip (MPSoC) and shortening time-to- market projections, Transaction Level Modeling and Platform Aware Design are seen as...
163
click to vote
ICNP
2007
IEEE
15 years 10 months ago
2007
IEEE
—We present a game-theoretic study on the power and rate control problem in IEEE 802.11 WLANs where network participants choose appropriate transmission power and data rate to ac...
117
click to vote
ICICS
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a policy-based framework for managing access control in distributed heterogeneous systems. This framework is based on the PDP/PEP approach. The PDP (Policy Deci...
121
click to vote
SIGMETRICS
2004
ACM
15 years 9 months ago
2004
ACM
Low priority data transfer across the wide area is useful in several contexts, for example for the dissemination of large files such as OS updates, content distribution or prefet...
139
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...