2253 search results - page 401 / 451 » An Approach to Specifying Software Frameworks |
126
Voted
PLDI
1998
ACM
15 years 8 months ago
1998
ACM
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...
139
Voted
SIGCOMM
1996
ACM
15 years 7 months ago
1996
ACM
State of the art, real-time, rate-adaptive, multimedia applications adjust their transmission rate to match the available network capacity. Unfortunately, this source-based rate-a...
126
Voted
COST
1994
Springer
15 years 7 months ago
1994
Springer
Existing and upcoming distributed multimedia applications require highly diverse services to satisfy their communication needs. Service integrated communication systems should be c...
146
Voted
CLEANDB
2006
ACM
15 years 5 months ago
2006
ACM
An important reality when integrating scientific data is the fact that data may often be "missing", partially specified, or conflicting. Therefore, in this paper, we pre...
137
Voted
AAAI
2000
15 years 5 months ago
2000
Recent work has demonstrated that treating resource reasoning separately from causal reasoning can lead to improved planning performance and rational resource management where inc...