4897 search results - page 663 / 980 » Trust Modeling for Peer-to-Peer Based Computing Systems |
178
click to vote
VMCAI
2005
Springer
16 years 5 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
169
click to vote
CAD
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes an approach to interoperability in design projects that is based on computational agents customizing the representation of product data to individual design to...
184
click to vote
STOC
1999
ACM
15 years 11 months ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...
191
click to vote
ICAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Creating good adaptation policies is critical to building complex autonomic systems since it is such policies that define the system configuration used in any given situation. W...
174
click to vote
EDO
2000
Springer
15 years 10 months ago
2000
Springer
: Middleware technologies such as CORBA and DCOM have been developed as a means of tackling heterogeneity and complexity problems inherent in distributed systems. However, more wor...