Perspectives of Systems Informatics

6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

By: Irina Virbitskaite (Editor), Andrei Voronkov (Editor)

Write A Review

Paperback | 7 February 2007

At a Glance

Paperback
516 Pages

Dimensions(cm)
23.39 x 15.6 x 2.64

Paperback

$101.07

or 4 interest-free payments of $25.27 with

or

Aims to ship in 7 to 10 business days

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 Academy of Sciences Andrei Ershov (1931-1988) and his outsta- ing contributions towards advancing informatics. The role of Andrei Ershov in the establishment and development of the theory of programming and systems programming in our country cannot be overestimated. Andrei was one of the founders of the Siberian Computer Science School. He guided and took active part in the development of the programming system ALPHA and the mul- language system BETA, and authored some of the most remarkable results in the theoryofprogramming. Andreiisjustly consideredoneofthefoundersofthe theory of mixed computation. In 1974 he was nominated as Distinguished F- low of the British Computer Society. In 1981 he received the Silver Core Award for services rendered to IFIP. Andrei Ershov's brilliant speeches were always in the focus of public attention. Especially notablewerehis lectures "Aesthetic and HumanFactorinProgramming"and"Programming-TheSecondLiteracy. "He was not only an extremely gifted scientist, teacher and ?ghter for his ideas, but also a bright and many-sided personality. He wrote poetry, translated the works of R. Kipling and other English poets, and enjoyed playing guitar and singing. Everyone who had the pleasure of knowing Andrei Ershov and working with him will always remember his great vision, eminent achievements and generous friendship.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Computer Architecture & Logic Design

Nginx Cookbook

3rd Edition - Advanced Recipes for High-Performance Load Balancing

Paperback

RRP $114.00

$50.40

56%
OFF

Paperback

RRP $95.00

$43.25

54%
OFF

The Art of Cyber Defense : From Risk Assessment to Threat Intelligence - Youssef Baddi

$167.25

38%
OFF

The Real Internet Architecture : Past, Present, and Future Evolution - Pamela Zave

$55.25

56%
OFF

Distributed Services with Go

Your Guide to Reliable, Scalable, and Maintainable Systems

Paperback

RRP $87.35

$40.25

54%
OFF

Invited Papers
Separability in Conflict-Free Petri Nets	p. 1
Grand Challenges of System Programming	p. 19
Specifying and Verifying Programs in Spec#	p. 20
Basic Protocols: Specification Language for Distributed Systems	p. 21
Why Automata Models Are Sexy for Testers?	p. 26
Regular Papers
An Universal Resolving Algorithm for Inverse Computation of Lazy Languages	p. 27
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method	p. 41
A Versioning and Evolution Framework for RDF Knowledge Bases	p. 55
A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules	p. 70
On the Usage of Concrete Syntax in Model Transformation Rules	p. 84
TTCN-3 for Distributed Testing Embedded Software	p. 98
Chase of Recursive Queries	p. 112
Improving Semistatic Compression Via Fair-Based Coding	p. 124
An Agent-Based Architecture for Dialogue Systems	p. 135
Encoding Mobile Ambients into the [pi]-Calculus	p. 148
Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources	p. 166
Deriving State-Based Implementations of Interactive Components with History Abstractions	p. 180
Introducing Debugging Capabilities to Natural Semantics	p. 195
Solution Strategies for Multi-domain Constraint Logic Programs	p. 209
Information-Flow Attacks Based on Limited Observations	p. 223
Verifying Generalized Soundness of Workflow Nets	p. 235
Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs	p. 248
Satisfiability of Viability Constraints for Pfaffian Dynamics	p. 260
On the Importance of Parameter Tuning in Text Categorization	p. 270
Preconditions for Structural Synthesis of Programs	p. 284
How to Verify and Exploit a Refinement of Component-Based Systems	p. 297
Refinements in Typed Abstract State Machines	p. 310
Report on an Implementation of a Semi-inverter	p. 322
Loop Parallelization in Multi-dimensional Cartesian Space	p. 335
An ASM Semantics of Token Flow in UML 2 Activity Diagrams	p. 349
Well-Structured Model Checking of Multiagent Systems	p. 363
Development of a Robust Data Mining Method Using CBFS and RSM	p. 377
Pushout: A Mathematical Model of Architectural Merger	p. 389
A Formal Model of Data Privacy	p. 400
Linear Complementarity and P-Matrices for Stochastic Games	p. 409
Short Papers
RapidOWL - An Agile Knowledge Engineering Methodology	p. 424
BURS-Based Instruction Set Selection	p. 431
Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L	p. 438
Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction	p. 443
Streaming Networks for Coordinating Data-Parallel Programs	p. 451
Formal Methods in Industrial Software Standards Enforcement	p. 456
Visual Rules Modeling	p. 467
Security for Multithreaded Programs Under Cooperative Scheduling	p. 474
A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs	p. 481
A Knowledge Portal for Cultural Information Resources: Towards an Architecture	p. 487
Author Index	p. 495
Table of Contents provided by Ingram. All Rights Reserved.

Perspectives of Systems Informatics

6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Architecture & Logic Design

Nginx Cookbook

3rd Edition - Advanced Recipes for High-Performance Load Balancing

Simply AI

Facts Made Fast

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

Knowledge Management

3rd Edition - Systems and Processes in the AI Era

Architecting Data and Machine Learning Platforms

Enable Analytics and Ai-Driven Innovation in the Cloud

Distributed Systems with Node.js

Building Enterprise-Ready Backend Services

Designing Distributed Systems

Patterns and Paradigms for Scalable, Reliable Services

Domain Modeling Made Functional : Pragmatic Programmers

Tackle Software Complexity with Domain-Driven Design and F#

Practical Microservices

Build Event-Driven Architectures with Event Sourcing and CQRS

Scaling Python with Dask

From Data Science to Machine Learning

Communication Patterns

A Guide for Developers and Architects

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Building Evolutionary Architectures

Automated Software Governance

Logic and Computer Design Fundamentals, Global Edition

5th edition

Programming Quantum Computers

Essential Algorithms and Code Samples

Effective DevOps

The Art of Cyber Defense

From Risk Assessment to Threat Intelligence

The Real Internet Architecture

Past, Present, and Future Evolution

The Real Internet Architecture

Past, Present, and Future Evolution

Delta Lake: Up and Running

Modern Data Lakehouse Architectures with Delta Lake

Distributed Services with Go

Your Guide to Reliable, Scalable, and Maintainable Systems

Generative AI and Digital Forensics

Generative AI and Digital Forensics

Transforming Gender-Based Healthcare with AI and Machine Learning

Studies in Intelligent Systems and Cognitive Computing

This product is categorised by

Popular Searches