2429 search results - page 482 / 486 » Using Aspects to Design a Secure System |
CONEXT
2009
ACM
13 years 5 months ago
2009
ACM
Today's online social networking (OSN) sites do little to protect the privacy of their users' social networking information. Given the highly sensitive nature of the inf...
MOBISYS
2009
ACM
14 years 8 months ago
2009
ACM
Wi-Fi clients can obtain much better performance at some commercial hotspots than at others. Unfortunately, there is currently no way for users to determine which hotspot access p...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
We propose a new approach to ensure privacy in location based services, without requiring any support from a"trusted" entity. We observe that users of location based ser...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Garbage collection yields numerous software engineering benefits, but its quantitative impact on performance remains elusive. One can compare the cost of conservative garbage col...
PLDI
2010
ACM
14 years 5 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...