4897 search results - page 590 / 980 » Trust Modeling for Peer-to-Peer Based Computing Systems |
216
click to vote
HPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Today Graphics Processing Units (GPUs) are a largely underexploited resource on existing desktops and a possible costeffective enhancement to high-performance systems. To date, mo...
223
click to vote
WEBI
2004
Springer
16 years 5 days ago
2004
Springer
Business process describes a set of services that span enterprise boundaries and are provided by enterprises that see each other as partners. Web services is widely accepted and a...
212
click to vote
FECS
2006
15 years 8 months ago
2006
Program plagiarism is one of the most significant problems in Computer Science education. Most common plagiarism includes modifying comments, reordering statements, and changing v...
177
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
207
click to vote
TLCA
2007
Springer
16 years 28 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...