2740 search results - page 181 / 548 » Typing the Specialization Interface |
133
Voted
ER
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we present an original approach for personalizing complex Web applications, in particular e-commerce applications. This approach is based on a clear separation of con...
135
Voted
FASE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
129
Voted
ACMIDC
2009
15 years 7 months ago
2009
This paper presents Tangible Tracking Table, an interactive tabletop display, and Optical Chess, a strategy game. We discuss the design and implementation of both systems and repo...
156
click to vote
FGR
2004
IEEE
15 years 7 months ago
2004
IEEE
We present an algorithm for the real-time detection and interpretation of pointing gestures, performed with one or both arms. The pointing gestures are used as an intuitive tracki...
119
click to vote
ERCIMDL
2000
Springer
15 years 7 months ago
2000
Springer
An Archival Repository reliably stores digital objects for long periods of time (decades or centuries). The archival nature of the system requires new techniques for storing, inde...