Transformation and Verification of Office Procedures
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Petri-net-based hypertext: document structure with browsing semantics
ACM Transactions on Information Systems (TOIS)
Architecture for distributed multimedia database systems
Computer Communications - Multimedia communications
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
A G-Net Model for Knowledge Representation and Reasoning
IEEE Transactions on Knowledge and Data Engineering
A HyperNet Model for Large Hypertext Systems
Proceedings of the Second International Symposium on Database Systems for Advanced Applications
A synchronization and communication model for distributed multimedia objects
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Hi-index | 0.00 |