close
1.

電子ブック

EB
edited by Ezio Bartocci, Rupak Majumdar
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9333
オンライン: http://dx.doi.org/10.1007/978-3-319-23820-3
目次情報: 続きを見る
Invited Papers
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification
Twenty Years of Dynamic Software Model Checking
Explaining Heisenbugs
Regular Papers
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
Runtime Adaptation for Actor Systems
Robust Online Monitoring of Signal Temporal Logic
On Verifying The Hennessy-Milner Logic with Recursion at Runtime
Assuring the Guardians
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System
Monitoring Electronic Exams
Monitoring Real Android Malware
Time-triggered Runtime Verification of Component-Based Multi-core Systems
Monitoring for a decidable fragment of MTL-R Runtime Verification Through Forward Chaining
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about the Environment
From First-Order Temporal Logic to Parametric Trace Slicing
R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems
A Hybrid Approach to Causality Analysis
Short Papers
Statistical Model Checking of Distributed Adaptive Real-Time Software
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources
Runtime Verification for Hybrid Analysis Tools
Suggesting Edits to Explain Failing Traces
Tool Papers
StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java
TIPEX: a tool chain for Timed Property Enforcement during eXecution
Tutorial Papers
Machine Learning Methods in Statistical Model Checking and System Design ? Tutorial
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
LearnLib Tutorial - An Open Source Java Library for Active Automata Learning
Monitoring and Measuring Hybrid Behaviors - A Tutorial
Software Competitions
Second International Competition on Runtime Verification CRV 2015
Rigorous Examination of Reactive Systems: The RERS challenge 2015
Invited Papers
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification
Twenty Years of Dynamic Software Model Checking
2.

電子ブック

EB
edited by Mohammad Reza Mousavi, Christian Berger
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9361
オンライン: http://dx.doi.org/10.1007/978-3-319-25141-7
3.

電子ブック

EB
edited by Guojun Wang, Albert Zomaya, Gregorio Martinez Perez, Kenli Li
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9532
オンライン: http://dx.doi.org/10.1007/978-3-319-27161-3
目次情報: 続きを見る
Trust, security and privacy for Big Data
Trust, security and privacy for emerging applications
Network optimization and performance evaluation
Sensor-cloud systems
Security and privacy protection in computer and network Systems
Dependability in sensor, cloud, and Big Data systems
Trust, security and privacy for Big Data
Trust, security and privacy for emerging applications
Network optimization and performance evaluation
4.

電子ブック

EB
edited by Grzegorz Rozenberg, Arto Salomaa, Jose M. Sempere, Claudio Zandron
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9504
オンライン: http://dx.doi.org/10.1007/978-3-319-28475-0
目次情報: 続きを見る
Information Theory in Genome Analysis
Towards a Theory of Life
An Excursion through Quantitative Model Refinement
Polarizationless P Systems with One Active Membrane
Bridging Deterministic P Systems and Conditional Grammars
Automated Verification of Stochastic Spiking Neural P Systems
Dynamically Changing Environment for Generalized Communicating P Systems
Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem
P Systems with Generalized Multisets over Totally Ordered Abelian Groups
On the Power of Catalytic P Systems with One Catalyst
An Integrated Model Checking Toolset for Kernel P Systems
A New Strategy to Improve the Performance of PDP-systems Simulators
Automatic Translation of MP+V Systems to Register Machines
On the Communication Complexity of the Vertex Cover Problem and 3-Satisfiability Problem in ECP systems
Membrane Computing Meets Temperature: A Thermoreceptor Model as Molecular Slide Rule with Evolutionary Potential
A Solution of Horn-SAT with P Systems Using Antimatter
Tissue P systems can be Simulated Efficiently with Counting Oracles
Simulating FRSN P systems with real numbers in P-Lingua on sequential and CUDA platforms
Pictures and Chomsky Languages in Array P System
Sorting Using Spiking Neural P Systems with Anti-Spikes and Rules on Synapses
Regulating Rule Application with Membrane Boundaries in P Systems
Structured Grid Algorithms Modelled with Complex Objects
Chemistry-inspired Adaptive Stream Processing
Computing Partial Recursive Functions by Virus Machines
About models derived from colonies
Information Theory in Genome Analysis
Towards a Theory of Life
An Excursion through Quantitative Model Refinement
5.

電子ブック

EB
edited by Magnus Jonsson, Alexey Vinel, Boris Bellalta, Olav Tirkkonen
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9305
オンライン: http://dx.doi.org/10.1007/978-3-319-23440-3
目次情報: 続きを見る
Wireless sensor networks
Physical layer techniques
Resources handling and allocation
Medium access control protocols and video coding
Wireless sensor networks
Physical layer techniques
Resources handling and allocation
6.

電子ブック

EB
edited by Luis Miguel Pinho Pinho, Wolfgang Karl, Albert Cohen, Uwe Brinkschulte
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9017
オンライン: http://dx.doi.org/10.1007/978-3-319-16086-3
目次情報: 続きを見る
Hardware
Design
Applications
Trust and privacy
Real-time issues
Best papers session
Hardware
Design
Applications
7.

