Sciweavers

1240 search results - page 165 / 248
» Trusted Design in FPGAs
Sort
View
ASIAN
2005
Springer
103views Algorithms» more  ASIAN 2005»
16 years 1 days ago
Implementing a Tamper-Evident Database System
Abstract. Data integrity is an assurance that data has not been modified in an unknown or unauthorized manner. The goal of this paper is to allow a user to leverage a small amount...
Gerome Miklau, Dan Suciu
PREMI
2005
Springer
15 years 12 months ago
Semantic Web Research Trends and Directions
The Semantic Web is not a single technology, but rather a collection of technologies designed to work together. As a result, research on the Semantic Web intends both to advance in...
Jennifer Golbeck, Bernardo Cuenca Grau, Christian ...
IPTPS
2004
Springer
15 years 12 months ago
2 P2P or Not 2 P2P?
In the hope of stimulating discussion, we present a heuristic decision tree that designers can use to judge how suitable a P2P solution might be for a particular problem. It is bas...
Mema Roussopoulos, Mary Baker, David S. H. Rosenth...
CHI
2003
ACM
15 years 11 months ago
Prominence-interpretation theory: explaining how people assess credibility online
Four years of research has led to a theory that describes how people assess the credibility of Web sites. This theory proposes that users notice and interpret various Web site ele...
B. J. Fogg
FMCO
2007
Springer
124views Formal Methods» more  FMCO 2007»
15 years 10 months ago
Certification Using the Mobius Base Logic
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
Lennart Beringer, Martin Hofmann, Mariela Pavlova