Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
Petri-net-based hypertext: document structure with browsing semantics
ACM Transactions on Information Systems (TOIS)
Dynamic adaptation of hypertext structure
HYPERTEXT '91 Proceedings of the third annual ACM conference on Hypertext
Synchronization models for multimedia presentation with user participation
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Specifying temporal behavior in hypermedia documents
ECHT '92 Proceedings of the ACM conference on Hypertext
The Amsterdam hypermedia model: adding time and context to the Dexter model
Communications of the ACM
Nested composite nodes and version control in an open hypermedia system
Information Systems - Special issue: multimedia information systems
Interactive hypermedia applications: a model and its implementation
Software—Practice & Experience
Hypercharts: extended statecharts to support hypermedia specification
ICECCS '97 Proceedings of the Third IEEE International Conference on Engineering of Complex Computer Systems
The MORENA model for hypermedia authoring and browsing
ICMCS '95 Proceedings of the International Conference on Multimedia Computing and Systems
A media synchronization survey: reference model, specification, and case studies
IEEE Journal on Selected Areas in Communications
A new multimedia synchronization model
IEEE Journal on Selected Areas in Communications
Hypercharts: Extended Statecharts to Support Hypermedia Specification
IEEE Transactions on Software Engineering
A statechart-based model for hypermedia applications
ACM Transactions on Information Systems (TOIS)
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Proceedings of the 2002 ACM symposium on Document engineering
Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java
Multimedia Tools and Applications
Modeling Web Navigation by Statechart
COMPSAC '00 24th International Computer Software and Applications Conference
Formalizing the Specification of Web Applications
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Formal Framework for Automated Analysis and Verification of Web-Based Applications
Proceedings of the 19th IEEE international conference on Automated software engineering
Hi-index | 0.00 |