4897 search results - page 212 / 980 » Trust Modeling for Peer-to-Peer Based Computing Systems |
178
click to vote
FPGA
1999
ACM
15 years 10 months ago
1999
ACM
Multi-FPGA systems are used as custom computing machines to solve compute intensive problems and also in the verification and prototyping of large circuits. In this paper, we addr...
181
click to vote
CSFW
2006
IEEE
16 years 14 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
174
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
: Security of computers and the networks that connect them is increasingly becoming of great significance. Computer security is defined as the protection of computing systems again...
176
click to vote
PRIMA
2007
Springer
16 years 16 days ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
204
click to vote
DSN
2000
IEEE
15 years 10 months ago
2000
IEEE
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...