Sciweavers

948 search results - page 73 / 190
» Analysis of SITA policies
Sort
View
JSAC
2011
82views more  JSAC 2011»
14 years 9 months ago
Optimal Cognitive Access of Markovian Channels under Tight Collision Constraints
Abstract—The problem of cognitive access of channels of primary users by a secondary user is considered. The transmissions of primary users are modeled as independent continuous-...
Xin Li, Qianchuan Zhao, Xiaohong Guan, Lang Tong
ORL
2010
167views more  ORL 2010»
14 years 8 months ago
An embedded Markov chain approach to stock rationing
Rationing is an inventory policy that allows prioritization of demand classes. It enables the inventory system to provide higher service levels for critical demand classes. In thi...
Mehmet Murat Fadiloglu, Önder Bulut
SIGMETRICS
2010
ACM
139views Hardware» more  SIGMETRICS 2010»
15 years 6 months ago
On the flow-level dynamics of a packet-switched network
: The packet is the fundamental unit of transportation in modern communication networks such as the Internet. Physical layer scheduling decisions are made at the level of packets, ...
Ciamac Cyrus Moallemi, Devavrat Shah
ESSOS
2010
Springer
15 years 10 months ago
Experiences with PDG-Based IFC
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
Christian Hammer
RAID
2004
Springer
15 years 7 months ago
Formal Reasoning About Intrusion Detection Systems
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Ka...