Sciweavers

4184 search results - page 348 / 837
» Names of Our Lives
Sort
View
SIGMOD
2005
ACM
165views Database» more  SIGMOD 2005»
16 years 7 months ago
Scheduling of scientific workflows in the ASKALON grid environment
Scheduling is a key concern for the execution of performancedriven Grid applications. In this paper we comparatively examine different existing approaches for scheduling of scient...
Marek Wieczorek, Radu Prodan, Thomas Fahringer
182
Voted
SIGMOD
2003
ACM
134views Database» more  SIGMOD 2003»
16 years 7 months ago
Location-based Spatial Queries
In this paper we propose an approach that enables mobile clients to determine the validity of previous queries based on their current locations. In order to make this possible, th...
Jun Zhang, Manli Zhu, Dimitris Papadias, Yufei Tao...
ICFP
2003
ACM
16 years 6 months ago
Verifying CPS transformations in Isabelle/HOL
We have verified several versions of the CPS transformation in Isabelle/HOL. In our verification we adopted first-order abstract syntax with variable names so that the formalizati...
Yasuhiko Minamide, Koji Okuma
PERCOM
2005
ACM
16 years 6 months ago
Hoarding Content in M-Learning Context
With the advances in mobile technologies is now possible to support learners and teachers activities on the move. We analyzed the functionalities that should be provided by a gene...
Anna Trifonova, Marco Ronchetti
PERCOM
2004
ACM
16 years 6 months ago
"Yoking-Proofs" for RFID Tags
RFID (Radio-Frequency Identification) tags are small, inexpensive microchips capable of transmitting unique identifiers wirelessly over a short distance. Thanks to their utility i...
Ari Juels