2024 search results - page 166 / 405 » A Logic Based Approach for Dynamic Access Control |
149
Voted
ICC
2007
IEEE
15 years 10 months 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...
133
Voted
APLAS
2006
ACM
15 years 9 months 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...
103
Voted
ISCC
2007
IEEE
15 years 10 months 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...
207
click to vote
IHI
2012
13 years 11 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...
136
Voted
WCNC
2010
IEEE
15 years 2 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) ...