8446 search results - page 1303 / 1690 » A Process Compensation Language |
170
click to vote
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
141
click to vote
EGH
2005
Springer
15 years 10 months ago
2005
Springer
The growing application of user-defined programs within graphics processing units (GPUs) has transformed the fixed-function display pipeline into a largely programmable pipeline...
129
click to vote
GEOS
2005
Springer
15 years 10 months ago
2005
Springer
This paper analyses reported difficulties in spatial data retrieval from Internet portals, based on results from an empirical survey. The analysis reveals the problems which cause ...
139
click to vote
GPCE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
167
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...