Author: Frantisek Plasil
Publisher: Springer Science & Business Media
ISBN: 9783540637745
Category : Computers
Languages : en
Pages : 596
Book Description
This book constitutes the refereed proceedings of the 24th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'97, held in Milovy, Czech Republic, in November 1997. SOFSEM is special in being a mix of a winter school, an international conference, and an advanced workshop meeting the demand for ongoing education in the area of computer science. The volume presents 22 invited contributions by leading experts together with 24 revised contributed papers selected from 63 submissions. The invited presentations are organized in topical sections on foundations, distributed and parallel computing, software engineering and methodology, and databases and information systems.
SOFSEM '97: Theory and Practice of Informatics
Author: Frantisek Plasil
Publisher: Springer Science & Business Media
ISBN: 9783540637745
Category : Computers
Languages : en
Pages : 596
Book Description
This book constitutes the refereed proceedings of the 24th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'97, held in Milovy, Czech Republic, in November 1997. SOFSEM is special in being a mix of a winter school, an international conference, and an advanced workshop meeting the demand for ongoing education in the area of computer science. The volume presents 22 invited contributions by leading experts together with 24 revised contributed papers selected from 63 submissions. The invited presentations are organized in topical sections on foundations, distributed and parallel computing, software engineering and methodology, and databases and information systems.
Publisher: Springer Science & Business Media
ISBN: 9783540637745
Category : Computers
Languages : en
Pages : 596
Book Description
This book constitutes the refereed proceedings of the 24th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'97, held in Milovy, Czech Republic, in November 1997. SOFSEM is special in being a mix of a winter school, an international conference, and an advanced workshop meeting the demand for ongoing education in the area of computer science. The volume presents 22 invited contributions by leading experts together with 24 revised contributed papers selected from 63 submissions. The invited presentations are organized in topical sections on foundations, distributed and parallel computing, software engineering and methodology, and databases and information systems.
Sofsem '96
Author: Keith G. Jeffery
Publisher:
ISBN: 9783662170182
Category :
Languages : en
Pages : 514
Book Description
Publisher:
ISBN: 9783662170182
Category :
Languages : en
Pages : 514
Book Description
Analysis and Verification of Multiple-Agent Languages
Author: Mads Dam
Publisher: Springer Science & Business Media
ISBN: 9783540625032
Category : Computers
Languages : en
Pages : 452
Book Description
This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages. The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.
Publisher: Springer Science & Business Media
ISBN: 9783540625032
Category : Computers
Languages : en
Pages : 452
Book Description
This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages. The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.
Logical Foundations of Computer Science
Author: S. I. Adi︠a︡n
Publisher: Springer Science & Business Media
ISBN: 9783540630456
Category : Computers
Languages : en
Pages : 456
Book Description
A Sobolev gradient of a real-valued functional is a gradient of that functional taken relative to the underlying Sobolev norm. This book shows how descent methods using such gradients allow a unified treatment of a wide variety of problems in differential equations. Equal emphasis is placed on numerical and theoretical matters. Several concrete applications are made to illustrate the method. These applications include (1) Ginzburg-Landau functionals of superconductivity, (2) problems of transonic flow in which type depends locally on nonlinearities, and (3) minimal surface problems. Sobolev gradient constructions rely on a study of orthogonal projections onto graphs of closed densely defined linear transformations from one Hilbert space to another. These developments use work of Weyl, von Neumann and Beurling.
Publisher: Springer Science & Business Media
ISBN: 9783540630456
Category : Computers
Languages : en
Pages : 456
Book Description
A Sobolev gradient of a real-valued functional is a gradient of that functional taken relative to the underlying Sobolev norm. This book shows how descent methods using such gradients allow a unified treatment of a wide variety of problems in differential equations. Equal emphasis is placed on numerical and theoretical matters. Several concrete applications are made to illustrate the method. These applications include (1) Ginzburg-Landau functionals of superconductivity, (2) problems of transonic flow in which type depends locally on nonlinearities, and (3) minimal surface problems. Sobolev gradient constructions rely on a study of orthogonal projections onto graphs of closed densely defined linear transformations from one Hilbert space to another. These developments use work of Weyl, von Neumann and Beurling.
Cooperative Information Agents
Author: Peter Kandzia
Publisher: Springer Science & Business Media
ISBN: 9783540625919
Category : Computers
Languages : en
Pages : 308
Book Description
This book constitutes the refereed proceedings of the First International Workshop on Cooperative Information Agents - DAI Meets Databases, CIA-97, held in Kiel, Germany, in February 1997. The book opens with 6 invited full papers by internationally leading researchers surveying the state of the art in the area. The 16 revised full research papers presented were carefully selected during a highly competitive round of reviewing. The papers are organized in topical sections on databases and agent technology, agents for database search and knowledge discovery, communication and cooperation among information agents, and agent-based access to heterogeneous information sources.
Publisher: Springer Science & Business Media
ISBN: 9783540625919
Category : Computers
Languages : en
Pages : 308
Book Description
This book constitutes the refereed proceedings of the First International Workshop on Cooperative Information Agents - DAI Meets Databases, CIA-97, held in Kiel, Germany, in February 1997. The book opens with 6 invited full papers by internationally leading researchers surveying the state of the art in the area. The 16 revised full research papers presented were carefully selected during a highly competitive round of reviewing. The papers are organized in topical sections on databases and agent technology, agents for database search and knowledge discovery, communication and cooperation among information agents, and agent-based access to heterogeneous information sources.
Modular Programming Languages
Author: Hanspeter Mössenböck
Publisher: Springer Science & Business Media
ISBN: 9783540625995
Category : Computers
Languages : en
Pages : 396
Book Description
This book constitutes the refereed proceedings of the Joint Modular Languages Conference, JMLC'97, held in Linz, Austria, in March 1997. The 24 revised full papers presented were carefully selected from a total of 55 submissions; also included are full papers of two invited presentations. The book is devoted to languages, techniques, and tools for the development of modular, extensible, and type-safe software systems. Among the programming languages covered are Modula, Oberon, Ada95, Eiffel, Salher, Java, and others. The issues addressed include compiler technology, persistence, data structures, typing, distribution, active objects, real-time programming, inheritance, reflection, languages, etc.
Publisher: Springer Science & Business Media
ISBN: 9783540625995
Category : Computers
Languages : en
Pages : 396
Book Description
This book constitutes the refereed proceedings of the Joint Modular Languages Conference, JMLC'97, held in Linz, Austria, in March 1997. The 24 revised full papers presented were carefully selected from a total of 55 submissions; also included are full papers of two invited presentations. The book is devoted to languages, techniques, and tools for the development of modular, extensible, and type-safe software systems. Among the programming languages covered are Modula, Oberon, Ada95, Eiffel, Salher, Java, and others. The issues addressed include compiler technology, persistence, data structures, typing, distribution, active objects, real-time programming, inheritance, reflection, languages, etc.
Universal Routing Strategies for Interconnection Networks
Author: Christian Scheideler
Publisher: Springer
ISBN: 3540697926
Category : Computers
Languages : en
Pages : 248
Book Description
This book presents the history and state of the art of universal routing strategies, which can be applied to networks independently of their respective topologies. It opens with a self-contained introduction, accessible also to newcomers. The main original results are new universal network protocols for store-and-forward and wormhole routing with small buffers or without buffers; these results are presented in detail and their potential applications are discussed. The book ends with a summary of open problems and an outlook of future directions in the area of routing theory.
Publisher: Springer
ISBN: 3540697926
Category : Computers
Languages : en
Pages : 248
Book Description
This book presents the history and state of the art of universal routing strategies, which can be applied to networks independently of their respective topologies. It opens with a self-contained introduction, accessible also to newcomers. The main original results are new universal network protocols for store-and-forward and wormhole routing with small buffers or without buffers; these results are presented in detail and their potential applications are discussed. The book ends with a summary of open problems and an outlook of future directions in the area of routing theory.
Intelligent Agent Systems
Author: Lawrence Cavedon
Publisher: Springer Science & Business Media
ISBN: 9783540626862
Category : Computers
Languages : en
Pages : 208
Book Description
The agents approach is not just another abstract computing paradigm, but has matured during recent years into a booming research area and software engineering technology which holds great promise for the design and application of complex distributed systems. This book presents 12 revised full chapters grouped around 3 main topics in intelligent agent systems; agent architectures, formal theories of rationality and cooperation and collaboration. Among the topics addressed are software agents, BDI architectures, social commitment, believable agents and artificial life. The book is based on the Workshop on Theoretical and Practical Foundations of Intelligent Agents held at the Fourth Pacific Rim International Conference on Artificial Intelligence in Cairns, Australia, in August 1996.
Publisher: Springer Science & Business Media
ISBN: 9783540626862
Category : Computers
Languages : en
Pages : 208
Book Description
The agents approach is not just another abstract computing paradigm, but has matured during recent years into a booming research area and software engineering technology which holds great promise for the design and application of complex distributed systems. This book presents 12 revised full chapters grouped around 3 main topics in intelligent agent systems; agent architectures, formal theories of rationality and cooperation and collaboration. Among the topics addressed are software agents, BDI architectures, social commitment, believable agents and artificial life. The book is based on the Workshop on Theoretical and Practical Foundations of Intelligent Agents held at the Fourth Pacific Rim International Conference on Artificial Intelligence in Cairns, Australia, in August 1996.
Communication and Architectural Support for Network-Based Parallel Computing
Author: Dhabaleswar K. Panda
Publisher: Springer Science & Business Media
ISBN: 9783540625735
Category : Computers
Languages : en
Pages : 292
Book Description
This book constitutes the refereed proceedings of the First International Workshop on Communication and Architectural Support for Network-Based Parallel Computing, CANPC'97, held in San Antonio, Texas, USA, in February 1997. The 19 revised full papers presented were carefully selected from a total of 36 submissions. Among the topics addressed are processor/network interfaces, communication protocols, high-performance network technology, operating systems and architectural issues, and load balancing techniques. All in all, the papers competently describe the state-of-the-art for network-based computing systems.
Publisher: Springer Science & Business Media
ISBN: 9783540625735
Category : Computers
Languages : en
Pages : 292
Book Description
This book constitutes the refereed proceedings of the First International Workshop on Communication and Architectural Support for Network-Based Parallel Computing, CANPC'97, held in San Antonio, Texas, USA, in February 1997. The 19 revised full papers presented were carefully selected from a total of 36 submissions. Among the topics addressed are processor/network interfaces, communication protocols, high-performance network technology, operating systems and architectural issues, and load balancing techniques. All in all, the papers competently describe the state-of-the-art for network-based computing systems.
Transformation-Based Reactive Systems Development
Author: Miquel Bertran
Publisher: Springer
ISBN: 3540690581
Category : Computers
Languages : en
Pages : 442
Book Description
This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997. The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.
Publisher: Springer
ISBN: 3540690581
Category : Computers
Languages : en
Pages : 442
Book Description
This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997. The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.