Universidad de Castilla-La Mancha
 
Departamento de Sistemas Informáticos





Orden: clave descripción fecha autor
 
Technical Reports
 
  DIAB-04-12-1 2004-12-01 Implementación y evaluación de un modelo de gestión de la tabla de arbitraje en InfiniBand
ABRAHAO, S.
  DIAB-04-02-2 2004-02-06 Una Ontología de la Medición del Software
ALEDO SÁNCHEZ, JUAN ÁNGEL
  DIAB-00-01-07 2000-01-31 A comparative study between two general methods for the approximate construction of regular polygons by using mathematica
  DIAB-00-01-08 2000-01-01 A study of particular methods for the approximate construction of some regular polygons by using mathematica
ALFARO CORTES, FRANCISCO JOSÉ
  DIAB-01-02-20 2001-02-01 A strategy to compute the Infiniband Arbitration Tables
  DIAB-03-02-35 2003-03-09 Formalizing the Fill in of the InfiniBand Arbitration Table
  DIAB-04-12-1 2004-12-01 Implementación y evaluación de un modelo de gestión de la tabla de arbitraje en InfiniBand
  DIAB-04-12-2 2004-12-23 A Strategy to Reduce the Delay and Implementation Cost of QoS Support in Clusters
  DIAB-05-01-5 2005-01-26 Providing QoS over Advanced Switching
  DIAB-06-02-1 2006-02-16 Decoupling the bandwidth and latency bounding for table-based schedulers
  DIAB-06-02-2 2006-02-17 Implementing the Advanced Switching Minimum Bandwidth Egress Link Scheduler
  DIAB-06-06-1 2006-06-15 Improving the flexibility of the Deficit Table scheduler
  DIAB-08-07-1 2008-07-19 Hardware implementation study of several new egress link scheduling algorithms
  DIAB-11-02-1 2011-02-07 An Alternative for Building High-Radix Switches: Formalization and Configuration Methodology.
  DIAB-11-02-2 2011-02-09 An Alternative for Building High-Radix Switches: Application for Special Traffic Patterns
  DIAB-11-02-3 2011-02-09 Building 3D torus using low--profile expansion cards
  DIAB-13-10-1 2013-10-18 N-dimensional Twin Torus Networks
ANDÚJAR MUÑOZ, FRANCISCO JOSÉ
  DIAB-11-02-1 2011-02-07 An Alternative for Building High-Radix Switches: Formalization and Configuration Methodology.
  DIAB-11-02-2 2011-02-09 An Alternative for Building High-Radix Switches: Application for Special Traffic Patterns
  DIAB-11-02-3 2011-02-09 Building 3D torus using low--profile expansion cards
  DIAB-13-10-1 2013-10-18 N-dimensional Twin Torus Networks
APARICIO, INMACULADA
  DIAB-06-05-1 2006-05-17 WS-CDL to Timed Automata Translation
ARIAS ANTÚNEZ, ENRIQUE
  DIAB-10-12-1 2010-12-28 A GPU-based implementation for Range Queries on Spaghettis Data Structures
  DIAB-13-05-2 2013-05-14 Metric Data Structures Supported by Heterogeneous Systems
BERMÚDEZ MARÍN, AURELIO
  DIAB-03-02-36 2003-02-01 Evaluation of a subnet management mechanism for Infiniband networks
  DIAB-06-09-1 2006-09-04 Implementing the Advanced Switching Fabric Discovery Process
  DIAB-08-02-1 2008-02-04 Deadlock-Free Dynamic Network Reconfiguration Based on Close Up*/Down* Graphs
BERTOA, M.F.
  DIAB-04-02-2 2004-02-06 Una Ontología de la Medición del Software
CALERO, C.
  DIAB-04-02-2 2004-02-06 Una Ontología de la Medición del Software
CAMBRONERO PIQUERAS, MARÍA EMILIA
  DIAB-02-01-25 2002-01-01 NEW FEATURES OF TPAL FOR THE SPECIFICATION AND ANALISIS OF CONCURRENT SYSTEMS
  DIAB-04-10-1 2004-10-26 Simulation and Visualization of Timed-Arcs Petri Nets in TPAL
  DIAB-06-05-1 2006-05-17 WS-CDL to Timed Automata Translation
  DIAB-09-04-1 2009-04-16 Web Services Choreographies Verification
  DIAB-09-04-3 2009-04-20 A comparative study between WSCI, WS-CDL, and OWL-S
  DIAB-11-11-1 2011-11-16 Automatic Translation from WS-CDL to Prioritized-Timed Colored Petri Nets by using WST Tool.
  DIAB-12-05-1 2012-05-08 Specification and Verification of Normative Specifications using C-O Diagrams
CAMINERO HERRÁEZ, AGUSTÍN
  DIAB-07-01-1 2007-01-17 Extending GridSim to provide computing resource failures
  DIAB-07-08-1 2007-08-16 A Taxonomy of Proposals for Network QoS in Grid Systems
  DIAB-07-10-1 2007-10-31 Simulation of Buffer Management Policies in Networks for Grids
  DIAB-08-01-1 2008-01-31 Network-aware Peer-to-Peer Based Grid Inter-Domain Scheduling
  DIAB-08-04-2 2008-04-30 Grid Metascheduling Using Network Information: A Proof-of-Concept Implementation
  DIAB-09-04-2 2009-04-17 Network-aware Peer-to-Peer Based Grid Inter-Domain Scheduling: A performance evaluation
  DIAB-10-03-2 2010-03-25 Using Network Information to Perform Meta-scheduling in Advance in Grids
CAMINERO HERRÁEZ, Mª BLANCA
  DIAB-00-02-09 2000-02-01 Tecnicas de Planificacion de Conmutadores Orientadas a Garantizar QoS a Trafico Multimedia
  DIAB-00-02-10 2000-02-15 Switch Scheduling in the Multimedia Router (MMR).
  DIAB-02-02-28 2002-02-01 MMR: A Multimedia Router Architecture to Support Integrated Workloads
  DIAB-02-02-29 2002-02-01 on Buffer Size Requirements of the Multimedia Router (MMR)
  DIAB-02-02-30 2002-02-01 A Low-Cost Router Design for k-ary n-cube Networks
  DIAB-03-02-34 2003-02-01 Traffic Scheduling Solutions with QoS Support for an Input-Buffered MultiMedia Router
  DIAB-07-01-1 2007-01-17 Extending GridSim to provide computing resource failures
  DIAB-07-08-1 2007-08-16 A Taxonomy of Proposals for Network QoS in Grid Systems
  DIAB-07-10-1 2007-10-31 Simulation of Buffer Management Policies in Networks for Grids
  DIAB-08-01-1 2008-01-31 Network-aware Peer-to-Peer Based Grid Inter-Domain Scheduling
  DIAB-08-04-2 2008-04-30 Grid Metascheduling Using Network Information: A Proof-of-Concept Implementation
  DIAB-09-04-2 2009-04-17 Network-aware Peer-to-Peer Based Grid Inter-Domain Scheduling: A performance evaluation
  DIAB-09-06-1 2009-06-10 Instalación y Evaluación de OpenNebula en el Laboratorio RAAP del i3a
  DIAB-10-03-2 2010-03-25 Using Network Information to Perform Meta-scheduling in Advance in Grids
  DIAB-10-08-1 2010-08-27 Flexible advance-reservation (FAR) for Clouds
  DIAB-15-03-1 2015-03-18 Nacreous: An Adaptive Service–Aware IaaS Cloud Manager
  DIAB-16-06-1 2016-06-01 Power and Performance Optimization for Heterogeneous Clouds
