4543 search results - page 799 / 909 » Interactive Distributed Configuration |
121
click to vote
ECCC
2000
15 years 2 months ago
2000
Abstract. We present the first complete problem for SZK, the class of promise problems possessing statistical zero-knowledge proofs (against an honest verifier). The problem, calle...
ETS
2000
IEEE
15 years 2 months ago
2000
IEEE
Internet enabled hybrid audio-data collaboration delivers high quality audio over telephone lines and data interaction over packet switched Internet connections, thus distributing...
146
Voted
CUZA
2002
15 years 2 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
112
click to vote
FUIN
2000
15 years 2 months ago
2000
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
117
click to vote
ENTCS
2002
15 years 2 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...