26602 search results - page 5226 / 5321 » A New Imaging Model |
138
click to vote
CSFW
2002
IEEE
15 years 5 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
94
Voted
ECBS
2002
IEEE
15 years 5 months ago
2002
IEEE
Network security has now become one of the most important aspects in computer systems and the Internet. Apart from strong encryption, there is no definite method of truly securing...
103
click to vote
IDEAS
2002
IEEE
15 years 5 months ago
2002
IEEE
A new quality of service (QoS) aware disk scheduling algorithm is presented. It is applicable in environments where data requests arrive with different QoS requirements such as re...
137
Voted
INFOCOM
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper develops simple cost models for provisioning content distribution networks that use the simple and highly scalable bandwidth skimming protocol for streaming. New insight...
91
Voted
INFOVIS
2002
IEEE
15 years 5 months ago
2002
IEEE
Visualization is a powerful way to facilitate data analysis, but it is crucial that visualization systems explicitly convey the presence, nature, and degree of uncertainty to user...