4897 search results - page 134 / 980 » Trust Modeling for Peer-to-Peer Based Computing Systems |
140
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
143
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
131
click to vote
COORDINATION
2007
Springer
15 years 10 months ago
2007
Springer
Recent advances in middleware technologies propose semantics-aware tuplespaces as an instrument for coping with the requirements of scalability, heterogeneity and dynamism arising ...
141
click to vote
POLICY
2007
Springer
15 years 10 months ago
2007
Springer
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
137
click to vote
IJISEC
2006
15 years 4 months ago
2006
Abstract Privacy has become a factor of increasing importance in auction design. We propose general techniques for cryptographic first-price and (M + 1)st-price auction protocols t...