UB Paderborn / Katalog / Suche / in CDI

Applying SDL to Formal Analysis of Security Systems

Lecture notes in computer science, 2003, p.300-316

2003

Link zum Volltext

Verfügbarkeit prüfen

Protocol Engineering Applied to Formal Analysis of Security Systems

Infrastructure Security, 2002, p.246-259

2002

Link zum Volltext

Verfügbarkeit prüfen

Cert’eM: Certification System Based on Electronic Mail Service Structure

Lecture notes in computer science, 1999, p.109-118

1999

Link zum Volltext

Verfügbarkeit prüfen

Distributed Storage and Revocation in Digital Certificate Databases

Database and Expert Systems Applications, 2000, Vol.1873, p.929-938

2000

Link zum Volltext

Verfügbarkeit prüfen

The Story of Their Lives: Massive Procedural Generation of Heroes’ Journeys Using Evolved Agent-Based Models and Logical Reasoning

Applications of Evolutionary Computation, p.604-619

Link zum Volltext

Verfügbarkeit prüfen

Using Eye Tracking to Analyze Surgeons’ Cognitive Workload During an Advanced Laparoscopic Procedure

XV Mediterranean Conference on Medical and Biological Engineering and Computing – MEDICON 2019, p.3-12

Link zum Volltext

Verfügbarkeit prüfen

Addressing High Dimensional Multi-objective Optimization Problems by Coevolutionary Islands with Overlapping Search Spaces

Applications of Evolutionary Computation, p.107-117

Link zum Volltext

Verfügbarkeit prüfen

Computational Fluid Dynamics Study of Inlet Velocity on Extrusion-Based Bioprinting

XV Mediterranean Conference on Medical and Biological Engineering and Computing – MEDICON 2019, p.531-540

Link zum Volltext

Verfügbarkeit prüfen

Stitching Methodology for Whole Slide Low-Cost Robotic Microscope Based on a Smartphone

2020 IEEE 17th International Symposium on Biomedical Imaging (ISBI), 2020, p.503-507

2020

Link zum Volltext
IEEE_Xplore

Advertising Liking Recognition Technique Applied to Neuromarketing by Using Low-Cost EEG Headset

Bioinformatics and Biomedical Engineering, p.701-709

Link zum Volltext

Verfügbarkeit prüfen

Perspective Multiscale Detection of Vehicles for Real-Time Forward Collision Avoidance Systems

Advanced Concepts for Intelligent Vision Systems, p.645-656

Link zum Volltext

Verfügbarkeit prüfen

An Agglomeration Strategy for the Parallel Processes Mapping onto a Distributed Computing Architecture

High Performance Computer Applications, p.201-212

Link zum Volltext

Verfügbarkeit prüfen

Learning about engineering education research: What conceptual difficulties still exist for a new generation of scholars?

2015 IEEE Frontiers in Education Conference (FIE), 2015, p.1-6

2015

Link zum Volltext
IEEE_Xplore

Secure Data Access in Hadoop Using Elliptic Curve Cryptography

Algorithms and Architectures for Parallel Processing, p.136-145

Link zum Volltext

Verfügbarkeit prüfen

Operational benefits of multiterminal DC-links in active distribution networks

2012 IEEE Power and Energy Society General Meeting, 2012, p.1-6

2012

Link zum Volltext
IEEE_Xplore

Hierarchical classification scheme based on identification, isolation and analysis of conflictive regions

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), 2014, p.1-8

2014

Link zum Volltext
IEEE_Xplore

Towards a distributed intelligent ICT architecture for the smart grid

2011 9th IEEE International Conference on Industrial Informatics, 2011, p.745-749

2011

Link zum Volltext
IEEE_Xplore

A new design of high precision solar microsensor for satellite aplications

2010 IEEE Sensors, 2010, p.552-556

2010

Link zum Volltext
IEEE_Xplore

ENERGOS: Integral smart grid management

2011 9th IEEE International Conference on Industrial Informatics, 2011, p.727-732

2011

Link zum Volltext
IEEE_Xplore

Distributed Provision and Management of Security Services in Globus Toolkit 4

Lecture notes in computer science, 2006, p.1325-1335

2006

Link zum Volltext

Verfügbarkeit prüfen

Harmonization of semantic data models of electric data standards

2011 9th IEEE International Conference on Industrial Informatics, 2011, p.733-738

2011

Link zum Volltext
IEEE_Xplore

Accurate bearing faults classification based on statistical-time features, curvilinear component analysis and neural networks

IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 2012, p.3854-3861

2012

Link zum Volltext
IEEE_Xplore

Creating adaptive learning paths using Ant Colony Optimization and Bayesian Networks

2008 IEEE International Joint Conference on Neural Networks (IEEE World Congress on Computational Intelligence), 2008, Vol.10, p.3834-3839

2008

Link zum Volltext
IEEE_Xplore

Software-intensive systems interoperability in Smart Grids: A semantic approach

2011 9th IEEE International Conference on Industrial Informatics, 2011, p.739-744

2011

Link zum Volltext
IEEE_Xplore

Design of a business contingency plan - Case study: Municipality of Cantón Suscal

2020 International Conference on Intelligent Systems and Computer Vision (ISCV), 2020, p.1-10

2020

Link zum Volltext

Verfügbarkeit prüfen

Menü

Weitere Dienste

Einstellungen

Applying SDL to Formal Analysis of Security Systems

Protocol Engineering Applied to Formal Analysis of Security Systems

Cert’eM: Certification System Based on Electronic Mail Service Structure

Distributed Storage and Revocation in Digital Certificate Databases

The Story of Their Lives: Massive Procedural Generation of Heroes’ Journeys Using Evolved Agent-Based Models and Logical Reasoning

Using Eye Tracking to Analyze Surgeons’ Cognitive Workload During an Advanced Laparoscopic Procedure

Addressing High Dimensional Multi-objective Optimization Problems by Coevolutionary Islands with Overlapping Search Spaces

Computational Fluid Dynamics Study of Inlet Velocity on Extrusion-Based Bioprinting

Stitching Methodology for Whole Slide Low-Cost Robotic Microscope Based on a Smartphone

Advertising Liking Recognition Technique Applied to Neuromarketing by Using Low-Cost EEG Headset

Perspective Multiscale Detection of Vehicles for Real-Time Forward Collision Avoidance Systems

An Agglomeration Strategy for the Parallel Processes Mapping onto a Distributed Computing Architecture

Learning about engineering education research: What conceptual difficulties still exist for a new generation of scholars?

Secure Data Access in Hadoop Using Elliptic Curve Cryptography

Operational benefits of multiterminal DC-links in active distribution networks

Hierarchical classification scheme based on identification, isolation and analysis of conflictive regions

Towards a distributed intelligent ICT architecture for the smart grid

A new design of high precision solar microsensor for satellite aplications

ENERGOS: Integral smart grid management

Distributed Provision and Management of Security Services in Globus Toolkit 4

Harmonization of semantic data models of electric data standards

Accurate bearing faults classification based on statistical-time features, curvilinear component analysis and neural networks

Creating adaptive learning paths using Ant Colony Optimization and Bayesian Networks

Software-intensive systems interoperability in Smart Grids: A semantic approach

Design of a business contingency plan - Case study: Municipality of Cantón Suscal

Aktive Filter

Suchergebnisse filtern