Kategoria BISAC: Computers >> Computer Science

This volume contains the proceedings of STACS 91, a symposium on the theoretical aspects of computer science, held in Hamburg, Germany in February 1991. STACS is held each year, alternately in Germany and France, and is organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft fuer Informatik (GI) and the Special Interest Group for Applied Mathematics of the Association Francaise des Sciences et Techniques de l'Information et de Systemes (AFCET).

The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1990 covers the Tenth...

This volume contains the proceedings of an international conference on rewriting techniques and applications, designed for researchers and lecturers in theoretical computer science and mathematics. It includes 40 papers on a wide variety of topics including term rewriting systems, equational unification, algebraic rewriting, termination proofs, generalization problems, undecidable properties, parametrized specification, normalizing systems, program transformation, query optimization, tree languages, graph languages, theorem proving systems, completion, graph rewriting systems and open...

TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Colloquium on Trees in Algebra and Programming (CAAP); - Advances in Distributed Computing (ADC); - Colloquium on Combining Paradigms for Software Development (CCPSD). The first part (CAAP) is contained in Vol. 1, the other two parts constitute Vol. 2. CAAP '91 focuses on the following...

CAiSE '91 is the third in a series of conferences on advanced information systems engineering. The call for papers was given a wide international distribution, the programme committee included reputed researchers and key professionals, and 29 papers were selected for this volume.

This volume contains the proceedings of the 4th International Workshop on Distributed Algorithms, held near Bari, Italy in 1990. The workshop was a forum for researchers, students and other interested persons to discuss recent results and trends in the design and analysis of distributed algorithms for communication networks and decentralized systems. The volume includes all 28 papers presented at the workshop, covering current research in such aspects of distributed algorithm design as distributed combinatorial algorithms, distributed algorithms on graphs, distributed algorithms for new types...

This book constitutes the refereed proceedings of the Second International Workshop on Memory Management, IWMM '95, held in Kinross, Scotland, in September 1995. It contains 17 full revised papers on all current aspects of memory management; among the topics addressed are garbage collection for parallel, real-time, and distributed memory systems, memory management of distributed and of persistent objects, programming language aspects, hardware-assisted garbage collection, and open-network garbage collection.
In addition, the book presents the invited paper "Dynamic Storage Allocation: A...

This book collects the lectures given at the NATO Advanced Study Institute From Identijication to Learning held in Villa Olmo, Como, Italy, from August 22 to September 2, 1994. The school was devoted to the themes of Identijication, Adaptation and Learning, as they are currently understood in the Information and Contral engineering community, their development in the last few decades, their inter- connections and their applications. These titles describe challenging, exciting and rapidly growing research areas which are of interest both to contral and communication engineers and to...

The refereed proceedings from the 7th International Workshop on Algorithms in Bioinformatics are provided in this volume. Papers address current issues in algorithms in bioinformatics, ranging from mathematical tools to experimental studies of approximation algorithms to significant computational analyses. Biological problems examined include genetic mapping, sequence alignment and analysis, phylogeny, comparative genomics, and protein structure.

Argumentation provides tools for designing, implementing and analyzing sophisticated forms of interaction among rational agents. It has made a solid contribution to the practice of multiagent dialogues. Application domains include: legal disputes, business negotiation, labor disputes, team formation, scientific inquiry, deliberative democracy, ontology reconciliation, risk analysis, scheduling, and logistics.

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Argumentation in Multi-Agent Systems held in Hakodate, Japan, in May 2006...

This book constitutes the refereed proceedings of the joined 6th International Semantic Web Conference, ISWC 2007, and the 2nd Asian Semantic Web Conference, ASWC 2007. The papers address all current issues in the field of the semantic Web, ranging from theoretical and foundational aspects to various applied topics such as management of semantic Web data, ontologies, semantic Web architecture, social semantic Web, as well as applications of the semantic Web.

The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical Universityin Prague, Czech Republic on July 16 18, 2007. These proceedings contain the papers that were presented at CIAA 2007, as well as the abstracts of the poster papers that were displayed during the conference. The proceedings also include the abstracts and extended abstracts offourinvitedlecturespresentedbyGheorghePau ? n, MichaelRiley, MosheVardi, and Bruce W. Watson. The 23 regular papers and 7 poster papers were selected from 79 submitted papers covering various...

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences. It supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. The six papers selected for this special issue cover a broad range of topics.

Statistical computing provides the link between statistical theory and applied statistics. As at previous COMPSTAT volumes, the content of the book covers all aspects of this link, from the development and implementation of new statistical ideas to user experiences and software evaluation. The proceedings should appeal to anyone working in statistics and using computers, whether in universities, industrial companies, government agencies, research institutes or as software developers.

It is a pleasure to offer you this book containing papers about ICT and education from the World Computer Congress 2006 (WCC 2006), held in Santiago, Chile and sponsored by the International Federation for Information Processing (IFIP). A lot of people worked very hard to make this event happen and to produce this book. The programme committee with IFIP members from around the world issued a call for papers inspiring almost 80 people to submit papers, posters, demonstrations, and workshops to the IFIP TC3 (Technical Committee on Education) sub-conference of WCC 2006. The submitted papers were...

The Great Lakes Computer Science Conference is held biannually in Kalamazoo, Michigan. It is a wide-focus conference concerning all areas of Computer Science. Typically, research in data structures, algorithms (both parallel and sequential), database and VLSI design. Artificial intelligence has received the most attention. The 1989 proceedings of the Great Lakes Computer Science Conference consists of 64 papers. Artificial Intelligence, with 11 papers, is the field which was widely attended.

The theme of the 1997 INTERACT conference, 'Discovering New Worlds ofHCI', signals major changes that are taking place with the expansion of new technologies into fresh areas of work and leisure throughout the world and new pervasive, powerful systems based on multimedia and the internet. HCI has a vital role to play in these new worlds, to ensure that people using the new technologies are empowered rather than subjugated to the technology that they increasingly have to use. In addition, outcomes from HCI research studies over the past 20 years are now finding their way into many...

Computer systems can only deliver benefits if functionality, users and usability are central to their design and deployment. This book encapsulates work done in the DIRC project (Interdisciplinary Research Collaboration in Dependability), bringing together a range of disciplinary approaches - computer science, sociology and software engineering - to produce a socio-technical systems perspective on the issues surrounding trust in technology in complex settings.

Technologies for Business Information Systems The material collected in this book covers a broad range of applications of c- puter science methods and algorithms in business practice. It presents a research cutting edge in development, implementation, and improvement of computer s- tems. We publish this book with intention that it helps to establish strong foun- tions for further development of research in this area and support people involved in business computer applications, those implementing computer technology in industry. The computer science and information systems topics covered in...

Reading has arguably the longest and richest history of any domain for scientifically considering the impact of technology on the user. From the 1920s to the 1950s, Miles Tinker 1963] and other researchers ran hundreds of user tests that examined the effects of different fonts and text layout variables, such as the amount of vertical space between each line of text (called leading). Their research focused on user performance, and reading speed was the favoured measure. They charted the effect of the manipulated variables on reading speed, looking for the point at which their participants...