Sciweavers

14 search results - page 2 / 3
» sac 1999
Sort
View
SAC
1999
ACM
13 years 10 months ago
Environment-Mediated Mobile Computing
Hans-Werner Gellersen, Michael Beigl, Albrecht Sch...
IFL
1999
Springer
117views Formal Methods» more  IFL 1999»
13 years 10 months ago
On Code Generation for Multi-generator WITH-Loops in SAC
Abstract. Most array operations in Sac are specified in terms of so-called withloops, a Sac-specific form of array comprehension. Due to the map-like semantics of with-loops its ...
Clemens Grelck, Dietmar Kreye, Sven-Bodo Scholz
SAC
1999
ACM
13 years 10 months ago
The Remote Processing Framework for Portable Computer Power Saving
Alexey Rudenko, Peter L. Reiher, Gerald J. Popek, ...
SAC
1999
ACM
13 years 10 months ago
Transaction Processing in PRO-MOTION
To provide data consistency in the presence of failures and concurrency, database methods will continue to be important to the processing of shared information in a mobile computi...
Gary D. Walborn, Panos K. Chrysanthis