Revisiting the concept of hypermedia document consistency

MULTIMEDIA 1999 - Proceedings of the 7th ACM International Conference on Multimedia (Part 1)

Volumn 2, Issue , 1999, Pages 183-186

  Santos, C A S ^a   Sampaio, P N M ^a   Courtiat, J P ^a  

^a LAAS CNRS   (France)

Author keywords

formal verification; Hypermedia documents; internal and external non determinism; RT LOTOS; temporal consistency

Indexed keywords

HYPERMEDIA SYSTEMS; INFORMATION RETRIEVAL;

GENERALISATION; HYPERMEDIA DOCUMENTS; INTERNAL AND EXTERNAL NON-DETERMINISM; NON DETERMINISM; NON-DETERMINISTIC EVENTS; RT-LOTOS; TEMPORAL CONSISTENCY;

FORMAL VERIFICATION;

EID: 38149040112     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/319878.319927     Document Type: Conference Paper

References (10)

1. Allen, J.F. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 26(11), Nov. 1983, 832-843
2. Wahl, T.; Rothermel, K. Representing time in multimedia systems. Proc. of the IEEE Int. Conf. on Multimedia Computing and Systems, May 1994
3. Buchanan, M.C.; Zellweger, P.T. Automatically Generating Consistent Schedules for Multimedia Documents. Multimedia Systems Journal, 1(2), 1993, 55-67
4. Kim, M.Y.; Song, J. Multimedia Documents with Elastic Time. Proc. of the ACM Multimedia'95, Nov. 1995
5. Vidal, T. Le temps en planification et en ordonnancement: vers une gestion complète et efficace de contraintes hétérogènes et entachées d'incertitude. Thèse de doctorat, Toulouse, 1995
6. Layaida, N. Madeus: système d'édition et de présentation de documents structurés multimédia. Thèse de doctorat, Grenoble, 1997
7. Courtiat, J.P.; Oliveira, R.C. Proving Temporal Consistency in a New Multimedia Synchronization Model. Proc. of the ACM Multimedia'96, Nov. 1996
8. Santos, C.A.S.; Soares, L.F.G.; Souza, G.L.; Courtiat, J.P. Design methodology and formal validation of hypermedia documents. Proc. of the ACM Multimedia'98, Sep. 1998
9. Courtiat, J.P.; Santos, C.A.S.; Lohr, C; Benaceur, O. Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. To appear in Computer Communications
10. Soares, L.F.G.; Rodriguez, N.L.R.; Casanova, M.A. Nested Composite Nodes and Version Control in an Open Hypermedia System. Information Systems Journal, Sep. 1995, 501-519