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
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
© 2001-2024 Fundación Dialnet · Todos los derechos reservados