Sofsem 97

Author : Frantisek Plasil
Publisher : Springer Science & Business Media
Page : 596 pages
File Size : 41,7 Mb
Release : 1997-11-05
Category : Computers
ISBN : 3540637745

Get Book

SOFSEM '97: Theory and Practice of Informatics by Frantisek Plasil Pdf

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.

Author : Jan Pavelka,Gerard Tel,Miroslav Bartosek
Publisher : Springer
Page : 506 pages
File Size : 49,8 Mb
Release : 2003-07-31
Category : Computers
ISBN : 9783540478492

Get Book

SOFSEM'99: Theory and Practice of Informatics by Jan Pavelka,Gerard Tel,Miroslav Bartosek Pdf

This year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time. Although born as a local Czechoslovak event 25 years ago SOFSEM did not miss the opportunity oe red in 1989 by the newly found freedom in our part of Europe and has evolved into a full-?edged international conference. For all the changes, however, it has kept its generalist and mul- disciplinarycharacter.Thetracksofinvitedtalks,rangingfromTrendsinTheory to Software and Information Engineering, attest to this. Apart from the topics mentioned above, SOFSEM’99 oer s invited talks exploring core technologies, talks tracing the path from data to knowledge, and those describing a wide variety of applications. TherichcollectionofinvitedtalkspresentsonetraditionalfacetofSOFSEM: that of a winter school, in which IT researchers and professionals get an opp- tunity to see more of the large pasture of today’s computing than just their favourite grazing corner. To facilitate this purpose the prominent researchers delivering invited talks usually start with a broad overview of the state of the art in a wider area and then gradually focus on their particular subject.

Author : Branislav Rovan
Publisher : Springer
Page : 460 pages
File Size : 48,9 Mb
Release : 2003-06-29
Category : Computers
ISBN : 9783540494775

Get Book

SOFSEM '98: Theory and Practice of Informatics by Branislav Rovan Pdf

This book constitutes the proceedings of the 25th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'98, held in Jasna, Slovakia, in November 1998. The volume presents 19 invited survey articles by internationally well-known authorities together with 18 revised full research papers carefully reviewed and selected for inclusion in the book. The areas covered include history of models of computation, algorithms, formal methods, practical aspects of software engineering, database systems, parallel and distributed systems, electronic commerce, and electronic documents and digital libraries.

Author : Leszek Pacholski,Peter Ruzicka
Publisher : Springer
Page : 350 pages
File Size : 55,7 Mb
Release : 2003-06-30
Category : Computers
ISBN : 9783540456278

Get Book

SOFSEM 2001: Theory and Practice of Informatics by Leszek Pacholski,Peter Ruzicka Pdf

SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 – December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. This was the 28th annual conference in the SOFSEM series organized either in the Slovak or the Czech Republic. SOFSEM has a well-established tradition. Currently it is a broad, multid- ciplinary conference, devoted to the theory and practice of software systems. Its aim is to foster cooperation among professionals from academia and industry working in various areas of informatics. The scienti?c program of SOFSEM consists of invited talks, which determine the topics of the conference, and short contributed talks presenting original - sults. The topics of the invited talks are chosen so as to cover the whole range from theory to practice and to bring interesting research areas to the attention of conference participants. For the year 2001, the following three directions were chosen for presentation by the SOFSEM Steering Committee: – Trends in Informatics – Enabling Technologies for Global Computing – Practical Systems Engineering and Applications The above directions were covered through 12 invited talks presented by pro- nent researchers. There were 18 contributed talks, selected by the international Program Committee from among 46 submitted papers. The conference was also accompanied by workshops on Electronic Commerce Systems (coordinated by H. D. Zimmermann) and Soft Computing (coordinated by P. H ́ajek).

Author : Frantisek Plasil,Keith G. Jeffery
Publisher : Unknown
Page : 596 pages
File Size : 42,9 Mb
Release : 2014-01-15
Category : Electronic
ISBN : 3662171546

Get Book

Sofsem '97 by Frantisek Plasil,Keith G. Jeffery Pdf

Author : Giuseppe DiBattista
Publisher : Springer Science & Business Media
Page : 468 pages
File Size : 52,9 Mb
Release : 1997-12-12
Category : Computers
ISBN : 3540639381

Get Book

Graph Drawing by Giuseppe DiBattista Pdf

This book constitutes the strictly refereed post-conference proceedings of the 5th International Symposium on Graph Drawing, GD'97, held in Rome, Italy, in September 1997. The 33 revised full papers and 10 systems demonstrations presented were selected from 80 submissions. The topics covered include planarity, crossing theory, three dimensional representations, orthogonal representations, clustering and labeling problems, packing problems, general methodologies, and systems and applications.

Author : George Davida,Masahiro Mambo,Eiji Okamoto
Publisher : Springer Science & Business Media
Page : 376 pages
File Size : 40,5 Mb
Release : 1998-04-08
Category : Computers
ISBN : 3540643826

Get Book

