Cover Image

LeGESD: Un marco de trabajo para la especificación y validación formal de sistemas concurrentes y distribuidos basado en un lenguaje gráfico con semántica sustentada en el álgebra de procesos

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Jorge Cortés Galicia
Format:	Artículo científico
Language:	es
Published:	Universidad de Antioquia 2012
Subjects:	Ingeniería Especificación álgebra de procesos sistemas distribuidos
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Sistemas distribuídos aplicados à compressão e recuperação de imagens
by: Fabio Jorge Assad Gostaldon
Published: (2008)

Implementación en erlang de sistemas distribuidos a través del cálculo de eventos
by: Aguilar López, José Yedid
Published: (2014)

Conectividad de Java con bases de datos mediante invocación de objetos con métodos remotos (objetos RMI)
by: Maureen Alies Fuentes
Published: (2003)

Generación de series sintéticas de la velocidad del viento mediante especificación de histograma.
by: Eduardo Ernesto Ordóñez-López
Published: (2018)

Métodos formales e Ingeniería de Software
by: Edgar Serna Montoya
Published: (2010)

Proceso de confirmación metrológica dentro de una organización productiva
by: MARCELA BOTERO A
Published: (2008)

Especificación de un modelo para el estudio de la migración consensuada
by: María de los Ángeles Delgado Carrilo
Published: (2018)

Implementación de sistemas distribuidos de bajo costo bajo norma IEC-61499, en la estación de clasificación y manipulación del MPS 500
by: Gustavo Caiza
Published: (2017)

Sistemas distribuidos: principios y paradigmas / Andrew S. Tanenbaum, Maarten Van Steen; traductor, Jorge Octavio García Pérez, Rodolfo Navarro Salas
by: Tanenbaum, Andrew S
Published: (2008)

Introducción temprana al pensamiento algebraico: abordaje basado en la geometría
by: Cristianne Butto
Published: (2004)

Diseño de un clúster orientado a servicios para aplicaciones web en la universidad nacional experimental del táchira
by: Jhonangel Mireles
Published: (2015)

Decisiones constitucionales sobre especificación de derechos. Contribuciones para un modelo más comprometido con la democracia
by: DIEGO GAMARRA ANTES
Published: (2023)

ARQUITETURA DE SEGURANÇA EM APLICAÇÕES BASEADAS EM WEB SERVICES
by: Reginaldo F. Silva
Published: (2005)

Discusión de la implementación en Colombia del servicio complementario capacidad de operación por islas
by: Juan David Marín - Jiménez
Published: (2014)

Sistema de gestión de energía descentralizado basado en multiagentes para operación de múltiples microrredes
by: Alfredo Sánchez-Silvera
Published: (2021)

Desarrollo de sistemas interactivos en base a modelos de usuario
by: Francisco Luis Gutiérrez
Published: (2002)

Especificaciones de calidad en base a error total: ¿Cuál es la mejor elección?
by: Sofía del Campillo
Published: (2017)

Computação de objetos distribuídos na era da internet
by: Désiré Nguessan
Published: (2003)

Construcción de un proceso estocástico para simular el movimiento de caudales medios en el rio Fonce (San Gil - Santander)
by: María Esther Rivera
Published: (2015)

Localización de recursos distribuidos en redes eléctricas rurales-urbanas marginales considerando el índice de predicción de colapso de tensión
by: Anabel Lemus
Published: (2022)

SOA Distributed Systems Architecture
by: Guillermo Roberto Solarte Martínez
Published: (2021)

Sistema multiagentes para la descripción, localización, recuperación y acceso a documentos
by: Carlos Nelson Henríquez Miranda
Published: (2009)

Un nuevo algoritmo distribuido de exclusión mutua que minimiza el intercambio de mensajes
by: Jorge Pérez Rojas
Published: (2005)

Proposición de un método para balanceo de carga en un cluster heterogéneo simulado en NS2
by: John William Branch Bedoya
Published: (2009)

Evaluación de una solución de renderizado distribuido en las salas de cómputo de la Universidad Icesi para los estudiantes de Diseño Industrial y de Medios Interactivos
by: Juan David Osorio Betancur
Published: (2010)

Specification of a model for the study of management culture
by: Arturo Sánchez Sánchez
Published: (2019)

Blockchain y contratos inteligentes: aproximación a sus problemáticas y retos jurídicos
by: JORGE ALBERTO PADILLA SÁNCHEZ
Published: (2020)

Solución informática del subsistema de sincronización para centros de gestión de emergencias
by: Yahima Vigo Valdés
Published: (2009)

Especificación y verificación de un protocolo de comunicación tolerante a fallas de desconexión para aplicaciones colaborativas
by: Morales Matus, Marisela
Published: (2015)

Análisis de una herramienta educativa remota sobre procesadores digitales de señal desde la perspectiva de los modelos de aceptación tecnológica
by: Sergio Luis Toral Marín
Published: (2007)

EL MODELO PCC: PARTICIPACION CONSTRUCTIVA Y COLABORATIVA ONLINE (1)
by: M. Beatrice Ligorio
Published: (2014)

El aprendizaje por competencias y su evaluación: una aplicación para la asignatura Macroeconomía de nivel intermedio
by: Diego Romero de Ávila Torrijos
Published: (2010)

Modelo de programación asíncrona para Web transaccionales en un ambiente distribuido
by: Luis Marco Cáceres Alvarez
Published: (2011)

Liderazgo distribuido en equipos de trabajo: una aproximación conceptual
by: Alexandra Portalanza
Published: (2013)

Sistemas operativos: un enfoque basado en conceptos / Dhananjay. M. Dhamdhere; traductor, Thomas W. Bartenbach, Hugo Villagómez Vel zquez, Raúl Arrioja Ju rez
by: Dhamdhere, Dhananjay. M
Published: (2008)

Sistemas operativos: Aspectos internos y principios de diseño / / William Stallings; trad. José María Peña S nchez
by: Stallings, William
Published: (2005)

Liderazgo distribuido en escuelas públicas y relación con sus categorías de desempeño
by: Elisabeth Galaz Moraga
Published: (2023)

EVALUACIÓN DE LAS ESPECIFICACIONES DE CALIDAD DEL EXTRACTO LIPÍDICO DE CUCURBITA PEPO
by: Caridad Margarita García Peña
Published: (2022)

Análise do balanceamento de requisições em clusters Web não-dedicados
by: Jô Sato
Published: (2011)

Liderazgo distribuido, una visión innovadora de la dirección escolar: una perspectiva teórica
by: Ingrid del Valle García Carreño
Published: (2010)