Revisiting the concept of hypermedia document consistency
- 1 October 1999
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Experience with RT-LOTOS, a temporal extension of the LOTOS formal description techniqueComputer Communications, 2000
- Design methodology and formal validation of hypermedia documentsPublished by Association for Computing Machinery (ACM) ,1998
- Proving temporal consistency in a new multimedia synchronization modelPublished by Association for Computing Machinery (ACM) ,1996
- Nested composite nodes and version control in an open hypermedia systemInformation Systems, 1995
- Multimedia documents with elastic timePublished by Association for Computing Machinery (ACM) ,1995
- Representing time in multimedia systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1994
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983