12981 search results - page 2486 / 2597 » Model Checking and Abstraction |
128
click to vote
P2P
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--When a host discovers that it has a software vulnerability that is susceptible to an attack, the host needs to obtain and install a patch. Because centralized distributio...
111
click to vote
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--In this paper we study a broad class of semiMarkovian queues introduced by Sengupta. This class contains many classical queues such as the GI/M/1 queue, SM/MAP/1 queue an...
117
click to vote
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
We study Timed Branching Processes (TBPs), a natural extension of (multitype) Branching Processes (BPs) where each entity is equipped with a finite set of private continuous variab...
126
click to vote
SECON
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Today's mobile devices support many wireless technologies to achieve ubiquitous connectivity. Economic and energy constraints, however, drive the industry to impleme...
141
click to vote
VTC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--This paper analyzes the outage probability in cognitive radio networks, based on the Poisson point process model of node spatial distribution and the standard propagation...