Resuemenes / Abstracts

1. Villapol M.E. HACIA LA ESPECIFICACIÓN FORMAL DEL ESTABLECIMIENTO DE UNA CONEXIÓN BLUETOOTH (Toward the Formal Specification of Bluetooth Connection Establishment). LV Convención Anual, Facultad de Ciencias, Universidad Central de Venezuela, 20 al 25 de Noviembre de 2005.
2. M.E. Villapol; Y. Guillen. Propuesta para el Monitoreo Remoto de Atletas Usando Tecnologías de Comunicación a Corta Distancia. I Jornadas de Divulgación de Tecnologías de Información y Comunicaciones y el Desarrollo Sostenible. Caracas, 30 de Junio, 1 y 2 de Julio del 2005. Ponencia Publicada en el CD de la Conferencia.
3. Villapol M.E. Verification of the Resource Reservation Protocol Using Formal Methods. Noah’s On The Beach, Newcastle, 13-16 February 2001, pp 72.
4. Villapol M.E. Resource Reservation Protocol for Mobile Hosts in the Internet. Abstract in CRC for Satellite Systems Conference, Tuesday 15th February – Thursday 17th February 2000, the Lakes Resort Hotel, South Australia, pp 39.
5. Villapol M.E. Modelling and Evaluating an Architecture for the Provision of Internet Multimedia Services over LEO satellites. Abstract., Record of CRC for Satellite Systems Conference, Paradise Wirrina Cove Resort, South Australia, 1999, pp 35.