1286 search results - page 85 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
141
click to vote
ENTCS
2008
15 years 3 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
126
click to vote
EUROCRYPT
2000
Springer
15 years 6 months ago
2000
Springer
We show that if any one-way function exists, then 3-round concurrent zero-knowledge arguments for all NP problems can be built in a model where a short auxiliary string with a pres...
142
click to vote
NGC
1998
Springer
15 years 2 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
130
click to vote
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
—Software license management allows independent software vendors (ISVs) to control the access of their products. It is a fundamental part of the ISVs’ business strategy. A wide...
112
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Storing data in distributed systems aims to offer higher bandwidth and scalability than storing locally. But, a couple of disadvantageous issues must be taken into account such as...