Search Sciweavers | Sciweavers

601 search results - page 1 / 121

» Writing for the Year 2000

click to vote

SIGDOC
1998
ACM

74views Document Analysis» more SIGDOC 1998»

Writing for the Year 2000

13 years 9 months ago

Download www.preciselydoc.com

Jim Ramsay

claim paper

Read More »

click to vote

WCRE
1997
IEEE

73views Software Engineering» more WCRE 1997»

Program Plan Recognition for Year 2000 Tools

13 years 9 months ago

Download homepages.cwi.nl

There are many commercial tools that address various aspects of the Year 2000 problem. None of these tools, however, addresses the closely-related leap-year problem. In this paper...

Arie van Deursen, Steven Woods, Alex Quilici

claim paper

Read More »

click to vote

TLCA
1999
Springer

93views Theoretical Computer Science» more TLCA 1999»

AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem

13 years 9 months ago

Download www.diku.dk

AnnoDomini is a commercially available source-to-source conversion tool for ﬁnding and ﬁxing Year 2000 problems in COBOL programs. AnnoDomini uses type-based speciﬁcation, an...

Peter Harry Eidorff, Fritz Henglein, Christian Mos...

claim paper

Read More »

click to vote

VLDB
1993
ACM

69views Database» more VLDB 1993»

Predictions and Challenges for Database Systems in the Year 2000

13 years 9 months ago