2740 search results - page 98 / 548 » Typing the Specialization Interface |
110
Voted
ADT
2005
15 years 20 days ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
CHI
2003
ACM
16 years 1 months ago
2003
ACM
There are currently two dominant interface types for searching and browsing large image collections: keywordbased search, and searching by overall similarity to sample images. We ...
103
Voted
CSCW
2006
ACM
15 years 6 months ago
2006
ACM
In this paper we describe a field trial designed to investigate the potential of remote, situated messaging within the home. Five households used our “HomeNote” device for app...
129
Voted
CMMR
2005
Springer
15 years 6 months ago
2005
Springer
The pureCMusic (pCM++) framework gives the possibility to write a piece of music in terms of an algorithmic-composition-based program -also controlled by data streaming from extern...
122
Voted
ENTCS
2007
15 years 21 days ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...