5630 search results - page 96 / 1126 » Computability in Specification |
115
click to vote
NIME
2001
Springer
15 years 8 months ago
2001
Springer
This paper will present observations on the design, artistic, and human factors of creating digital music controllers. Specific projects will be presented, and a set of design pri...
143
click to vote
IWPC
1999
IEEE
15 years 8 months ago
1999
IEEE
Automatic program comprehension is particularly useful when applied to sparse matrix codes, since it allows to abstract e.g. from specific sparse matrix storage formats used in th...
188
Voted
WOSP
1998
ACM
15 years 8 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
177
Voted
FMLDO
2000
Springer
15 years 7 months ago
2000
Springer
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
123
click to vote
WOWMOM
2005
ACM
15 years 9 months ago
2005
ACM
This paper proposes an intuitive configuration tool for autonomic pervasive computing systems. Specifically the paper presents a system for the inference of user task intentions f...