1748 search results - page 321 / 350 » Using Aspect Programming to Secure Web Applications |
121
click to vote
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
151
click to vote
CADE
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
152
click to vote
AI50
2006
15 years 5 months ago
2006
There are many stories to tell about the first fifty years of AI. One story is about AI as one of the big forces of innovation in information technology. It is now forgotten that i...
137
click to vote
MM
2010
ACM
14 years 11 months ago
2010
ACM
Social tags describe images from many aspects including the visual content observable from the images, the context and usage of images, user opinions and others. Not all tags are ...
108
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This project addressed the conceptual fundamentals of data storage, investigating techniques for provision of highly generic storage facilities that can be tailored to produce var...