4897 search results - page 173 / 980 » Trust Modeling for Peer-to-Peer Based Computing Systems |
164
click to vote
ASPDAC
2001
ACM
15 years 8 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
122
Voted
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Mobile agent systems provide new perspectives for distributed e-commerce applications. Sea-of-Data (SoD) applications are those that need to process huge quantities of distributed...
153
click to vote
DBSEC
2006
15 years 6 months ago
2006
We propose a notarized federated identity management model that supports efficient user authentication when providers are unknown to each other. Our model introduces a notary servi...
179
click to vote
PARA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...
126
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. Conventional performance environments are based on pro ling and event instrumentation. It becomes problematic as parallel systems scale to hundreds of nodes and beyond. A...