964 search results - page 58 / 193 » Scenario-driven modeling and validation of requirements mode... |
176
click to vote
ICC
2007
IEEE
16 years 4 days ago
2007
IEEE
In contention-based sensor networks, nodes compete to access a shared channel for data transmission and collision is a common challenge. For power conservation, periodical active/s...
168
click to vote
EUC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Most of the new embedded systems require high performance processors at low power. To cater to these needs, most semiconductor companies are designing multi-core processo...
156
click to vote
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
172
click to vote
JCP
2006
15 years 5 months ago
2006
Trust models provide a framework to create and manage trust relationships among the different entities of a Public Key Infrastructure (PKI). These trust relationships are verified ...
142
click to vote
MA
2010
Springer
15 years 4 months ago
2010
Springer
We present a new parametric model for the angular measure of a multivariate extreme value distribution. Unlike many parametric models that are limited to the bivariate case, the ï...