Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006

IFIP Advances in Information and Communication Technology

Free sample

The papers contained in this volume were presented at the fourth edition of the IFIP International Conference on Theoretical Computer Science (IFIP TCS), held August 23-24, 2006 in Santiago, Chile. They were selected from 44 pa pers submitted from 17 countries in response to the call for papers. A total of 16 submissions were accepted as full papers, yielding an acceptance rate of about 36%. Papers sohcited for IFIP TCS 2006 were meant to constitute orig inal contributions in two general areas: Algorithms, Complexity and Models of Computation; and Logic, Semantics, Specification and Verification. The conference also included six invited presentations: Marcelo Arenas (P- tificia Universidad Catolica de Chile, Chile), Jozef Gruska (Masaryk University, Czech Republic), Claudio Gutierrez (Universidad de Chile, Chile), Marcos Kiwi (Universidad de Chile, Chile), Nicola Santoro (Carleton University, Canada), and Mihalis Yannakakis (Columbia University, USA). The abstracts of those presentations are included in this volume. In addition, Jozef Gruska and Nicola Santoro accepted our invitation to write full papers related to their talks. Those two surveys are included in the present volume as well. TCS is a biannual conference. The first edition was held in Sendai (Japan, 2000), followed by Montreal (Canada, 2002) and Toulouse (France, 2004).
Read more
Collapse

About the author

Carleton University, Ottawa, Canada

Read more
Collapse
Loading...

Additional Information

Publisher
Springer
Read more
Collapse
Published on
Dec 15, 2006
Read more
Collapse
Pages
315
Read more
Collapse
ISBN
9780387347356
Read more
Collapse
Read more
Collapse
Best For
Read more
Collapse
Language
English
Read more
Collapse
Genres
Computers / Computer Science
Computers / Information Technology
Read more
Collapse
Content Protection
This content is DRM protected.
Read more
Collapse

Reading information

Smartphones and Tablets

Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.

Laptops and Computers

You can read books purchased on Google Play using your computer's web browser.

eReaders and other devices

To read on e-ink devices like the Sony eReader or Barnes & Noble Nook, you'll need to download a file and transfer it to your device. Please follow the detailed Help center instructions to transfer the files to supported eReaders.
The International Federation for Information Processing (IFIP) is a non-profit umbrella organization for national societies working in the field of information processing. It was founded in 1960 under the auspices of UNESCO. It is organized into several technical committees. This book represents the proceedings of the 2006 conference of technical committee 8 (TC8), which covers the field of information systems. This conference formed part of IFIP's World Computer Congress in Chile. The occasion celebrated the 30th anniversary of IFIP TC8 by looking at the past, present and future of information systems. The proceedings reflect not only the breadth and depth of the work of TC8, but also the international nature of the group, with authors from 18 countries being represented in the 21 papers (including two invited papers) and 2 panels. All submissions were rigorously refereed by at least two reviewers and an associate editor and following the review and resubmission process nearly 50% of submissions were accepted. This paper introduces the papers and panels presented at the conference and published in this volume. It is never straightforward to classify a set of papers but we have made an attempt and this classification is also reflected in the sessions of the conference itself. The classification for the papers is as follows: the world of information systems - early pioneers; developing improved information systems; information systems in their domains of application; the discipline of information systems; issues of production; IT impacts on the organization; tools and modeling and new directions.
Towards Intelligent Manufacturing Systems This book contains the selected articles from the third International Conference on lriformation Technology for Balanced Automation Systems in Manufacturing. A rapid evolution in a number of areas leading to Intelligent Manufacturing Systems has been observ@d in recent years. Significant efforts are being spent on this research area, namely in terms of international cooperative projects, like the IMS initiative, the USA NIIIP (National Industrial Information Infrastructure Protocols) project, or the European ESPRIT programme, and a growing number of conferences and workshops. The importance of the Information and Communication Technologies in the manufacturing area is weIl established today. The proper combination of these areas with the socio-organizational issues, supported by intelligent tools, is however, more difficult to achieve, and fully justifies the need for the BASYS conference and the publication of the series of books on Balanced Automation SyStems. The first book of this series focused on the topic of "Architectures and Design Methods", was published in 1995. Mahy of the fundamental aspects of manufacturing, and some preliminary results were presented in this book. Among others, the topics included: Modeling and design of FMS, Enterprise modeling and organization, Decision support systems in manufacturing, Anthropocentric systems, CAE/CAD/CAM integration, Scheduling systems, Extended enterprises, Multi agent system architecture, Balanced flexibility, Intelligent supervision systems, Shop-floor control, and Computer aided process planning.
©2019 GoogleSite Terms of ServicePrivacyDevelopersArtistsAbout Google|Location: United StatesLanguage: English (United States)
By purchasing this item, you are transacting with Google Payments and agreeing to the Google Payments Terms of Service and Privacy Notice.