Information and software technology

• 

  Año 2001, Vol. 43, Número 4

  • The optimal retrieval start times of media objects for the multimedia presentation

    T. I. Jeong, S. J. Kim, S. W. Kim

    págs. 219-229

    

  • Experience with mural in formalising Dust-Expert

    F. Meziane, M. L. Huang, S. Vadera

    págs. 231-240

    

  • Measuring post-transaction error handling in database applications

    N. L. Thein, H. B. Tan

    págs. 241-246

    

  • A method for interactive articulation of information requirements for strategic decision support

    K. Liu, L. Sun

    págs. 247-263

    

  • On analyzing errors in a selectivity estimation method based on dynamic maintenance of data distribution

    S. W. Kim, W. K. Whang

    págs. 265-274

    

  • Practitioners' views on the use of formal methods: an industrial survey by structured interview

    R. Harrison, C. Snook

    págs. 275-283