CANÿS, JOSÓ M.
  DIAB-01-06-21 2001-06-01 Estudio del estado del arte en modelado y ejecución de procesos interorganizacionales
CARRIóN ESPINOSA, CARMEN
  DIAB-02-02-28 2002-02-01 MMR: A Multimedia Router Architecture to Support Integrated Workloads
  DIAB-02-02-29 2002-02-01 on Buffer Size Requirements of the Multimedia Router (MMR)
  DIAB-02-02-30 2002-02-01 A Low-Cost Router Design for k-ary n-cube Networks
  DIAB-03-02-34 2003-02-01 Traffic Scheduling Solutions with QoS Support for an Input-Buffered MultiMedia Router
  DIAB-07-01-1 2007-01-17 Extending GridSim to provide computing resource failures
  DIAB-07-08-1 2007-08-16 A Taxonomy of Proposals for Network QoS in Grid Systems
  DIAB-07-10-1 2007-10-31 Simulation of Buffer Management Policies in Networks for Grids
  DIAB-08-01-1 2008-01-31 Network-aware Peer-to-Peer Based Grid Inter-Domain Scheduling
  DIAB-08-04-2 2008-04-30 Grid Metascheduling Using Network Information: A Proof-of-Concept Implementation
  DIAB-09-04-2 2009-04-17 Network-aware Peer-to-Peer Based Grid Inter-Domain Scheduling: A performance evaluation
  DIAB-09-06-1 2009-06-10 Instalación y Evaluación de OpenNebula en el Laboratorio RAAP del i3a
  DIAB-10-03-2 2010-03-25 Using Network Information to Perform Meta-scheduling in Advance in Grids
  DIAB-10-08-1 2010-08-27 Flexible advance-reservation (FAR) for Clouds
  DIAB-15-03-1 2015-03-18 Nacreous: An Adaptive Service–Aware IaaS Cloud Manager
  DIAB-16-06-1 2016-06-01 Power and Performance Optimization for Heterogeneous Clouds
CASADO GONZÁLEZ, RAFAEL
  DIAB-01-02-16 2001-02-01 Protocolos de encaminamiento en Internet
  DIAB-01-02-17 2001-02-01 Herramienta de análisis de bloques en redes de interconexión
  DIAB-03-02-36 2003-02-01 Evaluation of a subnet management mechanism for Infiniband networks
  DIAB-06-09-1 2006-09-04 Implementing the Advanced Switching Fabric Discovery Process
  DIAB-08-02-1 2008-02-04 Deadlock-Free Dynamic Network Reconfiguration Based on Close Up*/Down* Graphs
  DIAB-98-02-01 1998-02-01 An Efficient Protocol for Dynamic Reconfiguration in Irregular Networks
CAZORLA LÓPEZ, DIEGO
  DIAB-00-01-11 2000-11-01 A Process Algebra for Probabilistic and Nondeterministic Processes
  DIAB-01-01-19 2001-09-01 Algebraic Theory of Probabilistic and Nondeterministic Processes
  DIAB-02-01-32 2002-11-01 Analysis of the MPEG-2 Encoding Algorithm with ROSA
  DIAB-03-01-37 2003-09-17 Introducing the iteration in sPBC
  DIAB-04-11-1 2004-11-26 Formal Verification of the Secure Sockets Layer Protocol
  DIAB-04-11-2 2004-11-30 Verificación de TLS 1.0 y extensiones para redes inalámbricas
  DIAB-10-12-1 2010-12-28 A GPU-based implementation for Range Queries on Spaghettis Data Structures
  DIAB-13-05-2 2013-05-14 Metric Data Structures Supported by Heterogeneous Systems
  DIAB-98-01-02 1998-10-01 A Denotational Model for Probabilistic and Nondeterministic Processes
CLAVER IBORRA, JOSÉ MANUEL
  DIAB-08-07-1 2008-07-19 Hardware implementation study of several new egress link scheduling algorithms
  DIAB-11-01-2 2011-01-25 Optimizing H.264/AVC Inter Prediction on a GPU-based Framework
CONEJERO BAÑON, FRANCISCO JAVIER
  DIAB-15-03-1 2015-03-18 Nacreous: An Adaptive Service–Aware IaaS Cloud Manager
CORTÉS LÓPEZ, JUAN CARLOS
  DIAB-00-01-07 2000-01-31 A comparative study between two general methods for the approximate construction of regular polygons by using mathematica
  DIAB-00-01-08 2000-01-01 A study of particular methods for the approximate construction of some regular polygons by using mathematica
CUARTERO GÓMEZ, FERNANDO
  DIAB-00-01-11 2000-11-01 A Process Algebra for Probabilistic and Nondeterministic Processes
  DIAB-01-01-19 2001-09-01 Algebraic Theory of Probabilistic and Nondeterministic Processes
  DIAB-02-01-26 2002-06-01 A new proposal for the synchronization in SPBC
  DIAB-02-01-31 2002-10-01 A Congruence relation in finite sPBC
  DIAB-02-01-32 2002-11-01 Analysis of the MPEG-2 Encoding Algorithm with ROSA
  DIAB-03-01-37 2003-09-17 Introducing the iteration in sPBC
  DIAB-98-01-02 1998-10-01 A Denotational Model for Probabilistic and Nondeterministic Processes
  DIAB-99-01-04 1999-01-04 Modelos temporizados y probabilisticos
CUESTA QUINTERO, CARLOS ENRIQUE
  DIAB-13-09-1 2013-09-27 Analyzing Linked Data tools for sharing Architectural Knowledge
  DIAB-14-03-2 2014-03-27 Evaluating visualization techniques for Architectural Knowledge: experimental material
