2610 search results - page 185 / 522 » Computational Probabilistic Non-interference |
105
Voted
ACSAC
2006
IEEE
15 years 8 months 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 ...
133
Voted
ICNP
2005
IEEE
15 years 8 months 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...
161
click to vote
CAV
2004
Springer
15 years 8 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...
VISUALIZATION
2002
IEEE
15 years 7 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...
105
Voted
ICMCS
1996
IEEE
15 years 6 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...