Search Results - 種痘~

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /

Table of Contents: “…Model-Based Software Development -- A Formal Framework for Incremental Model Slicing -- Multiple Model Synchronization with Multiary Delta Lenses -- Controlling the Attack Surface of Object-Oriented Refactorings -- Efficient Analysis of Attack Trees: a Model-Driven Approach -- Distributed Program and System Analysis -- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis -- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism -- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems -- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States -- Software Design and Verification -- Hierarchical Specification and Verification of Architectural Design Patterns -- Supporting Verification-Driven Incremental Distributed Design of Components -- Summarizing Software API Usage Examples using Clustering Techniques -- Fast Computation of Arbitrary Control Dependencies -- Specification and Program Testing -- Iterative Generation of Diverse Models for Testing Specifications of SL Tools -- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications -- TCM: Test Case Mutation to Improve Crash Detection in Android -- CRETE: A Versatile Binary-Level Concolic Testing Framework -- Family-Based Software Development -- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* -- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems -- Taming Multi-Variability of Software Product Line Transformations.…”
Link to Metadata

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018....

Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata

Social Dynamics in Swiss Society Empirical Studies Based on the Swiss Household Panel /

Table of Contents: “…-Chapter 1.5 "The transition to marriage: a step in the gendered division of housework shaping subjective well-being", Valérie-Anne Ryser, FORS, Jean-Marie Le Goff, University of Lausanne, NCCR LIVES -- Chapter 1.6 "Family trajectory and life satisfaction: the Swiss case", Boris Wernli & Sara Zella, FORS -- Part 2 Resources, work & living conditions -- Chapter 2.1 "Analyzing Trends in Deprivation and Poverty", Pascale Gazareth & Katia Iglesias, University of Neuchâtel, Eric Crettaz, University of Applied Sciences of Western Switzerland -- Chapter 2.2 "Trajectories of Vulnerability: A Sequence-Analytical Approach", Felix Bühlmann, University of Lausanne, NCCR LIVES -- Chapter 2.3 "From School to Work: Old or New Routes to Employment", Rolf Becker, David Glauser & Christoph Zangger, University of Bern -- Chapter 2.4 "The true richness: savings and children among Swiss, German and Australian families", Laura Ravazzini, University of Neuchâtel, Ursina Kuhn, FORS -- Chapter 2.5 "Home ownership andwealth inequality in Germany and Switzerland", Markus Grabka, DIW-Berlin, Ursina Kuhn, FORS -- Chapter 2.6 "Voluntary turnover: a means of reducing perceived job insecurity? …”
Link to Metadata

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /

Table of Contents: “…Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.…”
Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /

Table of Contents: “…Language Design -- Consistent Subtyping for All -- HOBiT: Programming Lenses without using Lens Combinators -- Dualizing Generalized Algebraic Data Types by Matrix Transposition -- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach -- Probabilistic Programming -- An Assertion-Based Program Logic for Probabilistic Programs -- Fine-grained Semantics for Probabilistic Programs -- How long, O Bayesian network, will I sample thee? …”
Link to Metadata

Debating European Citizenship

Table of Contents: “…European Citizenship: Still a Fundamental Status?: Jo Shaw -- Part I: Should EU Citizens Living in Other Member States Vote There in National Elections?…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I /

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II /

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Tools /

Table of Contents: “…State-of-the-Art and Research Challenges in the Area of Autonomous Control for a Reliable Internet of Services -- Context Monitoring for Improved System Performance and QoE -- QoE Management for Future Networks -- Scalable Traffic Quality and System Efficiency Indicators towards Overall Telecommunication System's QoE Management -- Lag Compensation for First Person Shooter Games in Cloud Gaming -- The Value of Context-awareness in Bandwidth-challenging HTTP Adaptive Streaming Scenarios -- Conceptual and Analytical Models for Predicting the Quality of Service of Overall Telecommunication Systems -- QoS-based Elasticity for Service Chains in Distributed Edge Cloud Environments -- Integrating SDN and NFV with QoS-aware Service Composition -- Energy vs. …”
Link to Metadata

