Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems
Quantitative Evaluation of Systems, 2023, Vol.14287, p.65-81
2023
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
An Optimal Offloading Partitioning Algorithm in Mobile Cloud Computing
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Tools
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Maintenance Analysis and Optimization via Statistical Model Checking
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Data-Efficient Bayesian Verification of Parametric Markov Chains
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Organization
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Intro
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Markov Decision Processes and Markovian Analysis
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Exploiting Robust Optimization for Interval Probabilistic Bisimulation
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Adaptable Yet Provably Correct Autonomous Systems
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Markov Processes
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Queueing Models
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Probabilistic Reasoning Algorithms
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Comparison of Different Intrusion Detection Approaches in an Advanced Metering Infrastructure Network Using ADVISE
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Networks
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Organization
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 100
Suche als RSS-Feed
Aktive Filter
KollektionIngenta
ThemaComputing Methodologies -- Concurrent Computing Methodologies -- Concurrent Programming Languages
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen