6555 search results - page 1252 / 1311 » Secure attribute-based systems |
MOBISYS
2009
ACM
14 years 10 months ago
2009
ACM
Loaded with personal data, e.g. photos, contacts, and call history, mobile phones are truly personal devices. Yet it is often necessary or desirable to share our phones with other...
POPL
2004
ACM
14 years 10 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
SIGMOD
2009
ACM
14 years 10 months ago
2009
ACM
Cell phones are increasingly being used as common clients for a wide suite of distributed, database-centric healthcare applications in developing regions. This is particularly tru...
MOBISYS
2008
ACM
14 years 9 months ago
2008
ACM
It is now common for Web sites to use active Web content, such as Flash, Silverlight, or Java applets, to support rich, interactive applications. For many mobile devices, however,...
MOBISYS
2007
ACM
14 years 9 months ago
2007
ACM
Mobile devices are increasingly equipped with multiple network interfaces: Wireless Local Area Network (WLAN) interfaces for local connectivity and Wireless Wide Area Network (WWA...