12774 search results - page 2369 / 2555 » A Framework for Proof Systems |
185
click to vote
TMC
2011
15 years 1 months ago
2011
—The inherent channel characteristics of impulse-based UWB networks affect the MAC layer performance significantly. Most previous studies on evaluating MAC protocols are based o...
200
click to vote
TSP
2011
15 years 1 months ago
2011
Abstract—We introduce an extended family of continuous-domain stochastic models for sparse, piecewise-smooth signals. These are specified as solutions of stochastic differential...
270
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
The advent of Cloud computing platforms, and the growing pervasiveness of Multicore processor architectures have revealed the inadequateness of traditional programming models base...
231
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
Once information retrieval has located a document, and information extraction has provided its contents, how do we know whether we should actually believe it? Fact-finders are a ...
195
click to vote
ECEASST
2010
15 years 1 months ago
2010
Abstract: Recently, Free and Open Source Software (FOSS) has emerged as an alternative to Commercial-Off-The-Shelf (COTS) software. Now, FOSS is perceived as a viable long-term sol...