2957 search results - page 320 / 592 » Code analysis and CS-XML |
149
click to vote
VLDB
1987
ACM
15 years 7 months ago
1987
ACM
This paper presents the design of the storage system for the POSTGRES data base system under construction at Berkeley. It is novel in several ways. First, the storage manager supp...
139
click to vote
IASTEDSEA
2004
15 years 5 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
124
click to vote
SOSP
1997
ACM
15 years 5 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...
122
click to vote
IJNSEC
2007
15 years 4 months ago
2007
We can view an existing Message Authentication Code (MAC) as a Carter-Wegman MAC in spite of the fact it may not have been designed as one. This will make the analysis easier than...
155
click to vote
TSP
2008
15 years 4 months ago
2008
In this paper, we consider a coded transmission over a frequency selective channel. We propose to study analytically the convergence of the turbo-detector using a maximum a poster...