Clave |
Publicado |
Título |
DIAB-98-01-02 |
01-10-1998 |
A Denotational Model for Probabilistic and Nondeterministic Processes |
DIAB-98-02-01 |
01-02-1998 |
An Efficient Protocol for Dynamic Reconfiguration in Irregular Networks |
DIAB-99-01-04 |
04-01-1999 |
Modelos temporizados y probabilisticos |
DIAB-99-01-05 |
05-01-1999 |
Prototipo de una herramienta de ejecucion de especificaciones en tpal. |
DIAB-99-03-06 |
06-03-1999 |
Una aproximación neuronal al seguimiento de un objeto a través de su tamaño y su localización. |
DIAB-00-01-07 |
31-01-2000 |
A comparative study between two general methods for the approximate construction of regular polygons by using mathematica |
DIAB-00-01-08 |
01-01-2000 |
A study of particular methods for the approximate construction of some regular polygons by using mathematica |
DIAB-00-01-11 |
01-11-2000 |
A Process Algebra for Probabilistic and Nondeterministic Processes |
DIAB-00-02-09 |
01-02-2000 |
Tecnicas de Planificacion de Conmutadores Orientadas a Garantizar QoS a Trafico Multimedia |
DIAB-00-02-10 |
15-02-2000 |
Switch Scheduling in the Multimedia Router (MMR). |
DIAB-01-01-12 |
31-03-2003 |
Translating a timed process algebra into dynamic stage graphs |
DIAB-01-01-14 |
01-01-2001 |
Herramientas de ayuda al diseño y evaluación de sistemas concurrentes |
DIAB-01-01-19 |
01-09-2001 |
Algebraic Theory of Probabilistic and Nondeterministic Processes |
DIAB-01-02-16 |
01-02-2001 |
Protocolos de encaminamiento en Internet |
DIAB-01-02-17 |
01-02-2001 |
Herramienta de análisis de bloques en redes de interconexión |
DIAB-01-02-20 |
01-02-2001 |
A strategy to compute the Infiniband Arbitration Tables |
DIAB-01-03-18 |
01-03-2001 |
Redes STN y CPN para el Reconocimiento de Rostros |
DIAB-01-04-13 |
01-04-2001 |
Searching for the best elimination secuence in Bayesian networks by using Aut Colony based optimization |
DIAB-01-04-15 |
01-04-2001 |
Incremental compilation of a Bayesian network |
DIAB-01-06-21 |
01-06-2001 |
Estudio del estado del arte en modelado y ejecución de procesos interorganizacionales |
DIAB-01-06-22 |
01-06-2001 |
Base de datos: Persistencia del espacio-tiempo |
DIAB-02-01-25 |
01-01-2002 |
NEW FEATURES OF TPAL FOR THE SPECIFICATION AND ANALISIS OF CONCURRENT SYSTEMS |
DIAB-02-01-26 |
01-06-2002 |
A new proposal for the synchronization in SPBC |
DIAB-02-01-31 |
01-10-2002 |
A Congruence relation in finite sPBC |
DIAB-02-01-32 |
01-11-2002 |
Analysis of the MPEG-2 Encoding Algorithm with ROSA |
DIAB-02-01-33 |
30-11-2002 |
G. Díaz , F. Cuartero y K. Larsen, P_UPPAL a tool for capturing the probabilistic behaviour of UPPAAL models |
DIAB-02-02-28 |
01-02-2002 |
MMR: A Multimedia Router Architecture to Support Integrated Workloads |
DIAB-02-02-29 |
01-02-2002 |
on Buffer Size Requirements of the Multimedia Router (MMR) |
DIAB-02-02-30 |
01-02-2002 |
A Low-Cost Router Design for k-ary n-cube Networks |
DIAB-02-07-24 |
01-07-2002 |
Automatic Tupling for Functional-Logic Programs |
DIAB-02-07-27 |
01-07-2002 |
A Safe Transformation System For Optimizing Functional Programs |
DIAB-03-01-37 |
17-09-2003 |
Introducing the iteration in sPBC |
DIAB-03-02-34 |
01-02-2003 |
Traffic Scheduling Solutions with QoS Support for an Input-Buffered MultiMedia Router |
DIAB-03-02-35 |
09-03-2003 |
Formalizing the Fill in of the InfiniBand Arbitration Table |
DIAB-03-02-36 |
01-02-2003 |
Evaluation of a subnet management mechanism for Infiniband networks |
DIAB-03-11-1 |
10-06-2003 |
Abductive Inference in Bayesian Networks: A review |
DIAB-03-12-2 |
04-12-2003 |
Analysing Definitional Trees: Looking for Determinism |
DIAB-04-02-1 |
02-02-2004 |
Migration of probability models instead of individuals: an alternative when applying the island model to EDAs |
DIAB-04-02-2 |
06-02-2004 |
Una Ontología de la Medición del Software |
DIAB-04-03-1 |
25-03-2004 |
Combining Composition and Tupling for Optimizing Declarative Programs |
DIAB-04-03-2 |
29-03-2004 |
Unfolding Fuzzy Logic Programs |
DIAB-04-05-1 |
04-05-2004 |
Incremental Tupling with Simplification Pre-Process |
DIAB-04-06-1 |
01-06-2004 |
Evaluating the effectiveness of traffic balancing algorithms |
DIAB-04-10-1 |
26-10-2004 |
Simulation and Visualization of Timed-Arcs Petri Nets in TPAL |
DIAB-04-11-1 |
26-11-2004 |
Formal Verification of the Secure Sockets Layer Protocol |
DIAB-04-11-2 |
30-11-2004 |
Verificación de TLS 1.0 y extensiones para redes inalámbricas |
DIAB-04-12-1 |
01-12-2004 |
Implementación y evaluación de un modelo de gestión de la tabla de arbitraje en InfiniBand |
DIAB-04-12-2 |
23-12-2004 |
A Strategy to Reduce the Delay and Implementation Cost of QoS Support in Clusters |
DIAB-05-01-1 |
14-01-2005 |
Servicios Web |
DIAB-05-01-2 |
14-01-2005 |
Seguridad en Servicios Web |
DIAB-05-01-3 |
24-01-2005 |
Mining the ESROM: A study of breeding value prediction in Manchego sheep by means of classification techniques + attribute selection and construction |
DIAB-05-01-4 |
24-01-2005 |
IdealXML: an Experience-Based Environment for User Interface Design and pattern manipulation |
DIAB-05-01-5 |
26-01-2005 |
Providing QoS over Advanced Switching |
DIAB-05-07-1 |
07-07-2005 |
Dynamic Evolution of Congestion Trees: Analysis and Impact on Switch Architecture |
DIAB-05-11-1 |
22-11-2005 |
Designing Declarative Languages with Laziness and Fuzziness |
DIAB-06-02-1 |
16-02-2006 |
Decoupling the bandwidth and latency bounding for table-based schedulers |
DIAB-06-02-2 |
17-02-2006 |
Implementing the Advanced Switching Minimum Bandwidth Egress Link Scheduler |
DIAB-06-03-1 |
24-03-2006 |
Fast HI-FI prototyping by using IdealXML |
DIAB-06-03-2 |
31-03-2006 |
NFS behavior with multimedia clusters. Problems and Solutions |
DIAB-06-04-1 |
07-04-2006 |
LiO: an easy and flexible library of metaheuristics |
DIAB-06-05-1 |
17-05-2006 |
WS-CDL to Timed Automata Translation |
DIAB-06-06-1 |
15-06-2006 |
Improving the flexibility of the Deficit Table scheduler |
DIAB-06-07-1 |
11-07-2006 |
Descripción de los protocolos de acceso al medio para redes de sensores inalámbricas |
DIAB-06-09-1 |
04-09-2006 |
Implementing the Advanced Switching Fabric Discovery Process |
DIAB-06-09-2 |
27-09-2006 |
B-MAC y otros protocolos de control de acceso al medio |
DIAB-07-01-1 |
17-01-2007 |
Extending GridSim to provide computing resource failures |
DIAB-07-01-2 |
24-01-2007 |
HCI design patterns for Space Structured Applications on PDA |
DIAB-07-06-1 |
15-06-2007 |
Routing Protocols for Wireless Sensor networks-based network |
DIAB-07-08-1 |
16-08-2007 |
A Taxonomy of Proposals for Network QoS in Grid Systems |
DIAB-07-10-1 |
31-10-2007 |
Simulation of Buffer Management Policies in Networks for Grids |
DIAB-08-01-1 |
31-01-2008 |
Network-aware Peer-to-Peer Based Grid Inter-Domain Scheduling |
DIAB-08-02-1 |
04-02-2008 |
Deadlock-Free Dynamic Network Reconfiguration Based on Close Up*/Down* Graphs |
DIAB-08-04-1 |
29-04-2008 |
Towards consistency in general dependency networks |
DIAB-08-04-2 |
30-04-2008 |
Grid Metascheduling Using Network Information: A Proof-of-Concept Implementation |
DIAB-08-07-1 |
19-07-2008 |
Hardware implementation study of several new egress link scheduling algorithms |
DIAB-08-07-2 |
25-07-2008 |
Management, Operation and Measurements with GSN, a middleware for Sensor Networks |
DIAB-09-04-1 |
16-04-2009 |
Web Services Choreographies Verification |
DIAB-09-04-2 |
17-04-2009 |
Network-aware Peer-to-Peer Based Grid Inter-Domain Scheduling: A performance evaluation |
DIAB-09-04-3 |
20-04-2009 |
A comparative study between WSCI, WS-CDL, and OWL-S |
DIAB-09-06-1 |
10-06-2009 |
Instalación y Evaluación de OpenNebula en el Laboratorio RAAP del i3a |
DIAB-09-06-2 |
22-06-2009 |
Automatic deriving choreography-conforming systems of services |
DIAB-09-07-1 |
24-07-2009 |
Implementación Híbrida del método de Falsos Vecinos más cercanos mediante MPI-Pthreas |
DIAB-09-10-1 |
16-10-2009 |
WallShare: A Collaborative Multipointer System for Portable Devices |
DIAB-09-11-1 |
06-11-2009 |
CREACIÓN DE SERVICIOS EN DISPOSITIVOS MÓVILES UTILIZANDO EL LENGUAJE NATURAL |
DIAB-10-01-1 |
25-01-2010 |
Analítica web: pasado, presente y futuro |
DIAB-10-03-1 |
01-03-2010 |
Discrete time stochastic Petri box calculus with immediate multiactions |
DIAB-10-03-2 |
25-03-2010 |
Using Network Information to Perform Meta-scheduling in Advance in Grids |
DIAB-10-04-1 |
22-04-2010 |
Efficient Congestion Management for High-Performance Interconnection Networks with Distributed Routing |
DIAB-10-08-1 |
27-08-2010 |
Flexible advance-reservation (FAR) for Clouds |
DIAB-10-10-1 |
30-11-2009 |
Redundancy and Reconfiguration Study: State of Art |
DIAB-10-10-2 |
26-02-2010 |
Redundancy and Reconfiguration Study: Solution Description |
DIAB-10-12-1 |
28-12-2010 |
A GPU-based implementation for Range Queries on Spaghettis Data Structures |
DIAB-11-01-1 |
13-01-2011 |
An Empirical Evaluation of Requirement Engineering Techniques for Collaborative Systems |
DIAB-11-01-2 |
25-01-2011 |
Optimizing H.264/AVC Inter Prediction on a GPU-based Framework |
DIAB-11-01-3 |
25-01-2011 |
ARINC 653 profile for Enterprise Architect tool |
DIAB-11-01-4 |
25-01-2011 |
Identifying proper fault-tolerant mechanisms for IMA2 hardware specification |
DIAB-11-02-1 |
07-02-2011 |
An Alternative for Building High-Radix Switches: Formalization and Configuration Methodology. |
DIAB-11-02-2 |
09-02-2011 |
An Alternative for Building High-Radix Switches: Application for Special Traffic Patterns |
DIAB-11-02-3 |
09-02-2011 |
Building 3D torus using low--profile expansion cards |
DIAB-11-02-4 |
28-02-2011 |
Towards a more efficient use of GPUs |
DIAB-11-03-1 |
01-03-2011 |
A COMPARATIVE OF GOAL-ORIENTED APPROACHES TO MODELLING REQUIREMENTS FOR COLLABORATIVE SYSTEMS |
DIAB-11-03-2 |
08-03-2011 |
Estudio y validación de sistemas interactivos y tecnología multi-táctil y gestual |
DIAB-11-06-1 |
13-06-2011 |
Assesing the Understandability of Collaborative Systems Requirements Notations: an Empirical Study - Experimental Material |
DIAB-11-06-2 |
28-06-2011 |
Stochastic equivalence for modular performance evaluation in dtsiPBC |
DIAB-11-07-1 |
04-07-2011 |
Fault tolerance mechanism design description for IMA2 |
DIAB-11-09-1 |
13-09-2011 |
Descripción de cierre de actividades IMA2/WP3.1 |
DIAB-11-11-1 |
16-11-2011 |
Automatic Translation from WS-CDL to Prioritized-Timed Colored Petri Nets by using WST Tool. |
DIAB-11-12-1 |
09-12-2011 |
I3ASensorBed: a testbed for wireless sensor networks |
DIAB-12-04-1 |
19-04-2012 |
CSRML Tool: una Herramienta para el Modelado de Requisitos de Sistemas Colaborativos con CSRML - Diagramas |
DIAB-12-04-2 |
24-04-2012 |
A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF |
DIAB-12-05-1 |
08-05-2012 |
Specification and Verification of Normative Specifications using C-O Diagrams |
DIAB-12-10-1 |
09-10-2012 |
A Taxonomy for Distributed User Interfaces |
DIAB-12-10-2 |
23-10-2012 |
Applying stochastic equivalence to performance evaluation in dtsiPBC |
DIAB-12-11-1 |
16-11-2012 |
Questionnaires for the Evaluation of Awareness in a Groupware Application |
DIAB-13-02-1 |
07-02-2013 |
Usability Evaluation of a CSCW Requirements Engineering CASE Tool – Usability Test Material |
DIAB-13-02-2 |
14-02-2013 |
Interacción en Movimiento para la Detección de Caídas y Desmayos Guiada por un Estudio Paramétrico |
DIAB-13-02-3 |
14-02-2013 |
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-04-1 |
22-04-2013 |
User-Centered Reverse Engineering |
DIAB-13-05-1 |
08-05-2013 |
A Model-Based Approach for Supporting Offline Interaction with Web Sites Resilient to Interruptions |
DIAB-13-05-2 |
14-05-2013 |
Metric Data Structures Supported by Heterogeneous Systems |
DIAB-13-05-3 |
24-05-2013 |
Proxywork: Framework to transform from Web Application to Distributable User Interface Web Application |
DIAB-13-09-1 |
27-09-2013 |
Analyzing Linked Data tools for sharing Architectural Knowledge |
DIAB-13-10-1 |
18-10-2013 |
N-dimensional Twin Torus Networks |
DIAB-13-11-1 |
12-11-2013 |
Diseño de Aplicaciones Colaborativas Sensibles al Contexto Aplicadas al Aprendizaje |
DIAB-14-01-1 |
28-01-2014 |
Stochastic equivalence for performance evaluation of concurrent systems in dtsiPBC |
DIAB-14-03-2 |
27-03-2014 |
Evaluating visualization techniques for Architectural Knowledge: experimental material |
DIAB-15-02-1 |
05-02-2015 |
Applying Thematic Analysis to define an Awareness Interpretation for Collaborative Computer Games – Survey Questions |
DIAB-15-03-1 |
18-03-2015 |
Nacreous: An Adaptive Service–Aware IaaS Cloud Manager |
DIAB-16-03-1 |
11-03-2016 |
Bisimulation equivalence and Performance Evaluation in dtsiPBC |
DIAB-16-06-1 |
01-06-2016 |
Power and Performance Optimization for Heterogeneous Clouds |
DIAB-16-11-1 |
30-11-2016 |
An MDA Approach to Develop Language-Learning Applications |
DIAB-17-07-1 |
31-07-2017 |
TagML: Un lenguaje para generar documentos basados en etiquetas |
DIAB-18-01-1 |
16-01-2018 |
Modelado, Transformación y Validación de Sistemas Cloud |
DIAB-18-04-1 |
12-04-2018 |
PRUEBA |
DIAB-18-04-2 |
23-04-2018 |
The new era of Business Intelligence Applications: building from a collaborative point of view – Experimental Material |
DIAB-18-05-1 |
08-05-2018 |
Bisimulation equivalence for functional and performance analysis of concurrent stochastically timed systems in dtsiPBC |
DIAB-18-05-2 |
28-05-2018 |
An Agile Object-Oriented Method to Develop Modern Software Applications |
DIAB-18-07-1 |
11-07-2018 |
Glossary of terms for characterizing context-aware systems |
DIAB-18-12-1 |
04-12-2018 |
OPASim: an OPA simulator for high-performance interconnections |
DIAB-19-11-1 |
18-11-2019 |
TDSR: Transparent Distributed Segment-Based Routing |
DIAB-20-04-1 |
14-04-2020 |
UPR: Deadlock-Free Dynamic Network Reconfiguration by Exploiting Channel Dependency Graph Compatibility |
DIAB-21-02-1 |
24-02-2021 |
Power consumption of HPC applications |
DIAB-21-03-1 |
16-03-2021 |
Contributions from features to deficits in ABI domain |
DIAB-21-11-1 |
25-11-2021 |
Thematic Syntesis about IoT paradigms |
DIAB-24-02-1 |
01-02-2024 |
FLARE: Fuzzy Local Agnostic Rule-Based Explanations for Black Box Classifiers |
DIAB-24-03-1 |
13-03-2024 |
Applying ranking techniques for estimating influence of Earth variables on temperature forecast error |