Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorInternational Andrei Ershov Memorial Conference (5th : 2003 : Akademgorodok, Novosibirsk, Russia)
TitlePerspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 ; revised papers / Manfred Broy, Alexandre V. Zamulin (eds.)
Imprint Berlin : Springer, c2003
Descript xv, 572 p. : ill. ; 24 cm


The verifying compiler: a grand challenge for computing research -- Linear types for cashflow reengineering -- Storing properties in grouped tagged tuples -- A polymorphic radix- n framework for fast fourier transforms -- Intersecting classes and prototypes -- Bending without breaking: making software more flexible -- Program construction in the context of evolutionary computation -- A layered architecture sustaining model-driven and event-driven software development -- The outside-in method of teaching introductory programming -- Numeric types in formal synthesis -- On the possibility of provably secure obfuscating programs -- Verification-oriented language C-light and its structural operational semantics -- Proofs-as-imperative-programs: application to synthesis of contracts -- On the visualization and aesthetics of large graphs -- Data mappings in the model-view-controller pattern -- The translation power of the futamura projections -- A compiler generator for constraint logic programs -- The supercompiler SCP4: general structure -- Partial evaluation for common intermediate language -- Timed verification with uCRL -- Verification of distributed dataspace architectures -- Using SPIN and STeP to verify business processes specifications -- Integrating tools for automatic program verification -- A logical reconstruction of reachability -- Recent advances in S-definability over continuous data types -- Open maps and trace semantics for timed partial order models -- Confidentiality for multithreaded programs via bisimulation -- Dynamic modification of system structures using LLPNs -- Principles for entity authentication -- Causality and replication in concurrent processes -- Event-driven traversal of logic circuits for re-evaluation of boolean functions in reactive systems -- Teams of pushdown automata -- Algebraic state machines: concepts and applications to security -- Combining aspects of reactive systems -- The definition of transitive closure with OCL - limitations and applications -- Improving the consistency checking process by reusing formal verification knowledge -- Complexity of model checking by iterative improvement: the pseudo-boolean framework -- Polynomial approximations for model checking -- Separating search and strategy in solver cooperations -- Industrial application of external black-box functions in constraint programming solver -- LGS: geometric constraint solver -- On strategies of the narrowing operator selection in the constraint propagation method -- ProgDOC - a new program documentation system -- Integration of functional and timed testing of real-time and concurrent systems -- Test case generation for UML statecharts -- Conceptual content modeling and management -- A relational algebra for functional logic deductive databases -- Implication of functional dependencies for recursive queries -- TeXOR: temporal XML database on an object-relational database system -- Functional dependencies, from relational to XML -- Data-object replication, distribution, and mobility in network environments -- Multi-classification of patent applications with winnow -- Automatic evaluation of quality of an explanatory dictionary by comparison of word senses -- An approach to automatic construction of a hierarchical subject domain for question answering systems

Computer science -- Congresses Computer programming -- Congresses Systems engineering -- Congresses

Central Library005.1 I61Ps 2003CATALOGING


Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network


facebook   instragram