DIAZ DESCALZO, GREGORIO
  DIAB-02-02-30 2002-02-01 A Low-Cost Router Design for k-ary n-cube Networks
  DIAB-06-05-1 2006-05-17 WS-CDL to Timed Automata Translation
  DIAB-09-04-1 2009-04-16 Web Services Choreographies Verification
  DIAB-09-04-3 2009-04-20 A comparative study between WSCI, WS-CDL, and OWL-S
  DIAB-09-06-2 2009-06-22 Automatic deriving choreography-conforming systems of services
  DIAB-11-11-1 2011-11-16 Automatic Translation from WS-CDL to Prioritized-Timed Colored Petri Nets by using WST Tool.
  DIAB-12-04-2 2012-04-24 A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF
  DIAB-12-05-1 2012-05-08 Specification and Verification of Normative Specifications using C-O Diagrams
DIAZ TELLO, MARIA
  DIAB-11-11-1 2011-11-16 Automatic Translation from WS-CDL to Prioritized-Timed Colored Petri Nets by using WST Tool.
DUATO, JOSÉ
  DIAB-00-02-10 2000-02-15 Switch Scheduling in the Multimedia Router (MMR).
  DIAB-01-02-16 2001-02-01 Protocolos de encaminamiento en Internet
  DIAB-01-02-20 2001-02-01 A strategy to compute the Infiniband Arbitration Tables
  DIAB-02-02-28 2002-02-01 MMR: A Multimedia Router Architecture to Support Integrated Workloads
  DIAB-02-02-29 2002-02-01 on Buffer Size Requirements of the Multimedia Router (MMR)
  DIAB-03-02-34 2003-02-01 Traffic Scheduling Solutions with QoS Support for an Input-Buffered MultiMedia Router
  DIAB-03-02-36 2003-02-01 Evaluation of a subnet management mechanism for Infiniband networks
  DIAB-04-12-2 2004-12-23 A Strategy to Reduce the Delay and Implementation Cost of QoS Support in Clusters
  DIAB-05-07-1 2005-07-07 Dynamic Evolution of Congestion Trees: Analysis and Impact on Switch Architecture
  DIAB-10-04-1 2010-04-22 Efficient Congestion Management for High-Performance Interconnection Networks with Distributed Routing
  DIAB-11-02-1 2011-02-07 An Alternative for Building High-Radix Switches: Formalization and Configuration Methodology.
  DIAB-11-02-2 2011-02-09 An Alternative for Building High-Radix Switches: Application for Special Traffic Patterns
  DIAB-11-02-3 2011-02-09 Building 3D torus using low--profile expansion cards
  DIAB-13-10-1 2013-10-18 N-dimensional Twin Torus Networks
  DIAB-98-02-01 1998-02-01 An Efficient Protocol for Dynamic Reconfiguration in Irregular Networks
ESCUDERO SAHUQUILLO, JESUS
  DIAB-10-04-1 2010-04-22 Efficient Congestion Management for High-Performance Interconnection Networks with Distributed Routing
FERNÁNDEZ CABALLERO, ANTONIO
  DIAB-01-03-18 2001-03-01 Redes STN y CPN para el Reconocimiento de Rostros
  DIAB-99-03-06 1999-03-06 Una aproximación neuronal al seguimiento de un objeto a través de su tamaño y su localización.
FERNANDEZ ESCRIBANO, GERARDO
  DIAB-11-01-2 2011-01-25 Optimizing H.264/AVC Inter Prediction on a GPU-based Framework
FERNANDEZ GRACIANI, MIGUEL ANGEL
  DIAB-01-03-18 2001-03-01 Redes STN y CPN para el Reconocimiento de Rostros
  DIAB-99-03-06 1999-03-06 Una aproximación neuronal al seguimiento de un objeto a través de su tamaño y su localización.
FERNANDEZ-MEDINA, E
  DIAB-05-01-2 2005-01-14 Seguridad en Servicios Web
FLICH CARDO, JOSÉ
  DIAB-05-07-1 2005-07-07 Dynamic Evolution of Congestion Trees: Analysis and Impact on Switch Architecture
  DIAB-10-04-1 2010-04-22 Efficient Congestion Management for High-Performance Interconnection Networks with Distributed Routing
FLORES GALLEGO, MARIA JULIA
  DIAB-01-04-15 2001-04-01 Incremental compilation of a Bayesian network
GALINDO MORENO, RAUL
  DIAB-11-12-1 2011-12-09 I3ASensorBed: a testbed for wireless sensor networks
GALLUD LAZARO, JOSE ANTONIO
  DIAB-07-01-2 2007-01-24 HCI design patterns for Space Structured Applications on PDA
  DIAB-09-10-1 2009-10-16 WallShare: A Collaborative Multipointer System for Portable Devices
  DIAB-09-11-1 2009-11-06 CREACIÓN DE SERVICIOS EN DISPOSITIVOS MÓVILES UTILIZANDO EL LENGUAJE NATURAL
  DIAB-12-10-1 2012-10-09 A Taxonomy for Distributed User Interfaces
  DIAB-13-05-1 2013-05-08 A Model-Based Approach for Supporting Offline Interaction with Web Sites Resilient to Interruptions
  DIAB-13-05-3 2013-05-24 Proxywork: Framework to transform from Web Application to Distributable User Interface Web Application
  DIAB-16-11-1 2016-11-30 An MDA Approach to Develop Language-Learning Applications
GAMEZ MARTIN, JOSE ANTONIO
  DIAB-01-04-13 2001-04-01 Searching for the best elimination secuence in Bayesian networks by using Aut Colony based optimization
  DIAB-03-11-1 2003-06-10 Abductive Inference in Bayesian Networks: A review
  DIAB-04-02-1 2004-02-02 Migration of probability models instead of individuals: an alternative when applying the island model to EDAs
  DIAB-04-06-1 2004-06-01 Evaluating the effectiveness of traffic balancing algorithms
  DIAB-05-01-3 2005-01-24 Mining the ESROM: A study of breeding value prediction in Manchego sheep by means of classification techniques + attribute selection and construction
  DIAB-08-04-1 2008-04-29 Towards consistency in general dependency networks
GARCIA, FELIX
  DIAB-04-02-2 2004-02-06 Una Ontología de la Medición del Software
GARCÍA, IGNACIO
  DIAB-05-01-1 2005-01-14 Servicios Web
GARCÍA GARCÍA, PEDRO JAVIER
  DIAB-05-07-1 2005-07-07 Dynamic Evolution of Congestion Trees: Analysis and Impact on Switch Architecture
  DIAB-10-04-1 2010-04-22 Efficient Congestion Management for High-Performance Interconnection Networks with Distributed Routing
