5962 search results - page 701 / 1193 » Working with Patterns and Code |
180
click to vote
POPL
2000
ACM
15 years 11 months ago
2000
ACM
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...
194
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
192
click to vote
FTDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
The Java Security Model has undergone considerable evolution since its initial implementation. However, due to its historical focus on securing machines against attack from hostil...
178
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
The problem of optimization of subband coders for given input statistics has received considerable attention in recent literature. The goal in these works has been to maximize the...
220
click to vote
ICCBR
1999
Springer
15 years 11 months ago
1999
Springer
Software programming is a complex task. To help the user with this task, we are developing a case-based reasoning tool capable of suggesting code to the programmer (software reuse...