SOFSEM '98: Theory and Practice of Informatics PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download SOFSEM '98: Theory and Practice of Informatics PDF full book. Access full book title SOFSEM '98: Theory and Practice of Informatics by Branislav Rovan. Download full books in PDF and EPUB format.
Author: Branislav Rovan
Publisher: Springer
ISBN: 3540494774
Category : Computers
Languages : en
Pages : 465
Get Book Here
Book Description
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: Branislav Rovan
Publisher: Springer
ISBN: 3540494774
Category : Computers
Languages : en
Pages : 465
Get Book Here
Book Description
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: William I. Grosky
Publisher: Springer
ISBN: 3540361375
Category : Computers
Languages : en
Pages : 298
Get Book Here
Book Description
Forthe29thtime,SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conference striving for multidisciplinarity in computer science, accompaniedby workshops dedicated to a narrow ?eld (this year multimedia and softcomputing) and a student forum. This volume constitutes the proceedings of SOFSEM 2002 held in Milovy, Czech Republic, November 22–29, 2002. This year, 23 papers were submitted from 11 countries. The selection of the 11 best papers accepted by the Program Committee was based on their contribution to the state of the art, technical soundness, clarity of presentation, and relevance of bibliography. The Steering Committee supported by the Advisory Board recommended 12 invited talks focusedonthefollowingkeytopicareas:distributedandparallelsystems,system design and testing, databases and information systems, and fundamentals. SOFSEM is the result of considerable e?ort by a number of people. It is our pleasure to record our thanks to the Advisory Board for its support, to the Steering Committee for its general guidance, and to the Organizing Committee for making SOFSEM 2002 happen. It has been an honor for us to work with the members of the Program Committee and other referees who devoted a lot of e?ort to reviewing the submitted papers.
Author: Jan Pavelka
Publisher: Springer
ISBN: 3540478493
Category : Computers
Languages : en
Pages : 510
Get Book Here
Book Description
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: Vaclav Hlavac
Publisher: Springer
ISBN: 3540444114
Category : Computers
Languages : en
Pages : 470
Get Book Here
Book Description
The international conference on current trends in the theory and practice of informatics SOFSEM 2000 was held 25 November–2 December 2000 in the c- ference facilities of the Dev?et Skal (Nine Rocks) Hotel, Milovy, Czech-Moravian Highlands, the Czech Republic. It was already the 27th annual meeting in the series of SOFSEM conferences organized in either the Czech or the Slovak Rep- lic. Since its establishment in 1974, SOFSEM has gone through a long dev- opment in parallel with the entire ?eld of informatics. Currently SOFSEM is a wide-scope, multidisciplinary conference, with stress on the interplay between the theory and practice of informatics. The SOFSEM scienti?c program consists mainly of invited talks which determine the topics of the conference. Invited talks are complemented by short refereed talks contributed by SOFSEM parti- pants. The topics of invited talks are chosen so as to cover the span from theory to practice and to bring interesting research areas to the attention of conf- ence participants. For the year 2000, the following three streams were chosen for presentation by the SOFSEM Steering Committee: – Trends in Algorithmics – Information Technologies in Practice – Computational Perception The above streams were covered through 16 invited talks given by prominent researchers. There were 18 contributed talks also presented, chosen by the int- national Program Committee from among 36 submitted papers. The program also included a panel on lessons learned from the Y2K problem.
Author: Leszek Pacholski
Publisher: Springer Science & Business Media
ISBN: 3540429123
Category : Computers
Languages : en
Pages : 357
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2001, held in Piestany, Slovak Republic, in November/December 2001. Teh volume presents 12 invited lectures and one keynote paper by leading researchers together with 18 revised full research papers selected from 46 submissions. The papers span the whole range of informatics with emphasis on trends in informatics, enabling technologies for global computing, and practical systems engineering.
Author: Nuno Guimaraes
Publisher: Springer Nature
ISBN: 3031022653
Category : Computers
Languages : en
Pages : 75
Get Book Here
Book Description
The design space of information services evolved from seminal works through a set of prototypical hypermedia systems and matured in open and widely accessible web-based systems. The original concepts of hypermedia systems are now expressed in different forms and shapes. The first works on hypertext invented the term itself, laid out the foundational concept of association or link, and highlighted navigation as the core paradigm for the future information systems. The first engineered systems demonstrated architectural requirements and models and fostered the emergence of the conceptual model related with the information systems and the information design. The artifacts for interaction, navigation, and search, grew from the pioneering systems. Multimedia added a new dimension to hypertext, and mutated the term into hypermedia. The adaptation of the primitive models and mechanisms to the space of continuous media led to a further conceptual level and to the reinvention of information design methods. Hypermedia systems also became an ideal space for collaboration and cooperative work. Information access and sharing, and group work were enabled and empowered by distributed hypermedia systems. As with many technologies, a winning technical paradigm, in our case the World Wide Web, concentrated the design options, the architectural choices and the interaction and navigation styles. Since the late nineties, the Web became the standard framework for hypermedia systems, and integrated a large number of the initial concepts and techniques. Yet, other paths are still open. This lecture maps a simple "genome" of hypermedia systems, based on an initial survey of primitive systems that established architectural and functional characteristics, or traits. These are analyzed and consolidated using phylogenetic analysis tools, to infer families of systems and evolution opportunities. This method may prove to be inspiring for more systematic perspectives of technological landscapes. Table of Contents: Introduction / Original Visions and Concepts / Steps in the Evolution / Information and Structured Documents / Web-Based Environments / Some Research Trends / A Framework of Traits / A Phylogenetic Analysis / Conclusion
Author: Mogens Nielsen
Publisher: Springer
ISBN: 3540446125
Category : Computers
Languages : en
Pages : 724
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS 2000, held in Bratislava/Slovakia in August/September 2000. The 57 revised full papers presented together with eight invited papers were carefully reviewed and selected from a total of 147 submissions. The book gives an excellent overview on current research in theoretical informatics. All relevant foundational issues, from mathematical logics as well as from discrete mathematics are covered. Anybody interested in theoretical computer science or the theory of computing will benefit from this book.
Author: Rudolf Fleischer
Publisher: Springer
ISBN: 3540363831
Category : Computers
Languages : en
Pages : 295
Get Book Here
Book Description
Experimental algorithmics, as its name indicates, combines algorithmic work and experimentation: algorithms are not just designed, but also implemented and tested on a variety of instances. Perhaps the most important lesson in this process is that designing an algorithm is but the first step in the process of developing robust and efficient software for applications. Based on a seminar held at Dagstuhl Castle, Germany in September 2000, this state-of-the-art survey presents a coherent survey of the work done in the area so far. The 11 carefully reviewed chapters provide complete coverage of all current topics in experimental algorithmics.
Author: Dina Goldin
Publisher: Springer Science & Business Media
ISBN: 3540348743
Category : Computers
Languages : en
Pages : 488
Get Book Here
Book Description
The interaction paradigm is a new conceptualization of computational phenomena that emphasizes interaction over algorithms, reflecting the shift in technology from main-frame number-crunching to distributed intelligent networks with graphical user interfaces. The book is arranged in four sections: "Introduction", comprising three chapters that explore and summarize the fundamentals of interactive computation; "Theory" with six chapters, each discussing a specific aspect of interaction; "Applications," five chapters showing how this principle is applied in subdisciplines of computer science; and "New Directions," presenting four multidisciplinary applications. The book challenges traditional Turing machine-based answers to fundamental questions of problem solving and the scope of computation.
Author: Thanasis Hadzilacos
Publisher: Springer
ISBN: 3540450726
Category : Business & Economics
Languages : en
Pages : 541
Get Book Here
Book Description
The refereed proceedings of the 8th International Symposium on Spatial and Temporal Databases, SSTD 2003, held at Santorini Island, Greece in July 2003. The 28 revised full papers presented together with a keynote paper were carefully reviewed and selected from 105 submissions. The papers are organized in topical sections on access methods, advanced query processing, data mining and data warehousing, distance-based queries, mobility and moving points management, modeling and languages, similarity processing, systems and implementation issues.