GARCIA-CONSUEGRA BLEDA, JESUS DAMIAN
  DIAB-01-06-21 2001-06-01 Estudio del estado del arte en modelado y ejecución de procesos interorganizacionales
  DIAB-01-06-22 2001-06-01 Base de datos: Persistencia del espacio-tiempo
GARRIDO DEL SOLO, ANTONIO
  DIAB-06-03-2 2006-03-31 NFS behavior with multimedia clusters. Problems and Solutions
GENERO, M.
  DIAB-04-02-2 2004-02-06 Una Ontología de la Medición del Software
GÓMEZ QUESADA, FRANCISCO JAVIER
  DIAB-01-03-18 2001-03-01 Redes STN y CPN para el Reconocimiento de Rostros
  DIAB-99-03-06 1999-03-06 Una aproximación neuronal al seguimiento de un objeto a través de su tamaño y su localización.
GONZALEZ LÓPEZ, PASCUAL
  DIAB-05-01-4 2005-01-24 IdealXML: an Experience-Based Environment for User Interface Design and pattern manipulation
  DIAB-11-01-1 2011-01-13 An Empirical Evaluation of Requirement Engineering Techniques for Collaborative Systems
  DIAB-11-03-1 2011-03-01 A COMPARATIVE OF GOAL-ORIENTED APPROACHES TO MODELLING REQUIREMENTS FOR COLLABORATIVE SYSTEMS
  DIAB-11-06-1 2011-06-13 Assesing the Understandability of Collaborative Systems Requirements Notations: an Empirical Study - Experimental Material
  DIAB-12-04-1 2012-04-19 CSRML Tool: una Herramienta para el Modelado de Requisitos de Sistemas Colaborativos con CSRML - Diagramas
  DIAB-13-02-1 2013-02-07 Usability Evaluation of a CSCW Requirements Engineering CASE Tool – Usability Test Material
  DIAB-13-04-1 2013-04-22 User-Centered Reverse Engineering
  DIAB-15-02-1 2015-02-05 Applying Thematic Analysis to define an Awareness Interpretation for Collaborative Computer Games – Survey Questions
GONZALEZ VALVERDE, SOLEDAD
  DIAB-04-03-1 2004-03-25 Combining Composition and Tupling for Optimizing Declarative Programs
  DIAB-04-05-1 2004-05-04 Incremental Tupling with Simplification Pre-Process
GONZALEZ VILLANUEVA, PEDRO
  DIAB-13-05-3 2013-05-24 Proxywork: Framework to transform from Web Application to Distributable User Interface Web Application
GUTIERREZ, C.
  DIAB-05-01-2 2005-01-14 Seguridad en Servicios Web
JOHNSON, IAN
  DIAB-05-07-1 2005-07-07 Dynamic Evolution of Congestion Trees: Analysis and Impact on Switch Architecture
JULIAN IRANZO, PASCUAL
  DIAB-03-12-2 2003-12-04 Analysing Definitional Trees: Looking for Determinism
  DIAB-04-03-2 2004-03-29 Unfolding Fuzzy Logic Programs
LABORDA CAMACHO, JOAQUIN
  DIAB-04-12-1 2004-12-01 Implementación y evaluación de un modelo de gestión de la tabla de arbitraje en InfiniBand
LÓPEZ GIL, JUAN MIGUEL
  DIAB-12-11-1 2012-11-16 Questionnaires for the Evaluation of Awareness in a Groupware Application
LÓPEZ JAQUERO, VÍCTOR MANUEL
  DIAB-06-03-1 2006-03-24 Fast HI-FI prototyping by using IdealXML
  DIAB-10-10-1 2009-11-30 Redundancy and Reconfiguration Study: State of Art
  DIAB-10-10-2 2010-02-26 Redundancy and Reconfiguration Study: Solution Description
  DIAB-11-01-1 2011-01-13 An Empirical Evaluation of Requirement Engineering Techniques for Collaborative Systems
  DIAB-11-01-3 2011-01-25 ARINC 653 profile for Enterprise Architect tool
  DIAB-11-01-4 2011-01-25 Identifying proper fault-tolerant mechanisms for IMA2 hardware specification
  DIAB-11-03-1 2011-03-01 A COMPARATIVE OF GOAL-ORIENTED APPROACHES TO MODELLING REQUIREMENTS FOR COLLABORATIVE SYSTEMS
  DIAB-11-06-1 2011-06-13 Assesing the Understandability of Collaborative Systems Requirements Notations: an Empirical Study - Experimental Material
  DIAB-11-07-1 2011-07-04 Fault tolerance mechanism design description for IMA2
  DIAB-11-09-1 2011-09-13 Descripción de cierre de actividades IMA2/WP3.1
  DIAB-12-04-1 2012-04-19 CSRML Tool: una Herramienta para el Modelado de Requisitos de Sistemas Colaborativos con CSRML - Diagramas
  DIAB-12-11-1 2012-11-16 Questionnaires for the Evaluation of Awareness in a Groupware Application
  DIAB-13-02-1 2013-02-07 Usability Evaluation of a CSCW Requirements Engineering CASE Tool – Usability Test Material
  DIAB-13-04-1 2013-04-22 User-Centered Reverse Engineering
  DIAB-15-02-1 2015-02-05 Applying Thematic Analysis to define an Awareness Interpretation for Collaborative Computer Games – Survey Questions
LÓPEZ PELAYO, FERNANDO
  DIAB-00-01-07 2000-01-31 A comparative study between two general methods for the approximate construction of regular polygons by using mathematica
  DIAB-00-01-08 2000-01-01 A study of particular methods for the approximate construction of some regular polygons by using mathematica
  DIAB-00-01-11 2000-11-01 A Process Algebra for Probabilistic and Nondeterministic Processes
  DIAB-01-01-19 2001-09-01 Algebraic Theory of Probabilistic and Nondeterministic Processes
  DIAB-02-01-26 2002-06-01 A new proposal for the synchronization in SPBC
  DIAB-02-01-32 2002-11-01 Analysis of the MPEG-2 Encoding Algorithm with ROSA
  DIAB-11-02-4 2011-02-28 Towards a more efficient use of GPUs
  DIAB-98-01-02 1998-10-01 A Denotational Model for Probabilistic and Nondeterministic Processes
LORENTZOS, NIKOS
  DIAB-01-06-22 2001-06-01 Base de datos: Persistencia del espacio-tiempo
LOVE, D.
  DIAB-00-02-10 2000-02-15 Switch Scheduling in the Multimedia Router (MMR).
