Sciweavers

964 search results - page 107 / 193
» Scenario-driven modeling and validation of requirements mode...
Sort
View
PEWASUN
2007
ACM
13 years 11 months ago
Worst-case lifetime computation of a wireless sensor network by model-checking
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...
Laurent Mounier, Ludovic Samper, Wassim Znaidi
AAAI
2006
13 years 11 months ago
Using an Ontology for Knowledge Acquisition
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
Stacy Lovell, Webb Stacy
CN
2007
132views more  CN 2007»
13 years 10 months ago
FluNet: A hybrid internet simulator for fast queue regimes
Motivated by the scale and complexity of simulating large-scale networks, recent research has focused on hybrid fluid/packet simulators, where fluid models are combined with pac...
Yung Yi, Sanjay Shakkottai
ET
2007
101views more  ET 2007»
13 years 10 months ago
Towards Nanoelectronics Processor Architectures
In this paper, we focus on reliability, one of the most fundamental and important challenges, in the nanoelectronics environment. For a processor architecture based on the unreliab...
Wenjing Rao, Alex Orailoglu, Ramesh Karri
TMI
2010
112views more  TMI 2010»
13 years 8 months ago
Regularized Interpolation for Noisy Images
Abstract—Interpolation is the means by which a continuouslydefined model is fit to discrete data samples. When the data samples are exempt of noise, it seems desirable to build...
Sathish Ramani, Philippe Thévenaz, Michael ...