María Elena Villapol
María Elena Villapol
Western Institute of Technology at Taranaki
Dirección de correo verificada de - Página principal
Citado por
Citado por
Modelling and initial analysis of the resource reservation protocol using coloured petri nets
ME Villapol, J Billington
Proceedings of the Workshop on Practical Use of High-Level Petri Nets …, 2000
A sustainable connectivity model of the internet access technologies in rural and low-income areas
ME Villapol, W Liu, J Gutierrez, J Qadir, S Gordon, J Tan, L Chiaraviglio, ...
Smart Grid and Innovative Frontiers in Telecommunications: Third …, 2018
Modelling and analysis of the resource reservation protocol using coloured petri nets
M Villapol
Reviewing the service specification of the IEEE 802.16 MAC layer connection management: A formal approach
A Morales, M Villapol
CLEI Electronic Journal 16 (2), 2-2, 2013
Analysing properties of the resource reservation protocol
ME Villapol, J Billington
International Conference on Application and Theory of Petri Nets, 377-396, 2003
Connecting the unconnected 10% of New Zealanders by 2025: Is a MahiTahi approach possible?
M Villapol, W Liu, JA Gutierrez, L Chiaraviglio, A Sathiaseelan, J Wu, ...
2017 27th International Telecommunication Networks and Applications …, 2017
9.1. 6 Generation of a Service Language for the Resource Reservation Protocol Using Formal Methods
ME Villapol, J Billington
INCOSE International Symposium 11 (1), 1239-1246, 2001
Performance comparison of mesh routing protocols in an experimental network with bandwidth restrictions in the border router
ME Villapol, D Pérez Abreu, C Balderama, M Colombo
Revista de la Facultad de Ingeniería Universidad Central de Venezuela 28 (1 …, 2013
Analysis of the Properties of the Bluetooth Baseband Connection Establishment Using Colored Petri Nets
ME Villapol
Computación y Sistemas 16 (4), 433-446, 2012
FireNot–an IoT based fire alerting system: design and implementation
BA Sassani, N Jamil, M Villapol, M Abbas Malik, SS Tirumala
Journal of Ambient Intelligence and Smart Environments 12 (6), 475-489, 2020
Prosega/CPN: an extension of CPN Tools for automata-based analysis and system verification
JC Carrasquel, A Morales, ME Villapol
Труды института системного программирования РАН 30 (4), 107-128, 2018
Recording, storing and querying judo match data using an Android tool and Cloud computing
ME Villapol, H Jansen, A Morales, J Flores, H Rodrigues, M Huerta
Proceedings of the Institution of Mechanical Engineers, Part P: Journal of …, 2017
A coloured petri net approach to formalising and analysing the resource reservation protocol
ME Villapol, J Billington
CLEI Electron. J 6 (1), 1-25, 2003
Internet Service Quality
ME Villapol, J Billington
Telecommunication Journal of Australia 50 (2), 57-69, 2000
Value co-creation and opportunities in health care and wellbeing: The case of the green prescription
ME Villapol, S Richter, K Petrova
Towards formal specification of the service in the IEEE 802.16 MAC layer for connection management
AVM Bezeira, MEV Blanco
Proceedings of the 9th WSEAS international conference on computational …, 2010
Modelado y análisis inicial del Establecimiento de una conexión Bluetooth Usando las Redes de Petri Coloreadas
ME Villapol
Proceedings of the Thirty-Second Latin American Computing Conference, CLEI …, 2006
A proposal to improve network throughput using a QoS building blocks approach at Central University of Venezuela
ME Villapol, EA Gamess, N Morales
Proceedings of the 3rd international IFIP/ACM Latin American conference on …, 2005
Modelling and Analysis of the Resource Reservation Protocol
ME Villapol
PhD thesis, Institute for Telecommunications Research and Computer Systems …, 2003
Introducción a las redes móviles e inalámbricas
M Villapol
Universidad Central de Venezuela, 2010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20