2940 search results - page 191 / 588 » Relational Parametricity and Control |
155
click to vote
ICN
2005
Springer
16 years 2 days ago
2005
Springer
In this paper, we propose an architecture to regulate the bandwidth usage of multimedia streams in networked virtual environments. In this architecture, intelligent proxies are pla...
133
click to vote
NIME
2005
Springer
16 years 1 days ago
2005
Springer
The breath pressure signal applied to wind music instruments is generally considered to be a slowly varying function of time. In a context of music control, this assumption implie...
157
click to vote
OTM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
179
click to vote
PARA
2004
Springer
15 years 12 months ago
2004
Springer
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
156
click to vote
ICLP
1993
Springer
15 years 10 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...