Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers /
This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), held in Akademgorodok (Novosibirsk, Russia), June 27-30, 2006. The conference was held to honour the 75th anniversary of a member of the Russian Ac...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
| Edition: | 1st ed. 2007. |
| Series: | Theoretical Computer Science and General Issues ;
4378 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-540-70881-0 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Invited Papers
- Separability in Conflict-Free Petri Nets
- Grand Challenges of System Programming
- Specifying and Verifying Programs in Spec#
- Basic Protocols: Specification Language for Distributed Systems
- Why Automata Models Are Sexy for Testers? (Invited Talk)
- Regular Papers
- An Universal Resolving Algorithm for Inverse Computation of Lazy Languages
- Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method
- A Versioning and Evolution Framework for RDF Knowledge Bases
- A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules
- On the Usage of Concrete Syntax in Model Transformation Rules
- TTCN-3 for Distributed Testing Embedded Software
- Chase of Recursive Queries
- Improving Semistatic Compression Via Pair-Based Coding
- An Agent-Based Architecture for Dialogue Systems
- Encoding Mobile Ambients into the ?-Calculus
- Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources
- Deriving State-Based Implementations of Interactive Components with History Abstractions
- Introducing Debugging Capabilities to Natural Semantics
- Solution Strategies for Multi-domain Constraint Logic Programs
- Information-Flow Attacks Based on Limited Observations
- Verifying Generalized Soundness of Workflow Nets
- Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs
- Satisfiability of Viability Constraints for Pfaffian Dynamics
- On the Importance of Parameter Tuning in Text Categorization
- Preconditions for Structural Synthesis of Programs
- How to Verify and Exploit a Refinement of Component-Based Systems
- Refinements in Typed Abstract State Machines
- Report on an Implementation of a Semi-inverter
- Loop Parallelization in Multi-dimensional Cartesian Space
- An ASM Semantics of Token Flow in UML 2 Activity Diagrams
- Well-Structured Model Checking of Multiagent Systems
- Development of a Robust Data Mining Method Using CBFS and RSM
- Pushout: A Mathematical Model of Architectural Merger
- A Formal Model of Data Privacy
- Linear Complementarity and P-Matrices for Stochastic Games
- Short Papers
- RapidOWL — An Agile Knowledge Engineering Methodology
- BURS-Based Instruction Set Selection
- Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L
- Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction
- Streaming Networks for Coordinating Data-Parallel Programs
- Formal Methods in Industrial Software Standards Enforcement
- Visual Rules Modeling
- Security for Multithreaded Programs Under Cooperative Scheduling
- A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs
- A Knowledge Portal for Cultural Information Resources: Towards an Architecture.