Retour au site du LAAS-CNRS

About the scheduling of interactive multimedia documents based on a formal approach

C.LOHR, P.N.M.SAMPAIO, J.P.COURTIAT

OLC

Rapport LAAS N°01181, Mai 2001, 13p.

Diffusable

Ajouter au panier 45605

TURTLE: A timed UML and RT-LOTOS environment

C.LOHR, L.APVRILLE, P.DE SAQUI SANNES, P.SENAC, J.P.COURTIAT

OLC

Rapport LAAS N°01137, Avril 2001, 14p.

Diffusable

Ajouter au panier 44840

Sobre a verificaçao e a apresentaçao de documentos multimidia interativos

P.N.M.SAMPAIO, J.P.COURTIAT

OLC

Rapport LAAS N°01103, Mars 2001, 13p.

Diffusable

Ajouter au panier 44611

A formal approach for the presentation of interactive multimedia documents

P.N.M.SAMPAIO, J.P.COURTIAT

OLC

Manifestation avec acte : 8th ACM International Conference on Multimedia, Los Angeles (USA), 30 Octobre - 4 Novembrer 2000, pp.435-438 , N° 00115

Diffusable

Ajouter au panier 41237

Ingénierie des protocoles. Qualité de service, multimédia et mobilité (CFIP'2000)

J.P.COURTIAT, M.DIAZ, P.SENAC

OLC

Ouvrage (éditeur) : Hermes Science, N°ISBN 2-7462-0177-1, 2000, 445p. , N° 00555

Diffusable

Ajouter au panier 42457

Using a formal method to verify the temporal semantics of SMIL documents

P.N.M.SAMPAIO, C.A.S.SANTOS, J.P.COURTIAT

OLC

Manifestation avec acte : Conference on Software: Theory and Practice, Beijing (Chine), 21-25 Août 2000, pp.451-458 , N° 00114

Diffusable

Ajouter au panier 40173

About the semantic verification of SMIL documents

P.N.M.SAMPAIO, C.A.S.SANTOS, J.P.COURTIAT

OLC

Manifestation avec acte : 2000 IEEE International Conference on Multimedia (ICME 2000), New York (USA), 30 Juillet - 2 Août 2000, 4 p. , N° 00113

Diffusable

Ajouter au panier 40124

Comparative experimental analysis of MPOA solution and conventional IP routing

A.E.GUELFI, F.MEYLAN, R.K.HIRAMATSU, S.T.KOFUJI, J.P.COURTIAT

OLC, LSI-USP

Manifestations avec acte à diffusion limitée : 6th International Conference on Information Systems, Analysis and Synthesis (ISAS'2000), Orlando (USA), 23-26 Juillet 2000, 6p. , N° 00308

Diffusable

Ajouter au panier 40031

Expérience with RT-LOTOS, a temporal extension of the LOTOS formal description technique

J.P.COURTIAT, C.A.S.SANTOS, C.LOHR, O.BENACEUR

OLC, Rabat

Revue Scientifique : Computer Communications, Vol.23, N°12, pp.1104-1123, Juillet 2000 , N° 99133

Diffusable

Ajouter au panier 39279

Da analise de consistencia a formatacao temporal de um documento hipermedia usando RT-LOTOS

C.A.S.SANTOS, P.N.M.SAMPAIO, J.P.COURTIAT

OLC

Manifestations avec acte à diffusion limitée : VI Brazilian Symposium on Multimedia and Hypermedia Systems (SBMIDIA), Natal (Brésil), 14-16 Juin 2000, 15p. , N° 00255

Diffusable

Ajouter au panier 39497