LOZANO PÉREZ, MARÍA DOLORES
  DIAB-05-01-4 2005-01-24 IdealXML: an Experience-Based Environment for User Interface Design and pattern manipulation
  DIAB-07-01-2 2007-01-24 HCI design patterns for Space Structured Applications on PDA
  DIAB-13-02-2 2013-02-14 Interacción en Movimiento para la Detección de Caídas y Desmayos Guiada por un Estudio Paramétrico
  DIAB-13-02-3 2013-02-14 Interacción basada en Movimiento: Asistente Virtual para la Creación de Posturas, Ejercicios y Tablas. Ejemplos de Rehabilitación de Equilibrio y Sent
M. PINK, TIMOTHY
  DIAB-03-02-36 2003-02-01 Evaluation of a subnet management mechanism for Infiniband networks
MACIA SOLER, HERMENEGILDA
  DIAB-02-01-26 2002-06-01 A new proposal for the synchronization in SPBC
  DIAB-02-01-31 2002-10-01 A Congruence relation in finite sPBC
  DIAB-03-01-37 2003-09-17 Introducing the iteration in sPBC
  DIAB-10-03-1 2010-03-01 Discrete time stochastic Petri box calculus with immediate multiactions
  DIAB-11-06-2 2011-06-28 Stochastic equivalence for modular performance evaluation in dtsiPBC
  DIAB-11-11-1 2011-11-16 Automatic Translation from WS-CDL to Prioritized-Timed Colored Petri Nets by using WST Tool.
  DIAB-12-04-2 2012-04-24 A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF
  DIAB-12-10-2 2012-10-23 Applying stochastic equivalence to performance evaluation in dtsiPBC
  DIAB-14-01-1 2014-01-28 Stochastic equivalence for performance evaluation of concurrent systems in dtsiPBC
  DIAB-16-03-1 2016-03-11 Bisimulation equivalence and Performance Evaluation in dtsiPBC
MARTIN, M.
  DIAB-04-02-2 2004-02-06 Una Ontología de la Medición del Software
MARTINEZ LOPEZ, ENRIQUE
  DIAB-09-04-1 2009-04-16 Web Services Choreographies Verification
  DIAB-09-04-3 2009-04-20 A comparative study between WSCI, WS-CDL, and OWL-S
  DIAB-12-05-1 2012-05-08 Specification and Verification of Normative Specifications using C-O Diagrams
MARTINEZ MARTINEZ, JOSE LUIS
  DIAB-11-01-2 2011-01-25 Optimizing H.264/AVC Inter Prediction on a GPU-based Framework
MARTINEZ MORAIS, RAUL
  DIAB-05-01-5 2005-01-26 Providing QoS over Advanced Switching
  DIAB-06-02-1 2006-02-16 Decoupling the bandwidth and latency bounding for table-based schedulers
  DIAB-06-02-2 2006-02-17 Implementing the Advanced Switching Minimum Bandwidth Egress Link Scheduler
  DIAB-06-06-1 2006-06-15 Improving the flexibility of the Deficit Table scheduler
  DIAB-08-07-1 2008-07-19 Hardware implementation study of several new egress link scheduling algorithms
MARTINEZ NUÑEZ, ANTONIO
  DIAB-01-06-21 2001-06-01 Estudio del estado del arte en modelado y ejecución de procesos interorganizacionales
MARTINEZ VICENTE, ALEJANDRO
  DIAB-04-12-2 2004-12-23 A Strategy to Reduce the Delay and Implementation Cost of QoS Support in Clusters
MATEO CERDÁN, JUAN LUIS
  DIAB-06-04-1 2006-04-07 LiO: an easy and flexible library of metaheuristics
  DIAB-08-04-1 2008-04-29 Towards consistency in general dependency networks
MATEO CORTES, JOSE ANTONIO
  DIAB-12-04-2 2012-04-24 A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF
MENDUIÑA SÁNCHEZ, MANUEL
  DIAB-03-02-35 2003-03-09 Formalizing the Fill in of the InfiniBand Arbitration Table
MONTERO SIMARRO, FRANCISCO
  DIAB-05-01-4 2005-01-24 IdealXML: an Experience-Based Environment for User Interface Design and pattern manipulation
  DIAB-06-03-1 2006-03-24 Fast HI-FI prototyping by using IdealXML
  DIAB-07-01-2 2007-01-24 HCI design patterns for Space Structured Applications on PDA
  DIAB-10-01-1 2010-01-25 Analítica web: pasado, presente y futuro
  DIAB-10-10-1 2009-11-30 Redundancy and Reconfiguration Study: State of Art
  DIAB-10-10-2 2010-02-26 Redundancy and Reconfiguration Study: Solution Description
  DIAB-11-01-1 2011-01-13 An Empirical Evaluation of Requirement Engineering Techniques for Collaborative Systems
  DIAB-11-01-3 2011-01-25 ARINC 653 profile for Enterprise Architect tool
  DIAB-11-01-4 2011-01-25 Identifying proper fault-tolerant mechanisms for IMA2 hardware specification
  DIAB-11-03-1 2011-03-01 A COMPARATIVE OF GOAL-ORIENTED APPROACHES TO MODELLING REQUIREMENTS FOR COLLABORATIVE SYSTEMS
  DIAB-11-06-1 2011-06-13 Assesing the Understandability of Collaborative Systems Requirements Notations: an Empirical Study - Experimental Material
  DIAB-11-07-1 2011-07-04 Fault tolerance mechanism design description for IMA2
  DIAB-11-09-1 2011-09-13 Descripción de cierre de actividades IMA2/WP3.1
  DIAB-12-04-1 2012-04-19 CSRML Tool: una Herramienta para el Modelado de Requisitos de Sistemas Colaborativos con CSRML - Diagramas
  DIAB-13-02-1 2013-02-07 Usability Evaluation of a CSCW Requirements Engineering CASE Tool – Usability Test Material
  DIAB-13-04-1 2013-04-22 User-Centered Reverse Engineering
  DIAB-15-02-1 2015-02-05 Applying Thematic Analysis to define an Awareness Interpretation for Collaborative Computer Games – Survey Questions
MONTOYA, MODESTO
  DIAB-99-03-06 1999-03-06 Una aproximación neuronal al seguimiento de un objeto a través de su tamaño y su localización.
MORENO, JUAN
  DIAB-01-03-18 2001-03-01 Redes STN y CPN para el Reconocimiento de Rostros
