Sciweavers

828 search results - page 1 / 166
» types 2000
Sort
View
TLCA
1999
Springer
13 years 8 months ago
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem
AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, an...
Peter Harry Eidorff, Fritz Henglein, Christian Mos...
ROOM
2000
13 years 5 months ago
SDL-2000: A Language with a Formal Semantics
A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly. It will offer new features as object-oriented data...
Joachim Fischer, Eckhardt Holz, Martin von Lö...
DBSEC
2000
117views Database» more  DBSEC 2000»
13 years 5 months ago
Database Security 2000
Database systems are being more and more used, with larger sized databases, and as components of very complex systems, that include numerous protocols. Database security problems ...
John R. Campbell
DCC
2007
IEEE
14 years 4 months ago
Improved Resolution Scalability for Bi-Level Image Data in JPEG2000
In this paper, we address issues concerning bilevel image compression using JPEG2000. While JPEG2000 is designed to compress both bilevel and continuous tone image data using a sin...
Rahul Raguram, Michael W. Marcellin, Ali Bilgin