電子ブック

EB
edited by Tom Holvoet, Mirko Viroli
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9037
オンライン: http://dx.doi.org/10.1007/978-3-319-19282-6
目次情報: 続きを見る
Replica-Based High-Performance Tuple Space Computing
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems
Logic Fragments: A Coordination Model Based on Logic Inference
Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles
Dynamic Choreographies: Safe Runtime Updates of Distributed Applications
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
A Fix point-Based Calculus for Graph-Shaped Computational Fields
Take Command of Your Constraints!
A Labelled Semantics for Soft Concurrent Constraint Programming
Parallelisation and Application of AD3 as a Method for Solving Large Scale Combinatorial Auctions
Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach
Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions
Klaim-DB: A Modeling Language for Distributed Database Applications
Open Transactions on Shared Memory
VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries
Replica-Based High-Performance Tuple Space Computing
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems
Logic Fragments: A Coordination Model Based on Logic Inference
8.

電子ブック

EB
edited by Jean Krivine, Jean-Bernard Stefani
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9138
オンライン: http://dx.doi.org/10.1007/978-3-319-20860-2
目次情報: 続きを見る
Invited Paper
Moment Semantics for Reversible Rule-Based Systems
Reversible machines
A Hierarchy of Fast Reversible Turing Machines
Real-time methods in reversible computation
Reversible Ordered Restarting Automata
Reversible Languages
Garbage Collection for Reversible Functional Languages
Reverse Code Generation for Parallel Discrete Event Simulation
Towards a Domain-Specific Language for Reversible Assembly Sequences
Design and verification of quantum circuits
Reversibility in Extended Measurement-based Quantum Computation
A Fully Fault-Tolerant Representation of Quantum Circuits
Equational reasoning about quantum protocols
Design of reversible circuits
Design and Fabrication of a Microprocessor using Adiabatic CMOS and Bennett Clocking
Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits
Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics
Circuit Synthesis
Technology Mapping for Single Target Gate based Circuits using Boolean Functional Decomposition
Towards Code Optimization for Line-aware HDL-based Synthesis of Reversible Circuits
Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions
Short Papers
Power-Clock Generator Impact on the Performance of NEM-Based Adiabatic Logic Circuits
A Cost Metric for the Design of Nearest Neighbor Quantum Circuits at the Reversible Logic Level
Towards modelling of local reversibility
Application of Functional Decomposition in Synthesis of Reversible Circuits
Invited Paper
Moment Semantics for Reversible Rule-Based Systems
Reversible machines
9.

電子ブック

EB
edited by Francesco Parisi-Presicce, Bernhard Westfechtel
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9151
オンライン: http://dx.doi.org/10.1007/978-3-319-21145-9
目次情報: 続きを見る
Polymorphic Sesqui-Pushout Graph Rewriting
Predictive Top-Down Parsing for Hyperedge Replacement Grammars
AGREE ? Algebraic Graph Rewriting with Controlled Embedding
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings
Towards Local Confluence Analysis for Amalgamated Graph Transformation
Multi-amalgamated Triple Graph Grammars
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs
Reachability in Graph Transformation Systems and Slice Languages
Equational Reasoning with Context-Free Families of String Diagrams
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems
Graph Pattern Matching as an Embedded Clojure DSL
Using Graph Transformations for Formalizing Prescriptions and Monitoring
Towards Compliance Verification Between Global and Local Process Models
Inductive Invariant Checking with Partial Negative Application Conditions
Tool Support for Multi-amalgamated Triple Graph Grammars
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems
Local Search-Based Pattern Matching Features in EMF-INCQUERY
Polymorphic Sesqui-Pushout Graph Rewriting
Predictive Top-Down Parsing for Hyperedge Replacement Grammars
AGREE ? Algebraic Graph Rewriting with Controlled Embedding
10.

電子ブック

EB
edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9157
オンライン: http://dx.doi.org/10.1007/978-3-319-21470-2
目次情報: 続きを見る
Agricultural and environment information and decision support systems
Approaches or methods of security engineering
Information systems and technologies for emergency preparedness and risk assessment
Web-based learning
Bio-inspired computing and applications
Computer-aided modeling, simulation, and analysis
Computational and applied statistics
Computational geometry and security applications
Computational algorithms and sustainable assessment
Chemistry and materials sciences and technologies
Computational optimization and applications
Cities, technologies and planning
Econometrics and multidimensional evaluation in the urban environment
Future computing systems, technologies, and applications
Geographical analysis, urban modeling, spatial statistics
Land use monitoring for soil consumption reduction
Mobile communications
Mobile computing, sensing, and actuation for cyber physical systems
Quantum mechanics: computational strategies and applications
Scientific computing infrastructure
Software engineering processes and applications
Software quality
Spatio-temporal analytics
Virtual reality and its applications
Agricultural and environment information and decision support systems
Approaches or methods of security engineering
Information systems and technologies for emergency preparedness and risk assessment