2610 search results - page 185 / 522 » Computational Probabilistic Non-interference |
144
click to vote
ACSAC
2006
IEEE
16 years 15 days ago
2006
IEEE
Sensor networks are deployed to monitor the physical environment in public and vulnerable locations. It is not economically viable to house sensors in tamper-resilient enclosures ...
176
click to vote
ICNP
2005
IEEE
16 years 17 hour ago
2005
IEEE
In pricing-based congestion control protocols it is common to assume that the rate of congestion feedback from the network is limited to a single bit per packet. To obtain a preci...
226
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
154
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
Efficient and informative visualization of surfaces with uncertainties is an important topic with many applications in science and engineering. Examples include environmental pol...
156
click to vote
ICMCS
1996
IEEE
15 years 10 months ago
1996
IEEE
Existing models for serving continuous streams from disks are generally based on worst-case deterministic head displacement times and on a round-robin strand service approach cons...