( en | de | ru )

 

Disambiguation of "de Oliveira, Roberto C."

Author of the publication

copydeleteadd this publication to your clipboard
A New Mechanism for Achieving Inter-stream Synchronization in Multimedia Communication Systems.

, , and . ICMCS, page 173-182. IEEE Computer Society, (1994)

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.

Ely de Oliveira

Roberto C Garobbio

Roberto De Col

Roberto Charles Feitosa Oliveira

Roberto Carlos Arias Oliveira

 

Other publications of authors with the same name

The RT-LOTOS Formal Specification of the Conditional Delivery Mechanism., , and . Inf. Syst., 20 (6): 521-535 (1995)Proving Temporal Consistency in a New Multimedia Synchronization Model., and . ACM Multimedia, page 141-152. ACM Press, (1996)A New Mechanism for Achieving Inter-stream Synchronization in Multimedia Communication Systems., , and . ICMCS, page 173-182. IEEE Computer Society, (1994)An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System., , , and . FORTE, volume 107 of IFIP Conference Proceedings, page 433-448. Chapman & Hall, (1997)A General-Purpose Multimedia Synchronization Mechanism Based on Casual Relations., , and . IEEE J. Sel. Areas Commun., 14 (1): 185-195 (1996)Towards a New Multimedia Synchronization Mechanism and its Formal Definition., , and . ACM Multimedia, page 133-140. ACM Press, (1994)A Reachability Analysis of RT-LOTOS Specifications., and . FORTE, volume 43 of IFIP Conference Proceedings, page 117-124. Chapman & Hall, (1995)RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation., and . MMNET, page 31-45. (1995)About time nondeterminism and exception handling in a temporal extension of LOTOS., and . PSTV, volume 1 of IFIP Conference Proceedings, page 37-52. Chapman & Hall, (1994)Specification and Validation of Multimedia Protocols using RT-LOTOS., , and . FTDCS, page 354-362. IEEE Computer Society, (1995)