Peer Review, Peer Education, and Modeling in the Practice of Clinical Ethics Consultation: The Zadeh Project

Link to Metadata

Technologies for Development From Innovation to Social Impact /

Table of Contents: “…Part I: Introduction -- Part II: Humanitarian Technologies -- Part III: Medical Technologies -- Part IV: Renewable Energies -- Part V: Sustainable Habitat -- Part VI: Disaster Risk Reduction.…”
Link to Metadata

Engineering a Better Future Interplay between Engineering, Social Sciences, and Innovation /

Table of Contents: “…-- Ecole des Mines de Paris: a few lessons from a long history -- Part II: Engineering and Social Sciences -- The Cult of Innovation: Its Myths and Rituals -- Does Law Wear out? …”
Link to Metadata

Linear Selection Indices in Modern Plant Breeding by Céron-Rojas, J. Jesus, Crossa, José

Table of Contents: “…General introduction -- The linear phenotypic selection index theory -- Constrained linear phenotypic selection indices -- Constrained linear phenotypic selection indices -- Linear marker and genomic selection indices -- Linear genomic selection indices -- Constrained linear genomic selection indices -- Linear phenotypic eigen selection index methods -- Linear molecular and genomic eigen selection index methods -- Multistage linear selection indices -- Stochastic simulation of four linear phenotypic selection indices -- RIndSel: Selection indices with R.…”
Link to Metadata

Applying the Kaizen in Africa A New Avenue for Industrial Development /

Table of Contents: “…Role of Kaizen in Japan's Overseas Development Cooperation -- Chapter 3. Kaizen in Practice -- Chapter 4. Kaizen and Standardization -- Chapter 5. …”
Link to Metadata

Agile Processes in Software Engineering and Extreme Programming 19th International Conference, XP 2018, Porto, Portugal, May 21-25, 2018, Proceedings /

Table of Contents: “…Agile requirements -- COSMIC User Story Standard -- Improving Mockup-based Requirement Specification with End-User Annotations -- Agile testing -- Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment -- Software tester, we want to hire you! …”
Link to Metadata

Bird Species How They Arise, Modify and Vanish /

Link to Metadata

Control Theory Tutorial Basic Concepts Illustrated by Software Examples / by Frank, Steven A.

Table of Contents: “…Introduction -- Part I: Basic Principles -- Part II: Design Tradeoffs -- Part III: Common Challenges.…”
Link to Metadata

Golden Years of Australian Radio Astronomy An Illustrated History / by Orchiston, Wayne, Robertson, Peter, Sullivan III, Woodruff T.

Link to Metadata

RESTART Sustainable Business Model Innovation by Jørgensen, Sveinung, Pedersen, Lars Jacob Tynes

Table of Contents: “…-- Chapter 4: Roadmap to a RESTART -- Chapter 5: Redesign rather than standstill -- Chapter 6: Experimentation rather than turnaround -- Chapter 7: Service-logic rather than product-logic -- Chapter 8: The circular rather than the linear economy -- Chapter 9: Alliances rather than solo-runs -- Chapter 10: Results rather than indulgences -- Chapter 11: Three-dimensionality rather than one-dimensionality -- Chapter 12: RESTART before it is too late -- Chapter 13: A recap of the RESTART framework -- Chapter 14: A process model for sustainable business model innovation -- Chapter 15: Avenues for future research -- Chapter 16: Case study: A RESTART for Scanship -- Chapter 17: Case study: A circular business model for Orkla and BIR?.…”
Link to Metadata

Energy in Africa Challenges and Opportunities / by Hafner, Manfred, Tagliapietra, Simone, de Strasser, Lucia

Table of Contents: “…1.Introduction -- 2.The challenge of energy access in Africa -- 3.Hydrocarbons -- 4.Renewable energy -- 5.Energy investments -- 6.Conclusions.…”
Link to Metadata