17082 search results - page 158 / 3417 » Abstractions for Mobile Computation |
EWSN
2008
Springer
14 years 8 months ago
2008
Springer
CSE
2009
IEEE
14 years 1 months ago
2009
IEEE
— The ubiquity of mobile devices has led to a rising demand for location-based services and applications. A major part of these services is based on the location-detection capabi...
PODC
1996
ACM
14 years 1 months ago
1996
ACM
95-53Klarlundetal.:AutomatedLogicalVerificationbasedonTraceAbstractions BRICSBasic Research in Computer Science Automated Logical Verification Trace Abstractions Nils Klarlund Moge...
CHI
2002
ACM
14 years 9 months ago
2002
ACM
We describe Social Net, a novel interest-matching application that uses patterns of collocation, over time, to infer shared interests between users. Social Net demonstrates new po...
SOFSEM
2009
Springer
14 years 6 months ago
2009
Springer
Storage Devices Robert K¨onig Ueli Maurer Stefano Tessaro SOFSEM 2009 January 27, 2009