MORENO VALVERDE, GINES DAMIAN
  DIAB-02-07-24 2002-07-01 Automatic Tupling for Functional-Logic Programs
  DIAB-02-07-27 2002-07-01 A Safe Transformation System For Optimizing Functional Programs
  DIAB-04-03-1 2004-03-25 Combining Composition and Tupling for Optimizing Declarative Programs
  DIAB-04-03-2 2004-03-29 Unfolding Fuzzy Logic Programs
  DIAB-04-05-1 2004-05-04 Incremental Tupling with Simplification Pre-Process
  DIAB-05-11-1 2005-11-22 Designing Declarative Languages with Laziness and Fuzziness
NAVARRO MARTÍNEZ, ELENA MARIA
  DIAB-01-06-22 2001-06-01 Base de datos: Persistencia del espacio-tiempo
  DIAB-11-01-1 2011-01-13 An Empirical Evaluation of Requirement Engineering Techniques for Collaborative Systems
  DIAB-11-03-1 2011-03-01 A COMPARATIVE OF GOAL-ORIENTED APPROACHES TO MODELLING REQUIREMENTS FOR COLLABORATIVE SYSTEMS
  DIAB-11-06-1 2011-06-13 Assesing the Understandability of Collaborative Systems Requirements Notations: an Empirical Study - Experimental Material
  DIAB-12-04-1 2012-04-19 CSRML Tool: una Herramienta para el Modelado de Requisitos de Sistemas Colaborativos con CSRML - Diagramas
  DIAB-13-02-1 2013-02-07 Usability Evaluation of a CSCW Requirements Engineering CASE Tool – Usability Test Material
  DIAB-13-09-1 2013-09-27 Analyzing Linked Data tools for sharing Architectural Knowledge
  DIAB-14-03-2 2014-03-27 Evaluating visualization techniques for Architectural Knowledge: experimental material
  DIAB-15-02-1 2015-02-05 Applying Thematic Analysis to define an Awareness Interpretation for Collaborative Computer Games – Survey Questions
NAVEN, FINBAR
  DIAB-05-07-1 2005-07-07 Dynamic Evolution of Congestion Trees: Analysis and Impact on Switch Architecture
OLIVARES MONTES, TERESA
  DIAB-06-03-2 2006-03-31 NFS behavior with multimedia clusters. Problems and Solutions
  DIAB-06-07-1 2006-07-11 Descripción de los protocolos de acceso al medio para redes de sensores inalámbricas
  DIAB-06-09-2 2006-09-27 B-MAC y otros protocolos de control de acceso al medio
  DIAB-07-06-1 2007-06-15 Routing Protocols for Wireless Sensor networks-based network
  DIAB-11-12-1 2011-12-09 I3ASensorBed: a testbed for wireless sensor networks
OLSINA, L.
  DIAB-04-02-2 2004-02-06 Una Ontología de la Medición del Software
OROZCO BARBOSA, LUIS
  DIAB-06-03-2 2006-03-31 NFS behavior with multimedia clusters. Problems and Solutions
ORTIZ TORRES, ANTONIO MANUEL
  DIAB-11-12-1 2011-12-09 I3ASensorBed: a testbed for wireless sensor networks
OSSA JIMENEZ, LUIS DE LA
  DIAB-04-02-1 2004-02-02 Migration of probability models instead of individuals: an alternative when applying the island model to EDAs
  DIAB-06-04-1 2006-04-07 LiO: an easy and flexible library of metaheuristics
PARDO MATEO, JUAN JOSÉ
  DIAB-01-01-12 2003-03-31 Translating a timed process algebra into dynamic stage graphs
  DIAB-01-01-14 2001-01-01 Herramientas de ayuda al diseño y evaluación de sistemas concurrentes
  DIAB-02-01-25 2002-01-01 NEW FEATURES OF TPAL FOR THE SPECIFICATION AND ANALISIS OF CONCURRENT SYSTEMS
  DIAB-04-10-1 2004-10-26 Simulation and Visualization of Timed-Arcs Petri Nets in TPAL
  DIAB-04-11-1 2004-11-26 Formal Verification of the Secure Sockets Layer Protocol
  DIAB-06-05-1 2006-05-17 WS-CDL to Timed Automata Translation
  DIAB-11-11-1 2011-11-16 Automatic Translation from WS-CDL to Prioritized-Timed Colored Petri Nets by using WST Tool.
  DIAB-99-01-04 1999-01-04 Modelos temporizados y probabilisticos
  DIAB-99-01-05 1999-01-05 Prototipo de una herramienta de ejecucion de especificaciones en tpal.
PASCUAL FIDALGO, VICENTE
  DIAB-05-11-1 2005-11-22 Designing Declarative Languages with Laziness and Fuzziness
PENABAD VAZQUEZ, JAIME
  DIAB-04-03-2 2004-03-29 Unfolding Fuzzy Logic Programs
PENDIENTE, DE ASIGNACIÓN
  DIAB-07-01-2 2007-01-24 HCI design patterns for Space Structured Applications on PDA
  DIAB-08-01-1 2008-01-31 Network-aware Peer-to-Peer Based Grid Inter-Domain Scheduling
  DIAB-08-02-1 2008-02-04 Deadlock-Free Dynamic Network Reconfiguration Based on Close Up*/Down* Graphs
  DIAB-08-04-2 2008-04-30 Grid Metascheduling Using Network Information: A Proof-of-Concept Implementation
  DIAB-10-08-1 2010-08-27 Flexible advance-reservation (FAR) for Clouds
PIATTINI, MARIO
  DIAB-04-02-2 2004-02-06 Una Ontología de la Medición del Software
  DIAB-05-01-1 2005-01-14 Servicios Web
  DIAB-05-01-2 2005-01-14 Seguridad en Servicios Web
POLO, MACARIO
  DIAB-05-01-1 2005-01-14 Servicios Web
PUERTA CALLEJÓN, JOSÉ MIGUEL
  DIAB-01-04-13 2001-04-01 Searching for the best elimination secuence in Bayesian networks by using Aut Colony based optimization
  DIAB-04-02-1 2004-02-02 Migration of probability models instead of individuals: an alternative when applying the island model to EDAs
  DIAB-08-04-1 2008-04-29 Towards consistency in general dependency networks
QUER, C.
  DIAB-04-02-2 2004-02-06 Una Ontología de la Medición del Software
