1604 search results - page 81 / 321 » Development Separation in Lambda-Calculus |
UIST
2000
ACM
14 years 2 months ago
2000
ACM
We present a new kind of marking menu that was developed for use with a pen device on display surfaces such as large, high resolution, wall-mounted displays. It integrates capabil...
ECOOP
1999
Springer
14 years 2 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...
WETICE
1999
IEEE
14 years 2 months ago
1999
IEEE
The prevailing architecture for web-based applications relies on HTML, HTTP and loosely integrated functional elements, propagating a strong distinction between client and server....
SACRYPT
1999
Springer
14 years 2 months ago
1999
Springer
We describe the design of Yarrow, a family of cryptographic pseudo-random number generators (PRNG). We describe the concept of a PRNG as a separate cryptographic primitive, and the...
ECOOPW
1998
Springer
14 years 2 months ago
1998
Springer
: This paper describes the development of a model for the reflective treatment of both application and environmentally sourced exceptions. We show how a variety of exception models...