Information Security by George Davida,Masahiro Mambo,Eiji Okamoto Pdf

This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Information Security, ISW'97, held in Tatsunokuchi, Ishikawa, Japan, in September 1997. The volume presents six invited surveys together with 25 thoroughly revised full papers selected from 39 submissions. Among the topics covered are public-key cryptosystems, cryptoanalysis, digital signatures, hardware/software implementation, key management, key sharing, security management, electronic commerce, and quantum cryptology.

Author : Andre Danthine
Publisher : Springer Science & Business Media
Page : 200 pages
File Size : 50,9 Mb
Release : 1997-12-05
Category : Computers
ISBN : 3540639357

Get Book

From Multimedia Services to Network Services by Andre Danthine Pdf

This book constitutes the refereed proceedings of the 4th International COST 237 Workshop, held in Lisboa, Portugal, in December 1997 of the European COST Programme on Multimedia Telecommunication Services. The 12 revised full papers presented were selected from 24 submissions. The topics covered include multimedia presentation, QoS Control, electronic commerce, CORBA and DCE, real-time multimedia, multimedia conferenceing, multicast networking, heterogeneous communications environments, and others.

Author : Dhabaleswar K. Panda,Craig B. Stunkel
Publisher : Springer Science & Business Media
Page : 264 pages
File Size : 47,6 Mb
Release : 1998-01-21
Category : Computers
ISBN : 3540641408

Get Book

Network-Based Parallel Computing. Communication, Architecture, and Applications by Dhabaleswar K. Panda,Craig B. Stunkel Pdf

This book constitutes the strictly refereed proceedings of the Second International Workshop on Communication and Architectural Support for Network-Based Parallel Computing, CANPC'98, held in Las Vegas, Nevada, USA, in January/February 1998. The 18 revised full papers presented were selected from 38 submissions on the basis of four to five reviews per paper. The volume comprises a representative compilation of state-of-the-art solutions for network-based parallel computing. Several new interconnection technologies, new software schemes and standards are studied and developed to provide low-latency and high-bandwidth interconnections for network-based parallel computing.

Author : Bert Didier
Publisher : Springer Science & Business Media
Page : 328 pages
File Size : 46,9 Mb
Release : 1998-04-08
Category : Computers
ISBN : 3540644059

Get Book

B'98: Recent Advances in the Development and Use of the B Method by Bert Didier Pdf

This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998. The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.

Author : Peter Sloot,Marian Bubak,Bob Hertzberger
Publisher : Springer Science & Business Media
Page : 1068 pages
File Size : 41,7 Mb
Release : 1998-04-15
Category : Computers
ISBN : 3540644431

Get Book

High-Performance Computing and Networking by Peter Sloot,Marian Bubak,Bob Hertzberger Pdf

Proceedings -- Parallel Computing.

Author : Kaisa Nyberg
Publisher : Springer Science & Business Media
Page : 628 pages
File Size : 44,5 Mb
Release : 1998-05-13
Category : Computers
ISBN : 3540645187

Get Book

Advances in Cryptology - EUROCRYPT '98 by Kaisa Nyberg Pdf

This book constitutes the refereed proceedings of the 1998 International Conference on the Theory and Application of Cryptographic Techniques, EUROCRYPT '98, held in Espoo, Finland, in May/June 1998. The book presents 44 revised full papers selected from a total of 161 submissions. The papers are organized in sections on distributed cryptography, complexity, cryptanalysis of block ciphers, computational algorithms, paradigms for symmetric systems, public key cryptosystems, multi-party computation, digital signatures, Boolean functions, combinatorial design and analysis, elliptic curve systems, and electronic commerce and payment.

Author : Wolfram Conen,Gustaf Neumann
Publisher : Springer Science & Business Media
Page : 300 pages
File Size : 48,6 Mb
Release : 1998-02-18
Category : Business & Economics
ISBN : 354064170X

Get Book

Coordination Technology for Collaborative Applications by Wolfram Conen,Gustaf Neumann Pdf

This book concentrates on the relationships between coordination technology and business application requirements, introducing general elements of a cooperative infrastructure that allows for collaborative applications.

Author : Michel Morvan,Christoph Meinel,Daniel Krob
Publisher : Springer Science & Business Media
Page : 652 pages
File Size : 52,9 Mb
Release : 1998-02-18
Category : Computers
ISBN : 3540642307

Get Book

STACS 98 by Michel Morvan,Christoph Meinel,Daniel Krob Pdf

This book constitutes the strictly refereed proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS 98, held in Paris, France, in February 1998. The volume presents three invited surveys together with 52 revised full papers selected from a total of 155 submissions. The papers are organized in topical sections on algorithms and data structures, logic, complexity, and automata and formal languages.

Author : Christian Scheideler
Publisher : Springer
Page : 248 pages
File Size : 45,5 Mb
Release : 2006-06-08
Category : Computers
ISBN : 9783540697923

Get Book

Universal Routing Strategies for Interconnection Networks by Christian Scheideler Pdf

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.