2703 search results - page 128 / 541 » Working Class Hero |
161
click to vote
MFCS
2005
Springer
15 years 12 months ago
2005
Springer
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
176
click to vote
W2GIS
2005
Springer
15 years 12 months ago
2005
Springer
Location-based services (LBS) constitute an emerging application domain involving spatio-temporal databases. In this paper, i) we propose a classification of LBS, depending on whet...
164
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Mixed-parallelism, the combination of data- and taskparallelism, is a powerful way of increasing the scalability of entire classes of parallel applications on platforms c...
153
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
In this work we generalize the fundamental notion of recognizability from untimed to timed languages. The essence of our definition is the existence of a right-morphism from the m...
168
click to vote
ICESS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for desig...