Retour au site du LAAS-CNRS

From the specification to the scheduling of time-dependent systems

C.LOHR, J.P.COURTIAT

OLC

Manifestation avec acte : 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'2002), Oldenburg (Allemagne), 9-12 Septembre 2002 , N° 01138

Diffusable

Ajouter au panier 53231

Providing consistent SMIL 2.0 documents

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

OLC

Manifestation avec acte : 2002 IEEE International Conference on Multimedia and Expo (ICME'2002), Lausanne (Suisse), 26-29 Août 2002, 4p. , N° 02063

Diffusable

Ajouter au panier 53062

A flexible architecture for collaborative browsing

R.L.GOMES, J.P.COURTIAT, G.J.HOYOS RIVERA

OLC

Manifestation avec acte : International Workshop on Web-based Infrastructures and Coordination Architectures for Collaborative Enterprises (WET ICE'2002), Pittsburgh (USA), 10-12 Juin 2002, pp.164-169 , N° 02175

Diffusable

Ajouter au panier 53287

De la spécification à l'ordonnancement de systèmes contraints par le temps

C.LOHR, J.P.COURTIAT

OLC

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

Diffusable

Ajouter au panier 52022

An integrated environment for the presentation of consistent SMIL 2.0 documents

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

OLC

Manifestation avec acte : ACM Symposium on Document Engineering (DocEng'01), Atlanta (USA), 9-10 Novembre 2001, pp.115-124 , N° 01368

Diffusable

Ajouter au panier 48371

UML et RT-LOTOS. Vers une intégration informel/formel au service de la validation de systèmes temps réel

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

OLC

Manifestation avec acte : Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'2001), Toulouse (France), 17-19 Octobre 2001, pp.513-528 , N° 01125

Diffusion restreinte

Ajouter au panier 47850

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

Ajouter au panier 47873

Scheduling and presenting interactive multimedia documents

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

OLC

Manifestation avec acte : 2001 IEEE International Conference on Multimedia (ICME'2001), Tokyo (Japon), 22-25 Août 2001, pp.1224-1227 , N° 01003

Diffusable

Ajouter au panier 46807

Formal validation of a multicast transport protocol

R.BEN ABBOU, A.BENKIRAN, J.P.COURTIAT

FST, EMI, OLC

Manifestation avec acte : 6th IEEE Symposium on Computers and Communications (ISCC'2001), Hammamet (Tunisie), 3-5 Juillet 2001, pp.642-647 , N° 00513

Diffusable

Ajouter au panier 46575

A design framework for collaborative browsing

G.J.HOYOS RIVERA, J.P.COURTIAT, T.VILLEMUR

OLC

Manifestation avec acte : IEEE 10th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'2001), Cambridge (USA), 20-22 Juin 2001, pp.362-367 , N° 01104

Diffusable

Ajouter au panier 47741