Enxeñaría telemática

2000

1. DelfosnetX: A workbench for XML-based information retrieval systems

   Proceedings - 7th International Symposium on String Processing and Information Retrieval, SPIRE 2000

2. Estudio de las técnicas de verificación "al vuelo"

   Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000

3. Gestión anónima de credenciales de grupo en protocolo n-créditos para microcomercio electrónico

   Criptología y seguridad de la Información: actas de la VI Reunión Española sobre Criptología y Seguridad de la Información. VI RECSI, Tenerife, Islas Canarias, 14-16 septiembre de 2000

4. Modelo de reutilización de requisitos funcionales utilizando técnicas formales

   Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000

5. On the use of Control Variates in the simulation of medium access control protocols

   Winter Simulation Conference Proceedings

6. Prueba de sistemas distribuidos mediante estrategias de caja gris

   Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000

7. Real time scheduling of ATM switches: neural network approaches

   Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000

8. Using CORBA to contribute to the learning technologies standardization

   Simposio Español de Informática Distribuida: libro de actas. Ourense 25-27 de septiembre de 2000

9. Verificación de requisitos de tiempo críticos sobre sistemas incompletos

   Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000