Publications personnelle

94documents trouvés

02048
27/05/2002

Déploiement de nouveaux services pour le transport de flux multimédia

E.EXPOSITO, P.SENAC, D.GARDUNO, M.DIAZ, M.URUENA, D.LARRABEITI

OLC, UC3M

Manifestation avec acte : 9ème Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2002), Montréal (Canada), 27-30 Mai 2002, pp.35-51 , N° 02048

Diffusable

52024
02090
27/05/2002

Reconfiguration dynamique de protocoles embarqués à bord de satellites

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

OLC

Manifestation avec acte : 9ème Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2002), Montréal (Canada), 27-30 Mai 2002, pp.441-454 , N° 02090

Diffusable

52016
02049
01/02/2002

Deployment of new transport services for multimedia flows

E.EXPOSITO, P.SENAC, D.GARDUNO, M.DIAZ, M.URUENA, D.LARRABEITI

OLC, UC3M

Rapport LAAS N°02049, Février 2002, 17p.

Diffusable

50442
01413
01/01/2002

Multimedia authoring with hierarchical timed stream Petri nets and Java

R.WILLRICH, P.DE SAQUI SANNES, P.SENAC, M.DIAZ

OLC

Revue Scientifique : Multimedia Tools and Applications, Vol.16, N°1-2, pp.7-27, Janvier-Février 2002 , N° 01413

Diffusable

49521
01480
01/11/2001

Composition temporelle et réseaux de Petri à flux autonomes

M.DIAZ, P.SENAC

OLC

Ouvrage (contribution) : Les Réseaux de Petri. Modèles fondamentaux, Hermes Science, Traité IC2 Information-Commande-Communication, N°ISBN 2-7462-0250-6, 2001, Chapitre 6, pp.199-219 , N° 01480

Non diffusable

48360
01143
01/10/2001

A new UML profile for real-time system formal design and validation

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

OLC

Manifestation avec acte : 4th International Conference on the Unified Modeling Language (UML'2001), Toronto (Canada), 1-5 Octobre 2001 , N° 01143

Diffusable

47873
01333
17/09/2001

Towards a new generation of generic transport protocols

P.SENAC, E.EXPOSITO, M.DIAZ

OLC

Manifestation avec acte : 2001 Tyrrhenian International Workshop on Digital Communications (IWDC'2001), Taormina (Italie), 17-20 Septembre 2001 , N° 01333

Diffusable

47754
01406
01/09/2001

HTSPN: an experiment in formal modeling of multimedia. Applications coded in MHEG or Java

R.WILLRICH, P.DE SAQUI SANNES, P.SENAC, M.DIAZ

OLC

Ouvrage (contribution) : Design management of multimedia information systems: opportunities challenges, S.M.Rahman, Idea Group Publishing, N°ISBN 1-930708-00-9, 2001, pp.380-411 , N° 01406

Diffusable

47538
01304
28/05/2001

Formal modeling and validation of space-based software in the context of dynamic reconfiguration

L.APVRILLE, P.DE SAQUI SANNES, P.SENAC, M.DIAZ

OLC

Manifestation avec acte : conference on DAta Systems in Aerospace (DASIA'2001), Nice (France), 28 Mai - 1er Juin 2001, 6p. , N° 01304

Diffusable

47868
01137
01/04/2001

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

44840
Pour recevoir une copie des documents, contacter doc@laas.fr en mentionnant le n° de rapport LAAS et votre adresse postale. Signalez tout problème de fonctionnement à sysadmin@laas.fr. http://www.laas.fr/pulman/pulman-isens/web/app.php/