Multi resource allocation with partial preferences | 0 | 0.34 | 2023 |
Designing Efficient and Fair Mechanisms for Multi-Type Resource Allocation. | 0 | 0.34 | 2022 |
Learning from interpretation transition using differentiable logic programming semantics | 0 | 0.34 | 2022 |
Sequential Mechanisms for Multi-type Resource Allocation | 0 | 0.34 | 2021 |
Reasoning about Block-based Cloud Storage Systems. | 0 | 0.34 | 2019 |
Enhance Pate On Complex Tasks With Knowledge Transferred From Non-Private Data | 0 | 0.34 | 2019 |
Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems. | 1 | 0.35 | 2018 |
A Modeling Language for MapReduce Programing in a Storage System Perspective. | 0 | 0.34 | 2018 |
Reasoning about Cloud Storage Systems | 0 | 0.34 | 2018 |
Probabilistic Context-Aware Ambients. | 0 | 0.34 | 2018 |
A modeling language to describe massive data storage management in cyber-physical systems. | 1 | 0.35 | 2017 |
Model checking computation tree logic over finite lattices. | 6 | 0.42 | 2016 |
Minimum guesswork discrimination between quantum states. | 0 | 0.34 | 2015 |
Conditional anonymity with non-probabilistic adversary | 1 | 0.35 | 2015 |
Making problems tractable on big data via preprocessing with polylog-size output | 0 | 0.34 | 2015 |
Lattice-valued simulations for quantitative transition systems. | 8 | 0.50 | 2015 |
Simulation for lattice-valued doubly labeled transition systems. | 8 | 0.47 | 2014 |
Nondeterministic fuzzy automata | 5 | 0.42 | 2012 |
Behavioural equivalences of a probabilistic pi-calculus | 0 | 0.34 | 2012 |
Value-passing CCS with noisy channels | 2 | 0.38 | 2012 |
The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation | 1 | 0.38 | 2010 |
A Game Perspective of Refinement of Component Models | 0 | 0.34 | 2010 |
A Hierarchy of Behavioral Equivalences in the π-calculus with Noisy Channels | 2 | 0.36 | 2010 |
Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus | 0 | 0.34 | 2010 |
On model checking boolean BI | 0 | 0.34 | 2009 |
Discussion on: Decentralized Supervisory Control of Fuzzy Discrete Event Systems | 0 | 0.34 | 2008 |
Retraction and Generalized Extension of Computing With Words | 24 | 0.80 | 2007 |
Probabilistic automata for computing with words | 4 | 0.38 | 2006 |