Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers /
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015. The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
Σειρά: | Lecture Notes in Computer Science,
9609 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Quantitative Analysis of Collective Adaptive Systems
- What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms
- Applying MDA to Generate Hadoop Based Scientific Computing Applications
- Site-Level Web Template Extraction based on DOM Analysis
- Verification Support for a State-Transition-DSL Defined with Xtext
- Towards using exact real arithmetic for initial value problems
- Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
- Behavioural Analysis of Sessions using the Calculus of Structures
- Using Refinement in Formal Development of OS Security Model
- onflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population
- Maximally-Polyvariant Partial Evaluation in Polynomial Time
- Dynamics Security Policies and Process Opacity for Timed Process Algebras
- Estimating Development E_ort for Software Architectural Tactics
- Clone Detection in Reuse of Software Technical Documentation
- Modeling Actor Systems Using Dynamic I/O Automata
- RSSA: A Reversible SSA Form
- Checking Several Requirements at once by CEGAR
- Unifying Requirements and Code: an Example
- Program Scheme Technique to Solve Propositional Program Logics Revised
- Automated Two-Phase Composition of Timed Web Services
- Equivalence of Finite-Valued Symbolic Finite Transducers
- Relaxed Parsing of Regular Approximations of String-Embedded Languages
- Branching Processes of Timed Petri Nets
- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic.