Sciweavers

4498 search results - page 676 / 900
» How to Invent Functions
Sort
View
EMSOFT
2008
Springer
15 years 6 months ago
Interface theories with component reuse
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
Laurent Doyen, Thomas A. Henzinger, Barbara Jobstm...
ESA
2008
Springer
124views Algorithms» more  ESA 2008»
15 years 6 months ago
Collusion-Resistant Mechanisms with Verification Yielding Optimal Solutions
A truthful mechanism consists of an algorithm augmented with a suitable payment function which guarantees that the "players" cannot improve their utilities by "chea...
Paolo Penna, Carmine Ventre
ESTIMEDIA
2008
Springer
15 years 6 months ago
A stochastic approach for fine grain QoS control
We present a method for fine grain QoS control of multimedia applications. This method takes as input an application software composed of actions parameterized by quality levels. ...
Jacques Combaz, Loïc Strus
ETFA
2008
IEEE
15 years 6 months ago
Hardware acceleration for verifiable, adaptive real-time communication
Distributed real-time applications implement distributed applications with timeliness requirements. Such systems require a deterministic communication medium with bounded communic...
Sebastian Fischmeister, Insup Lee, Robert Trausmut...
EVOW
2008
Springer
15 years 6 months ago
Scaffolding for Interactively Evolving Novel Drum Tracks for Existing Songs
Abstract. A major challenge in computer-generated music is to produce music that sounds natural. This paper introduces NEAT Drummer, which takes steps toward natural creativity. NE...
Amy K. Hoover, Michael P. Rosario, Kenneth O. Stan...