2024 search results - page 166 / 405 » A Logic Based Approach for Dynamic Access Control |
184
click to vote
ICC
2007
IEEE
16 years 21 days ago
2007
IEEE
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...
168
click to vote
APLAS
2006
ACM
16 years 10 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
137
click to vote
ISCC
2007
IEEE
16 years 20 days ago
2007
IEEE
Bluetooth’s default ARQ scheme is not well suited to real-time video streaming, resulting in missed display and decode deadlines. Therefore, adaptive ARQ combined with a deadline...
264
click to vote
IHI
2012
14 years 1 months ago
2012
Regulations and policies regarding Electronic Health Information (EHI) are increasingly complex. Federal and State policy makers have called for both education to increase stakeho...
173
click to vote
WCNC
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this paper, we present an interference model for cognitive radio (CR) networks employing power control or contention control scheme. The probability density functions (PDFs) ...