Sesiones científicas:

CONTENIDO DE LAS SESIONES CIENTÍFICAS:

Presentación de las Jornadas

Sergio Arévalo Viñuales - Universidad Rey Juan Carlos
Miguel J. Hornos - Universidad de Granada

Sesión 14.1: Detección de Fallos

Diseño e implementación de un componente para la detección de fallos en sistemas distribuidos síncronos y parcialmente síncronos
Jorge Enrique Pérez, Antonio Fernández, Enrique Soriano Salvador, Sergio Arévalo Viñuales
Universidad Politécnica de Madrid

Early deciding asynchronous consensus with perpetual failure detectors
Mikel Larrea Alava, Alberto Lafuente Rojo
Universidad del País Vasco

Minimal System Conditions to Implement Unreliable Failure Detectors
Sergio Arévalo Viñuales, Antonio Fernández Anta, Ernesto Jiménez Merino
Universidad Rey Juan Carlos

Sesión 14.2: Resolución y Prevención de Interbloqueos

A distributed deadlock resolution algorithm with a linear message complexity
María Castillo, Alberto Córdoba, Federico Fariña, Jesús Villadangos
Universidad Pública de Navarra

Using linear programming and the Petri net structure for deadlock prevention in Sequential Resource Allocation Systems
Fernando Tricas, Fernando García-Vallés, José Manuel Colom, Joaquín Ezpeleta
Universidad de Zaragoza

An efficient distributed deadlock resolution algorithm for the single-resource request model
Manuel Prieto, Jesús Villadangos, Federico Fariña, Alberto Córdoba
Universidad Pública de Navarra

Sesión 14.3: Arquitecturas I

MADIS: A slim middleware for database replication
Luís Irún, Hendrik Decker, Rubén De Juan Marín, Paco Castro Company, José Enrique Armendáriz Iñigo, Francisco Daniel Muñoz i Escoí
Instituto Tecnológico de Informática

Exactly Once Interaction in a Multi-tier Architecture with Replicated Tires
Marta Patiño, Bettina Kemme, Ricardo Jiménez Peris, Jorge Salas López
Universidad Politécnica de Madrid

Implementing Replication Protocols in the MADIS Architecture
José Enrique Armendariz, José Ramón Juárez, Itziar Unzueta, José Ramón Garitagoitia, Francesc Daniel Muñoz, Luis Irún
Universidad Pública de Navarra

Sesión 14.4: Arquitecturas II

Bunshin: DHT para aplicaciones distribuidas
Rubén Mondéjar, Pedro García, Carles Pairot
Universitat Rovira i Virgili

Middleware de distribución y modelo transaccional en sistemas de tiempo real
J. Javier Gutiérrez García, Michael González Harbour, Juan López Campos
Universidad de Cantabria

Highly available long running transactions and activities for J2EE applications
Francisco Pérez, Jaksa Vuckovic, Marta Patiño, Ricardo Jiménez
Universidad Politécnica de Madrid

Sesión 15.1: Métodos Formales

Analysis of an application of Web Services Security with Formal Methods
Mª Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz
Universidad de Castilla-La Mancha

Specifying the Memorization Process with Timed-Arc Petri Nets
Mercedes García Merayo, Fernando López Pelayo, Maria López Pelayo
Universidad Complutense de Madrid

Automatic Translation of WS-CDL Choreographies to Timed Autómata
Juan José Pardo, Gregorio Díaz, M. Emilia Cambronero, Valentín Valero, Fernando Cuartero
Universidad de Castilla-La Mancha

Sesión 15.2: Especificación, Verificación y Validación de Sistemas

MCReNet: una herramienta para el modelado y la verificación de Redes Reconfigurables Controladas por Marcado
Marisa Llorens, Javier Oliver
Universidad Politécnica de Valencia

SimECA: Un simulador para los Autómatas Cooperativos
Carlos Herrero Cucó, Javier Oliver Villarroya
Universidad Politécnica de Valencia

SocketMC: A tool to verify C code
David Sanán, Pedro de la Cámara , María del Mar Gallardo, Pedro Merino
Universidad de Málaga

Sesión 15.3: Redes y Sistemas de Comunicaciones I

Observatorio de Internet: Modelo de supervisión, optimización y mejora global del encaminamiento de datos entre Sistemas Autónomos
José Luis Gahete Díaz, Fernándo Gómez González, Alejandro García San Luis, Mario Castro Ponce
Universidad Pontificia Comillas de Madrid

On-Demand Membership Service for Energy-Aware Networks
Mari-Carmen Bañuls Polo, Pablo Galdámez Saiz
Instituto Tecnológico de Informática

Stability of FIFO in Packet--Switched Networks: State of the Art
Juan Echagüe Guardiola, Vicent Cholvi i Juan
Universitat Jaume I

Sesión 15.4: Redes y Sistemas de Comunicaciones II

Modelado Multi-agente de la gestión de recursos en redes de usuarios
Juan Carlos Burguillo Rial, Enrique Costa Montenegro, Francisco Javier González Castaño, Javier Vales Alonso, Pedro Salvador Rodríguez Hernández
Universidad de Vigo

Análisis de Symbian OS para desarrollar aplicaciones distribuidas sobre terminales GPRS
Almudena Díaz Zayas, Pedro Merino Gómez, F. Javier Rivas Tocado
Universidad de Málaga

Group communication protocol replacement for high availability and adaptiveness
Emili Miedes de Elías, Mari-Carmen Bañuls, Pablo Galdámez
Instituto Tecnológico de Informática

Sesión 16.2: Miscelánea

Aplicación del Modelo de Coordinación Linda al Desarrollo de Sistemas Groupware
Manuel Noguera, José Luis Garrido, Miguel González, Miguel J. Hornos, José Antonio Gómez
Universidad de Granada

Un servicio distribuido de replicación B2B
José Javier Astrain, Alberto Córdoba, Jesús Villadangos
Universidad Pública de Navarra

Componentización para la Adecuación Tecnológica de Software Heredado
Xabier Elkorobarrutia, Miren Illarramendi, Alberto Izagirre
Mondragón Unibertsitatea