Información General

• Editores: Universidad Rey Juan Carlos, Servicio de Publicaciones : Dykinson
• Año de publicación: 2004
• País: España
• Idioma: español
• ISBN: 84-9772-320-1
• Texto completo no disponible (Saber más ...)

Resumen

• En estas actas se recogen los trabajos presentados en las XII Jornadas de Concurrencia y Sistemas Distribuidos. Este congreso nacional se celebra anualmente como punto de encuentro de investigadores sobre esta materia. Su objetivo fundamental es poner en contacto departamentos universitarios, organismos de investigación y empresas para que conozcan sus respectivos trabajos e intereses. En esta edición las jornadas han cambiado su nombre del original Jornadas de concurrencia, para reflejar la evolución que han sufrido sus temáticas.

  La organización de esta edición ha estado a cargo de la Universidad Complutense de Madrid y la Universidad Rey Juan Carlos. Como en ediciones anteriores, se han recibido numerosos trabajos de temáticas diversas, que muestran la excelente saludo que gozan las áreas de interés. Los lectores podrán observar en este volumen la alta calidad de los trabajos presentados en esta edición.

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • A realistic model for true concurrency

    M. Carmen Ruíz, Fernando Cuartero Gómez, Diego Cazorla López, J. José Pardo

    págs. 13-26

    

  • Un modelo denotacional de continuaciones para un lenguaje funcional con streams

    Mercedes Hidalgo Herrero, Yolanda Ortega

    págs. 27-44

    

  • A formal e-barter system including transactions and shipping cost

    Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio

    págs. 45-60

    

  • A game theoretical approach to agent-driven resource optimization in user networks

    Juan Carlos Burguillo Rial, P.S Rodríguez Hernández, F.J González Castaño, Enrique Costa Montenegro, Javier Vales Alonso

    págs. 61-72

    

  • Adaptative middleware for data replication

    Jesús Manuel Milán Franco, Ricardo Jiménez Peris, M. Patiño Martínez, B. Kemme

    págs. 73-92

    

  • A modular middleware for reliable distributed programing

    Mikel Larrea Álava, Alberto Lafuente, Cristian Martín

    págs. 93-108

    

  • Infraestructura para la comunicación entre componentes Java en el estilo arquitectónico C2

    Enrique Soriano Salvador, Isabel Muñoz Fernández, Jorge Pérez Martínez

    págs. 109-124

    

  • Halo menbership service: a specific membership service for large dynamic client groups

    María del Carmen Bañuls Polo, Pablo Galdámez

    págs. 125-135

    

  • RT-GLADE: Implementación optimizada para tiempo real del anexo de sistemas distribuidos de Ada 95

    Juán López Campos, J. Javier Gutiérrez, Michael González Harbour

    págs. 135-152

    

  • Sim_Mast: Simulador de sistemas distribuidos de tiempo real

    Patricia López Martínez, Julio Medina, José M. Drake

    págs. 153-168

    

  • Plan B´s Personal Command Module. Commanding user activities in ubiquitous environments

    Elena Katia Leal Algara, Francisco J. Ballesteros, Gorka Guardiola Múzquiz, Enrique Soriano Salvador

    págs. 169-180

    

  • Modelos de atención desatendida de equipos terminales

    Omar Walid Llorente, Tomás Pedro de Miguel Moro

    págs. 181-198

    

  • Time-outs and delays in TPBC

    Olga Marroquín Alonso, David de Frutos Escrig

    págs. 199-212

    

  • Una solución de coste polinómico para la evitación de bloqueos en sistema de ensamblados con Redes de Petri

    Joaquín Ezpeleta Mateo, Rüdiger Valk

    págs. 213-228

    

  • Ambient Petri nets

    David de Frutos Escrig, Olga Marroquín Alonso

    págs. 229-248

    

  • Redes reconfigurables controladas por marcado: Redes de Petri con cambios dinámicos estructurales

    María Luisa Llorens Agost, Javier Oliver

    págs. 249-264

    

  • A distributed algorithm to provide network stability

    Juan Jesús Echague Guardiola, Manuel Prieto, Jesús Villadangos Alonso, Vicente Cholvi Juan

    págs. 265-276

    

  • Dynamic network topologies in scenarios with congestion

    Victor Laderas, Vicente Cholvi Juan, Luis López, Antonio Fernández

    págs. 277-286

    

  • Un algoritmo distribuido para la elección de líder en redes completas

    A. Córdoba, Jesús Villadangos Alonso, M. Prieto, José Javier Astrain Escola

    págs. 287-294

    

  • Lazy recovery in a hybrid database replication protocol

    Luis Irún Briz, Francisco Castro Company, Félix García Neiva, Antonio Calero Monteagudo, Francesc D. Muñoz Escoí

    págs. 295-308

    

  • A continuos model of adversarial queueing theory

    Daniel Calzada, Antonio Fernández, Luís López, Andrés L. Martínez, Agustín Santos Méndez

    págs. 309-316

    

  • Integration of interval logic specifications into the model Checker SPIN

    María del Mar Gallardo Melgarejo, Miguel J. Hornos Barranco, Jesús Martínez, Pedro Merino Gómez

    págs. 317-322

    

  • Hierarchical decomposition of formal equivalence proofs of distributed systems

    Miquel Bertran, Francesc Babot, August Climent i Ferrer

    págs. 323-338

    

  • Comunicación intercomponente en Archstudio 3.0: diseño del conector "Message Filtering"

    Isabel Muñoz, Jorge Pérez Martínez, Enrique Soriano Salvador

    págs. 339-350

    

  • Astronomous and self-sufficient groups: the next step on collaborative environments

    Joan Manuel Marquès, Leandro Navarro, Xavier Vilajosana Guillén, Toni Ribes

    págs. 351-366

    

  • Programming model based on concurrent objects for the AIBo robot

    Francisco Martín Rico, Rafaela González Careaga, José María Cañas Plaza, Vicente Matellán Olivera

    págs. 367-380

    

  • Una arquitectura para la gestión y el control personalizado de recursos domóticos

    R. Jimeno, Z. Salvador, A. Lafuente, M. Larrea, A. Uribarren

    págs. 381-392