17082 search results - page 158 / 3417 » Abstractions for Mobile Computation |
123
Voted
EWSN
2008
Springer
16 years 3 months ago
2008
Springer
116
Voted
CSE
2009
IEEE
15 years 8 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...
110
Voted
PODC
1996
ACM
15 years 7 months ago
1996
ACM
95-53Klarlundetal.:AutomatedLogicalVerificationbasedonTraceAbstractions BRICSBasic Research in Computer Science Automated Logical Verification Trace Abstractions Nils Klarlund Moge...
110
Voted
CHI
2002
ACM
16 years 4 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...
73
Voted
SOFSEM
2009
Springer
16 years 17 days ago
2009
Springer
Storage Devices Robert K¨onig Ueli Maurer Stefano Tessaro SOFSEM 2009 January 27, 2009