6581 search results - page 1174 / 1317 » Formalizing Design Patterns |
142
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
We propose a formal experimental paradigm designed to help evaluate scrolling interaction techniques. Such a method is needed by interaction designers to quantify scrolling perfor...
274
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
301
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
260
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
For Web applications in which the database component is the bottleneck, scalability can be provided by a third-party Database Scalability Service Provider (DSSP) that caches appli...
168
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...