Catálogo de publicaciones


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 20.629 registro(s)

Filtros temática quitar todos

Model-Based Testing of Reactive Systems: Advanced Lectures

Más información

ISBNs: 978-3-540-26278-7 (impreso) 978-3-540-32037-1 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2005 SpringerLink

Cobertura temática: Ciencias de la computación e información - Economía y negocios - Otras ciencias sociales  


libros Acceso Abierto
Agregar a Mi catálogo

Model-Based Tools for Pharmaceutical Manufacturing Processes

Más información

978-3-03928-425-2 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto Descargá directamente

Cobertura temática: Ciencias de la computación e información  


Model-Driven Architecture: Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings

Más información

ISBNs: 978-3-540-35909-8 (impreso) 978-3-540-35910-4 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Cobertura temática: Ciencias de la computación e información  


Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling

Más información

ISBNs: 978-3-540-71867-3 (impreso) 978-3-540-71868-0 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 SpringerLink

Cobertura temática: Ciencias de la computación e información - Ciencias de la tierra y ciencias ambientales relacionadas  


Model-Driven Design Using Business Patterns

Más información

ISBNs: 978-3-540-30154-7 (impreso) 978-3-540-30327-5 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Cobertura temática: Ciencias de la computación e información  


actas de congreso
Agregar a Mi catálogo

Model-Driven Requirements Engineering (MoDRE), 2013 International Workshop on

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2013 IEEE Xplore

Cobertura temática: Ciencias de la computación e información  


actas de congreso
Agregar a Mi catálogo

Model-Driven Requirements Engineering Workshop (MoDRE), 2014 IEEE 4th International

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2014 IEEE Xplore

Cobertura temática: Ciencias de la computación e información  


Model-Driven Software Development

Más información

ISBNs: 978-3-540-25613-7 (impreso) 978-3-540-28554-0 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2005 SpringerLink

Cobertura temática: Ciencias de la computación e información  


actas de congreso
Agregar a Mi catálogo

Model, Design and Validation, 2004. Proceedings. 2004 First International Workshop on

Más información

ISBNs: 0-7803-8852-6 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2004 IEEE Xplore

Cobertura temática: Ciencias de la computación e información  


tesis Acceso Abierto
Agregar a Mi catálogo

Modelación, simulación de funcionamiento y evaluación de prestaciones de protocolos de red con redes de Petri: Desarrollo de herramientas académicas de enseñanza

Más información
Autores/as: Santiago Cristóbal Pérez ; Mario Distéfano ; Luis Armando Marrone

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2006 SEDICI: Repositorio Institucional de la UNLP (SNRD) acceso abierto Descargá directamente

Cobertura temática: Ciencias de la computación e información  

Las técnicas de análisis cualitativas y cuantitativas utilizadas para la evaluación de las redes de telecomunicaciones, y específicamente las de los protocolos de red, tienen constantes progresos. Un resultado concreto es la producción continua de trabajos diversos para modelar y analizar la corrección y la performance del funcionamiento de diversos protocolos. Sin embargo, las Redes de Petri han demostrado ser la herramienta base para la introducción de descripciones exactas de aplicaciones complejas, y que proveen la posibilidad de explotar la estructura de sus modelos para desarrollar un mejor entendimiento de la conducta dinámica de los sistemas y para deducir técnicas de análisis efectivas. El trabajo se propone establecer de una manera uniforme, y con el uso de las Redes de Petri, las características, similitudes y diferencias cualitativas y cuantitativas, entre algunos de los protocolos de red de canal compartido utilizados en el ámbito de las redes LAN y WAN. Es decir, se utilizarán las Redes de Petri como modelo matemático, compilando las novedades teórico-prácticas de esta materia, y se seleccionarán herramientas apropiadas de modelación, simulación y de evaluación de performance, para investigar propiedades o características de los protocolos, que otras del tipo analíticas no ponen totalmente de relieve, o que permitan demostrar que ambos enfoques son complementarios. Además, se realizarán experiencias prácticas para validar alguno de los modelos de Red de Petri. Finalmente, a partir de ello, se buscará establecer una secuencia alternativa de enseñanza-aprendizaje de los protocolos de red de canal compartido, usando este instrumento matemático.