XVI Jornadas de Concurrencia
y Sistemas Distribuidos
11 - 13 de Junio
Albacete

 
       

 
Programa

11 de Junio 12 de junio 13 de junio
09h00 - 9h30
Registro
 
 
09h30 - 09h45
Inauguración
 09h30 - 11h30
Sesión 4
Métodos
Formales
Sesión 6 Sistemas Distribuidos
10h00 - 11h30
Sesión 1
Redes I
11h30 - 12h00
Café
 11h30 - 12h00
Café
Café
12h00 - 13h30
Sesión 2
Redes II
12h00 - 14h00
Sesión 5  Verificación de sistemas
Sesión 7.  Tolerancia a Fallos
13h30 - 16h00
Comida
 14h00 - 16h00
Comida
Clausura y Comida
16h30 - 18h00
Sesión 3
Métodos
Formales
 16h30 - 21h00
Visita a Alcalá del Júcar
18h00 - 21h00
Visita Cultural
21h00
Cena de Gala

PROGRAMA PREELIMIAR JCSD 08

MIERCOLES DIA 11-JUNIO

9:00-9:30  Registro

9:30-9:45 Inauguración

9:45:-10:00 Descanso

10:00- 11:30 Sesión 1  Redes  I

  1.  Detecting the important factors in a workload for quantitative performance comparisons of dense network simulators.

P. Boronat, E. Rodríguez, M. Pérez, P. Manzoni

  1. Uniform energy consumption data for data aggregation in wireless sensor Networks

      Y.E. Massad, M. Goyeneche, A. Labat, J.J. Astrain, J. Villadangos

  1. Taxos: Detecting Network Islands

S. de Mingo

11:30- 12:00 Café

12:00-13:30 Sesión 2  Redes II

  1. Prioritized atomic multicast protocols: from theory to practice

E. Miedes, F. D. Muñoz-Escoi

  1. Membership and routing services crosslayer cooperatioon

J. C. García, M. C. Bañuls, S. Beyer, P. Galdamez

  1. Algoritmos adaptativos para parámetros de calidad de servicio en piconets bluetooth

D. Contreras, M. Castro

 

13:30-16:00 Comida

 

16:00- 18:00 Sesión 3 Métodos formales

  1. Recent snapshots on simplification and sequentialization of distributed system models for their formal verification

M. Bertran, F. Babot, A. Climent

  1. Analysing Variable-Cost Graphs by using River Formation Dynamics

P. Rabanal, I. Rodríguez, F. Rubio

  1. Autómatas celulares y computación paralela: un caso de estudio

       R. Duran, R. Rico

  1.  Formally comparing user and implementer model-based testing methods

C. Andrés, L. Llana, I. Rodríguez

 18:00-21:00  Visita Cultural

 

JUEVES DIA 12-JUNIO

9:30- 11:30 Sesión 4 Modelos Formales

  1. Concurrencia y paralelismo en los Autómatas Cooperativos Extendidos

C. Herrero, J. Oliver

  1. Técnicas de fragmentación para redes de Petri.

       M. Llorrens, J. Oliver, J. Silva, S.Tamarit, G. Vidal

  1. Universal coinductive characterizations of process semantics

D. de Frutos, C. Gregorio

  1. Proponiendo una política para el manejo de la estructura organizacional del grupo basada en un modelo conceptual

      M. Anzures, L. A. Sanchez,  M. J. Hornos,  P. Paderawski

11:30- 12:00 Cafe

 

12:00- 14:00 Sesión 5  Verificación de sistemas

  1. Verificación de la Compatibilidad Sintáctica de las Interacciones entre procesos Web ejecutados en Deneb

      M. J. Ibáñez, P. Álvarez, J. Ezpeleta

  1. Estado del arte de herramienta para la verificación de sistemas híbridos

      M.M. Gallardo, P. Merino, L. Panizo

  1. A Methodology for the design and analysis of security protocols with timed automata

      Ll. Tobarra, D. Cazorla, F. Cuartero

  1. Automatic verification of C programs with dynamic memory allocation

       M.M. Gallardo, P. Merino, D. Sanan

 

 

14:00- 16:00 Comida

 

16:30- 21:00 Excursión a Alcalá del Júcar

 

21:00  Cena De las Jornadas (Chinchilla de Montearagon)

 

VIERNES DIA 13-JUNIO

9:30- 11:30 Sesión 6 Sistemas Distribuidos

  1. Integración Flexible de Procesos Web basada en la Adquisición Dinámica de Protocolos de interacción

      J. Fabra, P. Álvarez, J.A. Bañares J. Ezpeleta.

  1. Integrity constraint Management in certification-based replication protocols

      M.I. Ruiz, F.D. Muñoz, H. Decker

  1. Tecnología de componentes CCM basada en conectores

L. Barros, P. López, J. M. Drake

  1.  Automatic reconfiguration in partially replicated databases based on data locality

      D. Serrano, M. Patiño, R. Jiménez, B. Kemme

 

11:30- 12:00 Cafe

 

12:00- 14:00 Sesión 7.  Tolerancia a Fallos

  1.  Efficient failure detectors: from crash to omission failure models

        R. Cortiñas, M. Larrea, A. Lafuente, I. Soraluze

  1. Eventual leader election in the crash-recovery failure model

C. Martin, M. Larrea

  1. From omega to   in the crash recovery failure model with unknown membership

M. Larrea, C. Martin

  1. Optimal failure detection with low sporadic overhead and communication locality
    1. Lafuente, M. Larrea, I Soraluze, R Cortiñas

 

14:00- 14:15 Clausura

14:30 Comida

 

 

 

JCSD 2008
 
Presentación  
Fechas Importantes  
Envíos  
Comité Organizador  
Como Llegar  
Alojamiento  
Lugar de celebración  
Inscripción  
Programa  
Contactar  

Mapa de Albacete

Mapa de Albacete

Info Turística

RETICS - UCLM