9370 search results - page 200 / 1874 » An Abstract Notion of Application |
188
click to vote
STOC
1998
ACM
15 years 10 months ago
1998
ACM
Abstract. Loosely speaking, an interactive proof is said to be zeroknowledge if the view of every “efficient” verifier can be “efficiently” simulated. An outstanding open ...
155
click to vote
ECMAST
1998
Springer
15 years 10 months ago
1998
Springer
We have de ned an execution architecture for playing back synchronized multimedia documents. We suppose that such documents i ed by means of several abstractions including hypertim...
162
click to vote
SEAAI
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper introduces conceptual designing within an F-B-S framework. It then goes on to describe a number of models of designing before introducing the notions of situat...
159
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
179
click to vote
MFCS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Kamperman and Walters proposed the notion of a simulation of one rewrite system by another one, whereby each term of the simulating rewrite system is related to a term in...