Sciweavers

49 search results - page 3 / 10
» Early Concurrent Mobile Objects
Sort
View
ECOOP
2004
Springer
13 years 11 months ago
Increasing Concurrency in Databases Using Program Analysis
Programmers have come to expect better integration between databases and the programming languages they use. While this trend continues unabated, database concurrency scheduling ha...
Roman Vitenberg, Kristian Kvilekval, Ambuj K. Sing...
W2GIS
2004
Springer
13 years 11 months ago
A Progressive Reprocessing Transaction Model for Updating Spatial Data in Mobile Computing Environments
Mobile transactions for updating spatial data are long-lived transactions that update local copies of the mobile platforms on disconnection. Since a mobile transaction is physicall...
Donghyun Kim, Bonghee Hong
CONCUR
2004
Springer
13 years 11 months ago
An Extensional Spatial Logic for Mobile Processes
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual...
Daniel Hirschkoff
FDL
2004
IEEE
13 years 9 months ago
On Actors and Objects - OOP in System Level Design
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
Joachim K. Anlauf, Philipp A. Hartmann
GIS
2010
ACM
13 years 4 months ago
Querying the future of spatio-temporal objects
Since navigation systems and tracking devices are becoming ubiquitous in our daily life, the development of efficient methods for processing massive sets of mobile objects are of ...
Philip Schmiegelt, Bernhard Seeger