QUILES FLOR, FRANCISCO JOSE
  DIAB-00-02-09 2000-02-01 Tecnicas de Planificacion de Conmutadores Orientadas a Garantizar QoS a Trafico Multimedia
  DIAB-00-02-10 2000-02-15 Switch Scheduling in the Multimedia Router (MMR).
  DIAB-01-02-16 2001-02-01 Protocolos de encaminamiento en Internet
  DIAB-01-02-17 2001-02-01 Herramienta de análisis de bloques en redes de interconexión
  DIAB-02-02-28 2002-02-01 MMR: A Multimedia Router Architecture to Support Integrated Workloads
  DIAB-02-02-29 2002-02-01 on Buffer Size Requirements of the Multimedia Router (MMR)
  DIAB-03-02-34 2003-02-01 Traffic Scheduling Solutions with QoS Support for an Input-Buffered MultiMedia Router
  DIAB-03-02-36 2003-02-01 Evaluation of a subnet management mechanism for Infiniband networks
  DIAB-05-07-1 2005-07-07 Dynamic Evolution of Congestion Trees: Analysis and Impact on Switch Architecture
  DIAB-06-03-2 2006-03-31 NFS behavior with multimedia clusters. Problems and Solutions
  DIAB-06-09-1 2006-09-04 Implementing the Advanced Switching Fabric Discovery Process
  DIAB-10-04-1 2010-04-22 Efficient Congestion Management for High-Performance Interconnection Networks with Distributed Routing
  DIAB-98-02-01 1998-02-01 An Efficient Protocol for Dynamic Reconfiguration in Irregular Networks
ROBLES GOMEZ, ANTONIO
  DIAB-06-09-1 2006-09-04 Implementing the Advanced Switching Fabric Discovery Process
  DIAB-08-02-1 2008-02-04 Deadlock-Free Dynamic Network Reconfiguration Based on Close Up*/Down* Graphs
RODA SANCHEZ, CRISTINA
  DIAB-13-09-1 2013-09-27 Analyzing Linked Data tools for sharing Architectural Knowledge
RODRÍGUEZ LAGUNA, ISMAEL
  DIAB-09-06-2 2009-06-22 Automatic deriving choreography-conforming systems of services
RODRÍGUEZ SANCHEZ, RAFAEL
  DIAB-11-01-2 2011-01-25 Optimizing H.264/AVC Inter Prediction on a GPU-based Framework
ROYO SÁNCHEZ, FERNANDO
  DIAB-11-12-1 2011-12-09 I3ASensorBed: a testbed for wireless sensor networks
RUIZ, F.
  DIAB-04-02-2 2004-02-06 Una Ontología de la Medición del Software
  DIAB-05-01-1 2005-01-14 Servicios Web
RUIZ DELGADO, MARÍA CARMEN
  DIAB-02-01-25 2002-01-01 NEW FEATURES OF TPAL FOR THE SPECIFICATION AND ANALISIS OF CONCURRENT SYSTEMS
  DIAB-04-11-1 2004-11-26 Formal Verification of the Secure Sockets Layer Protocol
RUIZ PENICHET, VICTOR MANUEL
  DIAB-13-02-2 2013-02-14 Interacción en Movimiento para la Detección de Caídas y Desmayos Guiada por un Estudio Paramétrico
  DIAB-13-02-3 2013-02-14 Interacción basada en Movimiento: Asistente Virtual para la Creación de Posturas, Ejercicios y Tablas. Ejemplos de Rehabilitación de Equilibrio y Sent
  DIAB-13-05-1 2013-05-08 A Model-Based Approach for Supporting Offline Interaction with Web Sites Resilient to Interruptions
SÁNCHEZ GARCÍA, JOSÉ LUIS
  DIAB-01-02-20 2001-02-01 A strategy to compute the Infiniband Arbitration Tables
  DIAB-03-02-35 2003-03-09 Formalizing the Fill in of the InfiniBand Arbitration Table
  DIAB-04-06-1 2004-06-01 Evaluating the effectiveness of traffic balancing algorithms
  DIAB-04-12-1 2004-12-01 Implementación y evaluación de un modelo de gestión de la tabla de arbitraje en InfiniBand
  DIAB-04-12-2 2004-12-23 A Strategy to Reduce the Delay and Implementation Cost of QoS Support in Clusters
  DIAB-05-01-5 2005-01-26 Providing QoS over Advanced Switching
  DIAB-06-02-1 2006-02-16 Decoupling the bandwidth and latency bounding for table-based schedulers
  DIAB-06-02-2 2006-02-17 Implementing the Advanced Switching Minimum Bandwidth Egress Link Scheduler
  DIAB-06-06-1 2006-06-15 Improving the flexibility of the Deficit Table scheduler
  DIAB-08-07-1 2008-07-19 Hardware implementation study of several new egress link scheduling algorithms
  DIAB-10-12-1 2010-12-28 A GPU-based implementation for Range Queries on Spaghettis Data Structures
  DIAB-11-01-2 2011-01-25 Optimizing H.264/AVC Inter Prediction on a GPU-based Framework
  DIAB-11-02-1 2011-02-07 An Alternative for Building High-Radix Switches: Formalization and Configuration Methodology.
  DIAB-11-02-2 2011-02-09 An Alternative for Building High-Radix Switches: Application for Special Traffic Patterns
  DIAB-11-02-3 2011-02-09 Building 3D torus using low--profile expansion cards
  DIAB-13-05-2 2013-05-14 Metric Data Structures Supported by Heterogeneous Systems
  DIAB-13-10-1 2013-10-18 N-dimensional Twin Torus Networks
  DIAB-98-02-01 1998-02-01 An Efficient Protocol for Dynamic Reconfiguration in Irregular Networks
SEBASTIAN RIVERA, GABRIEL
  DIAB-16-11-1 2016-11-30 An MDA Approach to Develop Language-Learning Applications
SENDÍN VELOSO, MONSERRAT
  DIAB-12-11-1 2012-11-16 Questionnaires for the Evaluation of Awareness in a Groupware Application
TARASYUK, IGOR V.
  DIAB-10-03-1 2010-03-01 Discrete time stochastic Petri box calculus with immediate multiactions
  DIAB-11-06-2 2011-06-28 Stochastic equivalence for modular performance evaluation in dtsiPBC
  DIAB-12-10-2 2012-10-23 Applying stochastic equivalence to performance evaluation in dtsiPBC
  DIAB-14-01-1 2014-01-28 Stochastic equivalence for performance evaluation of concurrent systems in dtsiPBC
  DIAB-16-03-1 2016-03-11 Bisimulation equivalence and Performance Evaluation in dtsiPBC
TENORIO TRIGOSO, ALONSO
  DIAB-09-06-1 2009-06-10 Instalación y Evaluación de OpenNebula en el Laboratorio RAAP del i3a
