| 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 |
| |
DIAB-24-02-1 |
2024-02-01 |
FLARE: Fuzzy Local Agnostic Rule-Based Explanations for Black Box Classifiers |
| 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 |
| |
DIAB-18-12-1 |
2018-12-04 |
OPASim: an OPA simulator for high-performance interconnections |
| |
DIAB-19-11-1 |
2019-11-18 |
TDSR: Transparent Distributed Segment-Based Routing |
| |
DIAB-20-04-1 |
2020-04-14 |
UPR: Deadlock-Free Dynamic Network Reconfiguration by Exploiting Channel Dependency Graph Compatibility |
| |
DIAB-21-02-1 |
2021-02-24 |
Power consumption of HPC applications |
| 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 |
| |
DIAB-18-12-1 |
2018-12-04 |
OPASim: an OPA simulator for high-performance interconnections |
| |
DIAB-21-02-1 |
2021-02-24 |
Power consumption of HPC applications |
| 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 |
| BERNAL BERMEJO, ADRIAN |
| |
DIAB-18-01-1 |
2018-01-16 |
Modelado, Transformación y Validación de Sistemas Cloud |
| 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 |
| 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 |
| CANO CANO, JAVIER |
| |
DIAB-18-12-1 |
2018-12-04 |
OPASim: an OPA simulator for high-performance interconnections |
| 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. |
| FERNÁNDEZ MARTÍN, GUILLERMO TOMÁS |
| |
DIAB-18-12-1 |
2018-12-04 |
OPASim: an OPA simulator for high-performance interconnections |
| FERNÁNDEZ MARTÍN, GUILLERMO TOMÁS |
| |
DIAB-24-02-1 |
2024-02-01 |
FLARE: Fuzzy Local Agnostic Rule-Based Explanations for Black Box Classifiers |
| 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 |
| |
DIAB-24-03-1 |
2024-03-13 |
Applying ranking techniques for estimating influence of Earth variables on temperature forecast error |
| 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 |
| |
DIAB-18-05-2 |
2018-05-28 |
An Agile Object-Oriented Method to Develop Modern Software 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 |
| |
DIAB-24-02-1 |
2024-02-01 |
FLARE: Fuzzy Local Agnostic Rule-Based Explanations for Black Box Classifiers |
| 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-CASTRO CRESPO, JUAN JOSE |
| |
DIAB-19-11-1 |
2019-11-18 |
TDSR: Transparent Distributed Segment-Based Routing |
| |
DIAB-20-04-1 |
2020-04-14 |
UPR: Deadlock-Free Dynamic Network Reconfiguration by Exploiting Channel Dependency Graph Compatibility |
| 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. |
| GONZÁLEZ 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 |
| |
DIAB-18-04-2 |
2018-04-23 |
The new era of Business Intelligence Applications: building from a collaborative point of view – Experimental Material |
| 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 |
| |
DIAB-18-07-1 |
2018-07-11 |
Glossary of terms for characterizing context-aware systems |
| |
DIAB-21-03-1 |
2021-03-16 |
Contributions from features to deficits in ABI domain |
| 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 |
| |
DIAB-18-05-1 |
2018-05-08 |
Bisimulation equivalence for functional and performance analysis of concurrent stochastically timed systems in dtsiPBC |
| MACÍAS OJEDA, AURORA |
| |
DIAB-21-11-1 |
2021-11-25 |
Thematic Syntesis about IoT paradigms |
| MAGLIONE MATHEY, GERMAN HORACIO |
| |
DIAB-19-11-1 |
2019-11-18 |
TDSR: Transparent Distributed Segment-Based Routing |
| 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. |
| MORA PORTA, GASPAR |
| |
DIAB-18-12-1 |
2018-12-04 |
OPASim: an OPA simulator for high-performance interconnections |
| 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 |
| MOYA MOYA, ALEJANDRO |
| |
DIAB-21-03-1 |
2021-03-16 |
Contributions from features to deficits in ABI domain |
| 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 |
| |
DIAB-18-04-2 |
2018-04-23 |
The new era of Business Intelligence Applications: building from a collaborative point of view – Experimental Material |
| |
DIAB-18-07-1 |
2018-07-11 |
Glossary of terms for characterizing context-aware systems |
| |
DIAB-21-03-1 |
2021-03-16 |
Contributions from features to deficits in ABI domain |
| |
DIAB-21-11-1 |
2021-11-25 |
Thematic Syntesis about IoT paradigms |
| 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 |
| PIQUERAS, M |
| |
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 |
| |
DIAB-18-01-1 |
2018-01-16 |
Modelado, Transformación y Validación de Sistemas Cloud |
| POLO, MACARIO |
| |
DIAB-05-01-1 |
2005-01-14 |
Servicios Web |
| PUERTA CALLEJON, JOSE 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 |
| |
DIAB-24-02-1 |
2024-02-01 |
FLARE: Fuzzy Local Agnostic Rule-Based Explanations for Black Box Classifiers |
| 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-18-12-1 |
2018-12-04 |
OPASim: an OPA simulator for high-performance interconnections |
| |
DIAB-19-11-1 |
2019-11-18 |
TDSR: Transparent Distributed Segment-Based Routing |
| |
DIAB-20-04-1 |
2020-04-14 |
UPR: Deadlock-Free Dynamic Network Reconfiguration by Exploiting Channel Dependency Graph Compatibility |
| |
DIAB-21-02-1 |
2021-02-24 |
Power consumption of HPC applications |
| |
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 |
| |
DIAB-18-05-1 |
2018-05-08 |
Bisimulation equivalence for functional and performance analysis of concurrent stochastically timed systems 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 |
| |
DIAB-18-04-2 |
2018-04-23 |
The new era of Business Intelligence Applications: building from a collaborative point of view – Experimental Material |
| 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-18-01-1 |
2018-01-16 |
Modelado, Transformación y Validación de Sistemas Cloud |
| |
DIAB-18-05-1 |
2018-05-08 |
Bisimulation equivalence for functional and performance analysis of concurrent stochastically timed systems 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-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-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 |
