131 search results - page 20 / 27 » Model-Driven Design, Refinement and Transformation of Abstra... |
TLT
2008
13 years 7 months ago
2008
Abstract--Web-based video collaboration environments have transformative potentials for video-enhanced education and for videobased research studies. We first describe DIVER, a pla...
DAC
1997
ACM
13 years 11 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
MM
2004
ACM
14 years 25 days ago
2004
ACM
We present a design for recapitulating walks through Dublin's City Centre by characters in James Joyce's Ulysses. Our computationally supported walkers will avail themse...
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
POPL
1995
ACM
13 years 11 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...