UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Incomplete adaptive distinguishing sequences for non-deterministic FSMs

IEEE transactions on software engineering, 2023-09, Vol.49 (9), p.1-18

2023

Volltextzugriff (PDF)

Minimizing Virtual Machine Live Migration Latency for Proactive Fault Tolerance Using an ILP Model With Hybrid Genetic and Simulated Annealing Algorithms

IEEE access, 2024, Vol.12, p.107232-107246

2024

Volltextzugriff (PDF)

Energy aware simulation and testing of smart-spaces

Information and software technology, 2020-02, Vol.118, p.106201, Article 106201

2020

Volltextzugriff (PDF)

Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

1st ed. 2015, 2015

Volltextzugriff (PDF)

Virtualizing and Scheduling FPGA Resources in Cloud Computing Datacenters

IEEE access, 2022, Vol.10, p.96909-96929

2022

Volltextzugriff (PDF)

Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines

International journal of parallel, emergent and distributed systems, 2018-03, Vol.33 (2), p.197-210

2018

Volltextzugriff (PDF)

Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power

Electronic proceedings in theoretical computer science, 2014-08, Vol.161 (Proc. GandALF 2014), p.203-216

2014

Volltextzugriff (PDF)

Studying the separability relation between finite state machines

Software testing, verification & reliability, 2007-12, Vol.17 (4), p.227-241

2007

Volltextzugriff (PDF)

Scheduling Internet of Things requests to minimize latency in hybrid Fog–Cloud computing

Future generation computer systems, 2020-10, Vol.111, p.539-551

2020

Volltextzugriff (PDF)

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage

Modelirovanie i analiz informacionnyh sistem, 2017-08, Vol.24 (4), p.496-507

2017

Volltextzugriff (PDF)

Testing and incremental conformance testing of timed state machines

Science of computer programming, 2024-03, Vol.233, p.103053, Article 103053

2024

Volltextzugriff (PDF)

A Survey on Testing for Cyber Physical System

SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems, 2015, p.194-207

2015

Volltextzugriff (PDF)

Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach

Testing Software and Systems, p.124-140

Volltextzugriff (PDF)

Novel Insights on Cross Project Fault Prediction Applied to Automotive Software

Testing Software and Systems, p.141-157

Volltextzugriff (PDF)

mathcal k-branching uio sequences for partially specified observable non-deterministic fsms

IEEE transactions on software engineering, 2021-05, Vol.47 (5), p.1029-1040

2021

Volltextzugriff (PDF)

Automated Test Design for Boundaries of Product Line Variants

Testing Software and Systems, p.86-101

Volltextzugriff (PDF)

Genetic Algorithm Application for Enhancing State-Sensitivity Partitioning

Testing Software and Systems, p.249-256

Volltextzugriff (PDF)

Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers

IEEE transactions on software engineering, 2021-01, Vol.47 (1), p.1-16

2021

Volltextzugriff (PDF)

[Formula Omitted]-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs

IEEE transactions on software engineering, 2021-01, Vol.47 (5), p.1029

2021

Volltextzugriff (PDF)

Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines

Computer journal, 2019-05, Vol.62 (5), p.757-768

2019

Volltextzugriff (PDF)

On Distinguishing Sequences of Several Classes of Reversible Finite State Machines

2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL), 2021, p.113-119

2021

Volltextzugriff (PDF)

Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

2008 edition, 2008

Volltextzugriff (PDF)

Accelerating Finite State Machine-Based Testing Using Reinforcement Learning

IEEE transactions on software engineering, 2024-03, Vol.50 (3), p.574-597

2024

Volltextzugriff (PDF)

Test Translation for Embedded Finite State Machine Components

Computer journal, 2016-12, Vol.59 (12), p.1805-1816

2016

Volltextzugriff (PDF)

Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

1st ed. 2015, 2015

Volltextzugriff (PDF)

1 – 25 von 148

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(99)
Mit Volltextzugriff
(144)

Publikationsform

Sprache

Englisch
(141)
Russisch
(7)

Erscheinungsjahr

n.n

Neu hinzugefügt

... seit 90 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

Incomplete adaptive distinguishing sequences for non-deterministic FSMs

Minimizing Virtual Machine Live Migration Latency for Proactive Fault Tolerance Using an ILP Model With Hybrid Genetic and Simulated Annealing Algorithms

Energy aware simulation and testing of smart-spaces

Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

Virtualizing and Scheduling FPGA Resources in Cloud Computing Datacenters

Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines

Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power

Studying the separability relation between finite state machines

Scheduling Internet of Things requests to minimize latency in hybrid Fog–Cloud computing

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage

Testing and incremental conformance testing of timed state machines

A Survey on Testing for Cyber Physical System

Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach

Novel Insights on Cross Project Fault Prediction Applied to Automotive Software

mathcal k-branching uio sequences for partially specified observable non-deterministic fsms

Automated Test Design for Boundaries of Product Line Variants

Genetic Algorithm Application for Enhancing State-Sensitivity Partitioning

Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers

[Formula Omitted]-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs

Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines

On Distinguishing Sequences of Several Classes of Reversible Finite State Machines

Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

Accelerating Finite State Machine-Based Testing Using Reinforcement Learning

Test Translation for Embedded Finite State Machine Components

Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

Suchergebnisse filtern