Publicaciones (12) Publicaciones en las que ha participado algún/a investigador/a

2005

  1. Application of formal methods to the analysis of Web Services Security

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Development of an XML-based lab for remote control experiments on a servo motor

    International Journal of Electrical Engineering Education, Vol. 42, Núm. 2, pp. 173-184

  3. Easy java simulations: An open-source tool to develop interactive virtual laboratories using MATLAB/Simulink

    International Journal of Engineering Education, Vol. 21, Núm. 5 PART I AND II, pp. 798-813

  4. Fuzzy control of spindle torque in high-speed milling processes

    PROCEEDINGS OF THE ASME DYNAMIC SYSTEMS AND CONTROL DIVISION 2005, PTS A AND B

  5. MVCM: A packet marking/validation mechanism for congestion management in infiniBand

    Actas de las XVI Jornadas de Paralelismo. [JP'2005]

  6. Modeling and computer simulation for the prediction of forces in high-speed machining processes

    Simulation in Wider Europe

  7. Modelo de AS orientado al desarrollo de mecanismos de gestión

    Actas de las XVI Jornadas de Paralelismo. [JP'2005]

  8. Parallel dynamic programming on clusters of workstations

    IEEE Transactions on Parallel and Distributed Systems, Vol. 16, Núm. 9, pp. 785-798

  9. Reachability-based fault-tolerant routing methodology

    Actas de las XVI Jornadas de Paralelismo. [JP'2005]

  10. Resultados de puntos extremos

    El análisis de intervalos en España: desarrollos, herramientas y aplicaciones (Documenta Universitaria), pp. 163-179

  11. Un nuevo algoritmo de CAC para redes multimedia de altas prestaciones

    Actas de las XVI Jornadas de Paralelismo. [JP'2005]

  12. Web-based virtual lab and remote experimentation using easy java simulations

    IFAC Proceedings Volumes (IFAC-PapersOnline)