964 search results - page 58 / 193 » Scenario-driven modeling and validation of requirements mode... |
ICC
2007
IEEE
14 years 3 months 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...
EUC
2005
Springer
14 years 2 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...
FMCAD
2009
Springer
14 years 27 days 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...
JCP
2006
13 years 9 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 ...
MA
2010
Springer
13 years 7 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 ï...