TERUEL MARTINEZ, MIGUEL ANGEL
  DIAB-11-01-1 2011-01-13 An Empirical Evaluation of Requirement Engineering Techniques for Collaborative Systems
  DIAB-11-03-1 2011-03-01 A COMPARATIVE OF GOAL-ORIENTED APPROACHES TO MODELLING REQUIREMENTS FOR COLLABORATIVE SYSTEMS
  DIAB-11-06-1 2011-06-13 Assesing the Understandability of Collaborative Systems Requirements Notations: an Empirical Study - Experimental Material
  DIAB-12-04-1 2012-04-19 CSRML Tool: una Herramienta para el Modelado de Requisitos de Sistemas Colaborativos con CSRML - Diagramas
  DIAB-13-02-1 2013-02-07 Usability Evaluation of a CSCW Requirements Engineering CASE Tool – Usability Test Material
  DIAB-15-02-1 2015-02-05 Applying Thematic Analysis to define an Awareness Interpretation for Collaborative Computer Games – Survey Questions
TESORIERO, RICARDO
  DIAB-09-10-1 2009-10-16 WallShare: A Collaborative Multipointer System for Portable Devices
  DIAB-09-11-1 2009-11-06 CREACIÓN DE SERVICIOS EN DISPOSITIVOS MÓVILES UTILIZANDO EL LENGUAJE NATURAL
  DIAB-12-10-1 2012-10-09 A Taxonomy for Distributed User Interfaces
  DIAB-13-05-3 2013-05-24 Proxywork: Framework to transform from Web Application to Distributable User Interface Web Application
  DIAB-13-11-1 2013-11-12 Diseño de Aplicaciones Colaborativas Sensibles al Contexto Aplicadas al Aprendizaje
  DIAB-16-11-1 2016-11-30 An MDA Approach to Develop Language-Learning Applications
  DIAB-17-07-1 2017-07-31 TagML: Un lenguaje para generar documentos basados en etiquetas
TOBARRA ABAD, MARIA LLANOS
  DIAB-04-11-1 2004-11-26 Formal Verification of the Secure Sockets Layer Protocol
  DIAB-04-11-2 2004-11-30 Verificación de TLS 1.0 y extensiones para redes inalámbricas
TOMAS BOLIVAR, LUIS
  DIAB-10-03-2 2010-03-25 Using Network Information to Perform Meta-scheduling in Advance in Grids
TONDORI, N.
  DIAB-04-02-2 2004-02-06 Una Ontología de la Medición del Software
URIBE PAREDES, ROBERTO
  DIAB-10-12-1 2010-12-28 A GPU-based implementation for Range Queries on Spaghettis Data Structures
  DIAB-13-05-2 2013-05-14 Metric Data Structures Supported by Heterogeneous Systems
VALERO LARA, PEDRO
  DIAB-10-12-1 2010-12-28 A GPU-based implementation for Range Queries on Spaghettis Data Structures
  DIAB-11-02-4 2011-02-28 Towards a more efficient use of GPUs
VALERO RUIZ, VALENTIN
  DIAB-00-01-11 2000-11-01 A Process Algebra for Probabilistic and Nondeterministic Processes
  DIAB-01-01-12 2003-03-31 Translating a timed process algebra into dynamic stage graphs
  DIAB-01-01-14 2001-01-01 Herramientas de ayuda al diseño y evaluación de sistemas concurrentes
  DIAB-01-01-19 2001-09-01 Algebraic Theory of Probabilistic and Nondeterministic Processes
  DIAB-02-01-25 2002-01-01 NEW FEATURES OF TPAL FOR THE SPECIFICATION AND ANALISIS OF CONCURRENT SYSTEMS
  DIAB-02-01-26 2002-06-01 A new proposal for the synchronization in SPBC
  DIAB-02-01-31 2002-10-01 A Congruence relation in finite sPBC
  DIAB-02-01-32 2002-11-01 Analysis of the MPEG-2 Encoding Algorithm with ROSA
  DIAB-03-01-37 2003-09-17 Introducing the iteration in sPBC
  DIAB-04-10-1 2004-10-26 Simulation and Visualization of Timed-Arcs Petri Nets in TPAL
  DIAB-06-05-1 2006-05-17 WS-CDL to Timed Automata Translation
  DIAB-09-04-1 2009-04-16 Web Services Choreographies Verification
  DIAB-09-04-3 2009-04-20 A comparative study between WSCI, WS-CDL, and OWL-S
  DIAB-10-03-1 2010-03-01 Discrete time stochastic Petri box calculus with immediate multiactions
  DIAB-11-06-2 2011-06-28 Stochastic equivalence for modular performance evaluation in dtsiPBC
  DIAB-11-11-1 2011-11-16 Automatic Translation from WS-CDL to Prioritized-Timed Colored Petri Nets by using WST Tool.
  DIAB-12-04-2 2012-04-24 A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF
  DIAB-12-10-2 2012-10-23 Applying stochastic equivalence to performance evaluation in dtsiPBC
  DIAB-14-01-1 2014-01-28 Stochastic equivalence for performance evaluation of concurrent systems in dtsiPBC
  DIAB-16-03-1 2016-03-11 Bisimulation equivalence and Performance Evaluation in dtsiPBC
  DIAB-98-01-02 1998-10-01 A Denotational Model for Probabilistic and Nondeterministic Processes
  DIAB-99-01-05 1999-01-05 Prototipo de una herramienta de ejecucion de especificaciones en tpal.
VALLECILLO, A.
  DIAB-04-02-2 2004-02-06 Una Ontología de la Medición del Software
VILLAMIZAR L., CHRISTIAN
  DIAB-03-12-2 2003-12-04 Analysing Definitional Trees: Looking for Determinism
VILLAR ORTIZ, JUAN ANTONIO
  DIAB-11-02-1 2011-02-07 An Alternative for Building High-Radix Switches: Formalization and Configuration Methodology.
  DIAB-11-02-2 2011-02-09 An Alternative for Building High-Radix Switches: Application for Special Traffic Patterns
  DIAB-11-02-3 2011-02-09 Building 3D torus using low--profile expansion cards
  DIAB-13-10-1 2013-10-18 N-dimensional Twin Torus Networks
YALAMANCHILI, SUDHAKAR
  DIAB-00-02-10 2000-02-15 Switch Scheduling in the Multimedia Router (MMR).
  DIAB-02-02-28 2002-02-01 MMR: A Multimedia Router Architecture to Support Integrated Workloads
  DIAB-02-02-29 2002-02-01 on Buffer Size Requirements of the Multimedia Router (MMR)
  DIAB-03-02-34 2003-02-01 Traffic Scheduling Solutions with QoS Support for an Input-Buffered MultiMedia Router

 

Sindicación     Sindicación     Sindicación
Curso: 2017-18
© Departamento de Sistemas Informáticos
ESII - Avda. de España s/n
02071 Albacete
Tfno: 967 59 92 00 - Fax: 967 59 92 24

aviso legal