Author of the publication

Extension of SMIL with QoS Control and its Implementation.

, , , , , and . IEEE International Conference on Multimedia and Expo (III), page 1683-1686. IEEE Computer Society, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automated Verification of Equivalence of Protocol Machines., , , , and . PSTV, page 235-246. North-Holland, (1989)A LOTOS Compiler Generating Multi-threaded Object Codes., , , , and . FORTE, volume 43 of IFIP Conference Proceedings, page 271-286. Chapman & Hall, (1995)Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol., , , , and . Syst. Comput. Jpn., 20 (5): 57-68 (1989)Extension of SMIL with QoS Control and its Implementation., , , , , and . IEEE International Conference on Multimedia and Expo (III), page 1683-1686. IEEE Computer Society, (2000)A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels., , , , , and . FME, volume 2391 of Lecture Notes in Computer Science, page 607-624. Springer, (2002)Protocol Synthesis from Time Petri Net Based Service Specification., , , and . ICPADS, page 236-243. IEEE Computer Society, (1997)Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach., , , and . TPCD, volume 901 of Lecture Notes in Computer Science, page 165-184. Springer, (1994)Protocol visualization using LOTOS multi-rendezvous mechanism., , , and . ICNP, page 118-125. IEEE Computer Society, (1995)Formal Verification of CPU in Laboratory Work., , , , and . MSE, page 32-34. IEEE Computer Society, (2001)Fast and Optimal Multicast-Server Selection Based on Receivers' Preference., , , , and . IDMS, volume 1905 of Lecture Notes in Computer Science, page 40-52. Springer, (2000)