0306-4379

Information Systems (ISYS) - Volume 16, Issue 3 论文列表

本期论文列表
Formal techniques for systems specification and verification

The time dimension in conceptual modelling

A probabilistic inference model for information retrieval

Direct manipulation of a data dictionary with SQL

Question-and-answer passwords: An empirical evaluation

Analysis of a deferred and incremental update strategy for secondary indexes

Approximating block accesses in random files: The case of blocking factors lower than one

News section

Software survey section