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
Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
2010, 2010
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Quantitative Evaluation of Systems: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
1, 2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
2014, 2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets
1, 2001
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
2011
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces
Principles of Modeling, 2018, Vol.10760, p.16-37
2018
Link zum Volltext
Verfügbarkeit prüfen
    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
Formal Modeling: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
1, 2011
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model
NASA Formal Methods, 2021, Vol.12673, p.249-267
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
SynchNet: a Petri net based coordination language for distributed objects
Lecture notes in computer science, 2003, p.324-343
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking
Model Checking Software, 2016, Vol.9641, p.165-181
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
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
Performance Evaluation of Train Moving-Block Control
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
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
V-Formation as Optimal Control
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
Queueing Models
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
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
Markov Processes
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Stroll Down Speed-Scaling Lane
Quantitative Evaluation of Systems, 2016, Vol.9826
2016
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 107
Suche als RSS-Feed
Aktive Filter
ThemaComputing Methodologies -- Concurrent Computing Methodologies -- Concurrent Programming Languages
KollektioneBooks on EBSCOhost
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen