c onfer e nc e p roceedi ngs Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation Santa Clara, CA, USA  March 16–18, 2016 ISBN4

Source URL: www.usenix.org

• Unix
• System administration
• USENIX
• ACM SIGOPS
• Computing
• Information technology

Formalizing Visualization Design Knowledge as Constraints: Actionable and Extensible Models in Draco Dominik Moritz, Chenglong Wang, Greg L. Nelson, Halden Lin, Adam M. Smith, Bill Howe, Jeffrey Heer Abstract—There exi

Source URL: idl.cs.washington.edu

SUPPLY CHAIN DESIGN: CAPACITY, FLEXIBILITY AND WHOLESALE PRICE STRATEGIES by Brian T. Tomlin B.E. Chemical Engineering University College Dublin, Ireland, 1992

Source URL: web.mit.edu

• Supply chain management
• Economy
• Business
• Management
• Supply-chain management
• Supply chain
• Bottleneck
• Supplier

Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Stochastic game
• Linear temporal logic
• Markov chain
• Markov decision process

Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ

Source URL: www.prismmodelchecker.org

• Mathematics
• Temporal logic
• Mathematical analysis
• Theoretical computer science
• Linear temporal logic
• Mathematical logic
• Formal languages
• Computation tree logic
• Constructible universe
• Markov decision process
• Well-formed formula
• IP

design+artLAB postmoderne / Postplatz 1 / CH-6300 Zug Kontakt: 1+x Art Meets Science, Technology and Nature

Source URL: www.officelab.ch

Design and Verification of Long–Running Transactions in a Timed Framework Ruggero Lanotte a , Andrea Maggiolo–Schettini b , Paolo Milazzo b , Angelo Troina c,d,∗ a Dipartimento

Source URL: pages.di.unipi.it

• Mathematics
• Algebra
• Abstract algebra
• Field theory
• Distribution
• Functional analysis
• Papyrus 1
• Valuation

Compositional Controller Synthesis for Stochastic Games Nicolas Basset, Marta Kwiatkowska, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. Design of autonomous systems

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Measure theory
• Ergodic theory
• Lie algebras
• Stochastic processes

Design and Implementation of a Consolidated Middlebox Architecture Vyas Sekar∗ , Norbert Egi†† , Sylvia Ratnasamy† , Michael K. Reiter? , Guangyu Shi †† ∗ Intel Labs, † UC Berkeley, ? UNC Chapel Hill, †

Source URL: www3.cs.stonybrook.edu

• Computing
• Information and communications technology
• Computer network security
• Networking hardware
• Computer networking
• Data transmission
• Computer security
• Firewall software
• Middlebox
• Computer appliance
• Packet processing
• Computer network