11066 search results - page 1773 / 2214 » Linearity in Process Languages |
175
click to vote
GEOS
2005
Springer
16 years 10 days 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 ...
179
Voted
GPCE
2005
Springer
16 years 10 days 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...
215
click to vote
ICALP
2005
Springer
16 years 10 days 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...
184
Voted
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
167
click to vote
ICESS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...