2703 search results - page 128 / 541 » Working Class Hero |
MFCS
2005
Springer
14 years 3 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...
W2GIS
2005
Springer
14 years 3 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...
EUROPAR
2004
Springer
14 years 3 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...
FOSSACS
2004
Springer
14 years 3 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...
ICESS
2004
Springer
14 years 3 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...