Sciweavers

964 search results - page 58 / 193
» Scenario-driven modeling and validation of requirements mode...
Sort
View
ICC
2007
IEEE
179views Communications» more  ICC 2007»
15 years 6 months ago
Finite Queuing Model Analysis for Energy and QoS Tradeoff in Contention-Based Wireless Sensor Networks
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...
Jun Luo, Ling-ge Jiang, Chen He
EUC
2005
Springer
15 years 5 months ago
On Tools for Modeling High-Performance Embedded Systems
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...
Anilkumar Nambiar, Vipin Chaudhary
FMCAD
2009
Springer
15 years 3 months ago
Industrial strength refinement checking
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...
Jesse D. Bingham, John Erickson, Gaurav Singh, Fle...
JCP
2006
116views more  JCP 2006»
14 years 11 months ago
Building a Virtual Hierarchy for Managing Trust Relationships in a Hybrid Architecture
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 ...
Cristina Satizábal, Rafael Páez, Jor...
MA
2010
Springer
143views Communications» more  MA 2010»
14 years 10 months ago
The pairwise beta distribution: A flexible parametric multivariate model for extremes
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 ï...
Daniel Cooley, Richard A. Davis, Philippe Naveau