1833 search results - page 73 / 367 » Mechanized Verification with Sharing |
99
Voted
JUCS
2010
14 years 7 months ago
2010
: One of the most important use-cases of Trusted Computing is Remote Attestation. It allows platforms to get a trustworthy proof of the loaded software and current configuration of...
ACMICEC
2007
ACM
15 years 4 months ago
2007
ACM
The Internet and file sharing technology (such as P2P network) significantly alleviate the content distribution cost. However, better digital content distribution also means that ...
114
Voted
WWW
2011
ACM
14 years 7 months ago
2011
ACM
There is a widespread intuitive sense that different kinds of information spread differently on-line, but it has been difficult to evaluate this question quantitatively since it ...
101
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
95
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
This research reports on the deferred system software model to inform semantic and contextual information sharing in Web applications. Contextual information sharing requires soft...