Michel Diaz

发表

Transport of video over partial order connections

Emmanuel Chaput, Luis Rojas-Cardenas, Patrick Sénac, 1999, Comput. Networks.

Temporal partial order and partial reliability service for distributed multimedia applications

Luis Rojas-Cardenas, Patrick Sénac, Laurent Dairaine, 1998, Proceedings 1998 MultiMedia Modeling. MMM'98 (Cat. No.98EX200).

Modeling Logical and Temporal Synchronization in Hypermedia Systems

Patrick Sénac, Michel Diaz, A. Leger, 1996, IEEE J. Sel. Areas Commun..

Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java

Pierre de Saqui-Sannes, Patrick Sénac, Roberto Willrich, 2004, Multimedia Tools and Applications.

Conception et évaluation d'un protocole multimédia multicast pour l'Internet

Michel Diaz, Stéphane Owezarski, 2003 .

The EuQoS System

Jorge Carapinha, Giovanni Stea, Antonio Pietrabissa, 2008 .

Hypermedia Document Design Using the HTSPN Model

Pierre de Saqui-Sannes, Patrick Sénac, Roberto Willrich, 1996, MMM.

Distant e-learning using synchronous collaborative environment "Platine"

Yoneo Yano, Kazuhide Kanenishi, Thierry Gayraud, 2004, IEEE Sixth International Symposium on Multimedia Software Engineering.

HTSPN: an experience in formal modeling of multimedia applications coded in MHEG or Java

Pierre de Saqui-Sannes, Patrick Sénac, Roberto Willrich, 2001 .

The EuQoS system: a solution for QoS routing in heterogeneous networks [Quality of Service based Routing Algorithms for Heterogeneous Networks]

Jordi Domingo-Pascual, Giovanni Stea, Xavier Masip-Bruin, 2007, IEEE Communications Magazine.

Observer-A Concept for Formal On-Line Validation of Distributed Systems

Guy Juanole, Jean-Pierre Courtiat, Michel Diaz, 1994, IEEE Trans. Software Eng..

End-to-end Quality of Service Support over Heterogeneous Networks (EuQoS)

Thomas Staub, Torsten Braun, Torsten Braun, 2010 .

Time Stream Petri Nets: A Model for Timed Multimedia Information

Patrick Sénac, Michel Diaz, P. Sénac, 1994, Application and Theory of Petri Nets.

A multi-paradigm layered architecture for synchronous distance learning

Véronique Baudin, Khalil Drira, Thierry Villemur, 2000, Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future.

An adaptive transport service for multimedia streams

Luis Rojas-Cardenas, Patrick Sénac, Laurent Dairaine, 1999, Proceedings IEEE International Conference on Multimedia Computing and Systems.

EuQoS: End-to-End Quality of Service over Heterogeneous Networks

Giovanni Stea, Enzo Mingozzi, Laurent Baresse, 2009, Comput. Commun..

Implementing a user level multimedia transport protocol in Java

Luis Rojas-Cardenas, Ludovic Apvrille, Patrick Sénac, 2000, Proceedings ISCC 2000. Fifth IEEE Symposium on Computers and Communications.

A New Approximation Model for Guaranteed QoS Information Aggregation

Michel Diaz, Walid Htira, Olivier Dugeon, 2007, 2007 12th IEEE Symposium on Computers and Communications.

Bringing mobility to synchronous collaborative activities: recent enhancements of the "Platine" platform

Yoneo Yano, Kazuhide Kanenishi, Thierry Gayraud, 2005, IEEE International Workshop on Wireless and Mobile Technologies in Education (WMTE'05).

Models and environments for designing open distributed systems using formal approaches

Jean-Pierre Courtiat, Michel Diaz, J. Courtiat, 1990, [1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed Computing Systems.

A formal framework for the specification, analysis and generation of standardized hypermedia documents

Patrick Sénac, Pierre de Saqui-Sannes, Roberto Willrich, 1996, Proceedings of the Third IEEE International Conference on Multimedia Computing and Systems.