Combining Timed Coordination Primitives and Probabilistic Tuple Spaces

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-00945-7_4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Tuple Spaces Implementations and Their Efficiency

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Development of Probabilistic Timed CEGAR

2014English

Formal Testing of Timed and Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Model Checking for Probabilistic Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2012English

Multi-Modal Intention Prediction With Probabilistic Movement Primitives

Human Friendly Robotics
2018English

S-Mixing Tuple of Operators on Banach Spaces

Journal of Function Spaces
Analysis
2016English

Deep Inference and Probabilistic Coherence Spaces

Applied Categorical Structures
Computer ScienceTheoretical Computer Science
2010English

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Towards an Opportunistic Grid Scheduling Infrastructure Based on Tuple Spaces

Journal of Internet Services and Applications
Computer NetworksComputer Science ApplicationsCommunications
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy