Sciweavers

4897 search results - page 56 / 980
» Trust Modeling for Peer-to-Peer Based Computing Systems
Sort
View
WISEC
2010
ACM
14 years 4 months ago
On the tradeoff between trust and privacy in wireless ad hoc networks
As privacy moves to the center of attention in networked systems, and the need for trust remains a necessity, an important question arises: How do we reconcile the two seemingly c...
Maxim Raya, Reza Shokri, Jean-Pierre Hubaux
IUI
1999
ACM
14 years 1 months ago
Towards a General Computational Framework for Model-Based Interface Development Systems
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
Angel R. Puerta, Jacob Eisenstein
CCS
2004
ACM
14 years 2 months ago
Lessons learned using alloy to formally specify MLS-PCA trusted security architecture
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
Brant Hashii
JUCS
2000
102views more  JUCS 2000»
13 years 9 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
ICCSA
2003
Springer
14 years 2 months ago
Camera Models and Optical Systems Used in Computer Graphics: Part II, Image-Based Techniques
Abstract. In our companion paper [5], we described the optics underlying camera models that have been used in computer graphics, and presented object space techniques for rendering...
Brian A. Barsky, Daniel R. Horn, Stanley A. Klein,...