External Links

    Journal: Inf. Syst.

    Volume 16, Issue 3

    245 -- 272José Carmo, Amílcar Sernadas. Formal techniques for systems specification and verification
    273 -- 300Charalampos I. Theodoulidis, Pericles Loucopoulos. The time dimension in conceptual modelling
    301 -- 321S. K. Michael Wong, Yiyu Yao. A probabilistic inference model for information retrieval
    323 -- 333Rob B. Buitendijk, Harm van der Lek. Direct manipulation of a data dictionary with SQL
    335 -- 343William J. Haga, Moshe Zviran. Question-and-answer passwords: an empirical evaluation
    345 -- 356Edward Omiecinski, Wei Liu, Ian F. Akyildiz. Analysis of a deferred and incremental update strategy for secondary indexes
    357 -- 361Prashant Palvia. Approximating block accesses in random files: the case of blocking factors lower than one
    runs on