Sciweavers

13913 search results - page 2525 / 2783
» models 2007
Sort
View
CONEXT
2007
ACM
15 years 8 months ago
Practical service provisioning for wireless meshes
Community wireless mesh networks (WMNs) are increasingly being deployed for providing cheap, low maintenance Internet access. For the successful adoption of WMNs as a last-mile te...
Saumitra M. Das, Dimitrios Koutsonikolas, Y. Charl...
CVPR
2007
IEEE
15 years 8 months ago
On the Performance Prediction and Validation for Multisensor Fusion
Multiple sensors are commonly fused to improve the detection and recognition performance of computer vision and pattern recognition systems. The traditional approach to determine ...
Rong Wang, Bir Bhanu
DAC
2007
ACM
15 years 8 months ago
A Framework for the Validation of Processor Architecture Compliance
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jae...
DNIS
2007
Springer
132views Database» more  DNIS 2007»
15 years 8 months ago
LEASE: An Economic Approach to Leasing Data Items in Mobile-P2P Networks to Improve Data Availability
Abstract. This work proposes LEASE, a novel Mobile-P2P lease-based economic incentive model, in which data requestors need to pay the price (in virtual currency) of their requested...
Anirban Mondal, Sanjay Kumar Madria, Masaru Kitsur...
DSN
2007
IEEE
15 years 8 months ago
Automatic Verification and Discovery of Byzantine Consensus Protocols
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
Piotr Zielinski
« Prev « First page 2525 / 2783 Last » Next »