Mostrando 3 resultados de: 3
Filtros aplicados
Publisher
2017 43rd Latin American Computer Conference, CLEI 2017(1)
Computacion y Sistemas(1)
Proceedings of the 2014 Latin American Computing Conference, CLEI 2014(1)
Área temáticas
Ciencias de la computación(3)
Área de conocimiento
Telecomunicaciones(2)
Comunicación(1)
Red informática(1)
Simulación por computadora(1)
Origen
scopus(3)
Analysis of the dynamic service flow management transactions protocol for MAC IEEE 802.16. An aproach
Conference ObjectAbstract: In this work the WiMax MAC Protocol for Dynamic Service Flow management and their transactions is anPalabras claves:Colored Petri Nets, Dynamic Service Flow, Pitfalls, Protocol Language, Transactions, WiMax MAC IEEE 802.16 ProtocolAutores:César A. Naranjo, Fabián A. Álvarez, María Elena Villapol, Morales A., Scalise E.Fuentes:scopusAnalysis of the properties of the bluetooth baseband connection establishment using colored Petri nets
ArticleAbstract: Bluetooth provides communication between devices via radio frequency with a range of around 10 meterPalabras claves:bluetooth, Colored Petri Nets, occurrence graph, Temporal logic, VerificationAutores:María Elena VillapolFuentes:scopusImproving the specification of the WiMax ARQ operation
Conference ObjectAbstract: WiMax, includes a rich set of MAC layer features. The use of retransmission algorithms for supportinPalabras claves:ARQ Blocks, ARQ operation, Colored Petri Nets, WimaxAutores:Contreras L., María Elena Villapol, Morales A.Fuentes:scopus