2137 search results - page 94 / 428 » Proving Abstract Non-interference |
107
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract--This paper is concerned with the concept of equilibrium and quality of service (QoS) provisioning in self-configuring wireless networks with non-cooperative radio devices...
119
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We develop an abstract model of information acquisition from redundant data. We assume a random sampling process from data which contain information with bias and are interested in...
263
Voted
ADHOC
2011
14 years 9 months ago
2011
One of the intrinsic problems of mobility in wireless networks is the discovery of mobile nodes. A widely used solution for this problem is to use different variations of beacons, ...
162
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract--Based on the false assumption that multicast incapable (MI) nodes could not be traversed twice on the same wavelength, the light-tree structure was always thought to be o...
140
click to vote
MOC
2011
14 years 9 months ago
2011
Abstract. In this paper, we analyze a hybridizable discontinuous Galerkin method for numerically solving the Stokes equations. The method uses polynomials of degree k for all the c...