102291 search results - page 19658 / 20459 » Computing |
238
click to vote
SP
2005
IEEE
16 years 25 days ago
2005
IEEE
In this paper, we propose BIND (Binding Instructions aNd Data),1 a fine-grained attestation service for securing distributed systems. Code attestation has recently received consi...
206
click to vote
SSDBM
2005
IEEE
16 years 25 days ago
2005
IEEE
As with many large organizations, the Government's data is split in many different ways and is collected at different times by different people. The resulting massive data he...
201
click to vote
TPHOL
2005
IEEE
16 years 25 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
187
click to vote
TRIDENTCOM
2005
IEEE
16 years 25 days ago
2005
IEEE
— Recent advances in networking include new bandwidth-intensive applications, sophisticated protocols that enable real-time data and multimedia delivery and aspects of network se...
167
click to vote
TRIDENTCOM
2005
IEEE
16 years 25 days ago
2005
IEEE
Today’s Internet backbone networking devices need to be tested under realistic traffic conditions at transmission rates of OC-48 and above. While commercially available synthet...