Sciweavers

14 search results - page 2 / 3
» sac 1999
Sort
View
SAC
1999
ACM
13 years 8 months ago
Environment-Mediated Mobile Computing
Hans-Werner Gellersen, Michael Beigl, Albrecht Sch...
IFL
1999
Springer
117views Formal Methods» more  IFL 1999»
13 years 8 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 8 months ago
The Remote Processing Framework for Portable Computer Power Saving
Alexey Rudenko, Peter L. Reiher, Gerald J. Popek, ...
SAC
1999
ACM
13 years 8 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