2468 search results - page 68 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
211
Voted
BIOCOMP
2010
15 years 1 months ago
2010
Abstract-- Modeling the intermolecular reactions in a single cell is a critical problem in computational biology. Biochemical reaction systems often involve species in both low and...
127
Voted
TSP
2008
15 years 3 months ago
2008
A cross-layered slotted ALOHA protocol is proposed and analyzed for distributed estimation in sensor networks. Suppose that the sensors in the network record local measurements of ...
121
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
136
click to vote
USS
2010
15 years 1 months ago
2010
Idle port scanning uses side-channel attacks to bounce scans off of a "zombie" host to stealthily scan a victim IP address and determine if a port is open or closed, or ...
128
Voted
ICPR
2000
IEEE
16 years 4 months ago
2000
IEEE
Speech can be represented as a time/frequency distribution of energy using a multi-band filter bank. A Markov random field model, which takes into account the possible time asynch...