1089 search results - page 188 / 218 » Secure Cookies on the Web |
110
click to vote
PLDI
2010
ACM
15 years 11 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...
128
click to vote
SIGUCCS
2004
ACM
15 years 7 months ago
2004
ACM
Academic institutions’ dependence on web-based technologies to improve efficiency in class offerings, academic records, and office documentation is increasing at a rapid pace. T...
131
click to vote
DOCENG
2003
ACM
15 years 6 months ago
2003
ACM
We describe the design and use of a personal digital library system, UpLib. The system consists of a full-text indexed repository accessed through an active agent via a Web interf...
105
click to vote
USENIX
2008
15 years 3 months ago
2008
Recent popularity of interactive AJAX-based Web 2.0 applications has given rise to a new breed of security threats: JavaScript worms. In this paper we propose Spectator, the first...
ECIS
2000
15 years 2 months ago
2000
Electronic relationships in the context of electronic commerce and especially in the context of electronic learning and teaching are on the rise. However, besides the well known te...