Formal models for the description of time behaviors of multimedia and hypermedia distributed systems
Courtiat, J-P, Diaz, M, De Oliveira, R C, Senac, P
Published in Computer communications (01.01.1996)
Get full text
Published in Computer communications (01.01.1996)
Journal Article
Coordinating collaborativework with RECOLLVE
Santos, J.V.F., Gomes, R.L., Bacurau, R.M., de C. P. Pedroza, A., Courtiat, J.-P.
Published in 2009 International Symposium on Collaborative Technologies and Systems (01.05.2009)
Published in 2009 International Symposium on Collaborative Technologies and Systems (01.05.2009)
Get full text
Conference Proceeding
Scheduling and presenting interactive multimedia documents
Sampaio, P.N.M., Courtiat, J.P.
Published in IEEE International Conference on Multimedia and Expo, 2001. ICME 2001 (2001)
Published in IEEE International Conference on Multimedia and Expo, 2001. ICME 2001 (2001)
Get full text
Conference Proceeding
Loosely-Coupled Integration of CSCW Systems
Gomes, Roberta L., Rivera, Guillermo J. Hoyos, Courtiat, Jean Pierre
Published in Distributed Applications and Interoperable Systems (2005)
Published in Distributed Applications and Interoperable Systems (2005)
Get full text
Book Chapter
Conference Proceeding
The Agent-Based Architecture of RECOLLVE
dos Santos Filho, J.V., Gomes, R.L., de Castro Pinto Pedroza, A., Courtiat, J.-P.
Published in 2008 Simpósio Brasileiro de Sistemas Colaborativos (01.10.2008)
Published in 2008 Simpósio Brasileiro de Sistemas Colaborativos (01.10.2008)
Get full text
Conference Proceeding
Formal validation of a multicast transport protocol
Abbou, R.B., Benkiran, A., Courtiat, J.P.
Published in Proceedings. Sixth IEEE Symposium on Computers and Communications (2001)
Published in Proceedings. Sixth IEEE Symposium on Computers and Communications (2001)
Get full text
Conference Proceeding
Towards multimedia communication services
Carmo, L.R.d.C., Courtiat, J.-P., de Saqui-Sannes, P.
Published in 1993 4th Workshop on Future Trends of Distributed Computing Systems (1993)
Published in 1993 4th Workshop on Future Trends of Distributed Computing Systems (1993)
Get full text
Conference Proceeding
Formal methods after 15 years : Status and trends. A paper based on contributions of the panelists at the FORmal TEchnique '95 Conference, Montreal, October 1995: ATM/NII
COURTIAT, J.-P, DEMBINSKI, P, HOLZMANN, G. J, LOGRIPPO, L, RUDIN, H, ZAVE, P
Published in Computer networks and ISDN systems (1996)
Get full text
Published in Computer networks and ISDN systems (1996)
Journal Article
An experimental study for transmitting MPEG-2 streams over ATM networks
Meylan, Frank, Luis Gustavo G. Kiatake, Marcelo Zanoni Santos, Sergio Takeo Kofuji, Courtiat, Jean Pierre
Published in Telecommunication systems (01.01.1999)
Published in Telecommunication systems (01.01.1999)
Get full text
Journal Article
Simulation and analysis of IP/ATM switching and routing
Santos, M.Z., Kiatake, L.G.G., Meylan, F., Kofuji, S.T., Courtiat, J.P.
Published in 1999 2nd International Conference on ATM. ICATM'99 (Cat. No.99EX284) (1999)
Published in 1999 2nd International Conference on ATM. ICATM'99 (Cat. No.99EX284) (1999)
Get full text
Conference Proceeding
About the semantic verification of SMIL documents
Sampaio, P.N.M., Santos, C.A.S., Courtias, J.P.
Published in 2000 IEEE International Conference on Multimedia and Expo. ICME2000. Proceedings. Latest Advances in the Fast Changing World of Multimedia (Cat. No.00TH8532) (2000)
Published in 2000 IEEE International Conference on Multimedia and Expo. ICME2000. Proceedings. Latest Advances in the Fast Changing World of Multimedia (Cat. No.00TH8532) (2000)
Get full text
Conference Proceeding
An experimental study for transmitting MPEG-2 streams over ATM networks
Meylan, F., Kiatake, L.G.G., Santos, M.Z., Kofuji, S.T., Courtiat, J.P.
Published in 1998 1st IEEE International Conference on ATM. ICATM'98 (1998)
Published in 1998 1st IEEE International Conference on ATM. ICATM'98 (1998)
Get full text
Conference Proceeding