Sofsem 2002

Author : William I. Grosky,Frantisek Plasil
Publisher : Springer
Page : 294 pages
File Size : 50,8 Mb
Release : 2003-07-01
Category : Computers
ISBN : 9783540361374

Get Book

SOFSEM 2002: Theory and Practice of Informatics by William I. Grosky,Frantisek Plasil Pdf

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 : José M.L.M. Palma
Publisher : Springer Science & Business Media
Page : 828 pages
File Size : 50,6 Mb
Release : 2003-04-07
Category : Computers
ISBN : 3540008527

Get Book

High Performance Computing for Computational Science - VECPAR 2002 by José M.L.M. Palma Pdf

This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on High Performance Computing for Computational Science, VECPAR 2002, held in Porto, Portugal in June 2002. The 45 revised full papers presented together with 4 invited papers were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on fluids and structures, data mining, computing in chemistry and biology, problem solving environments, computational linear and non-linear algebra, cluster computing, imaging, and software tools and environments.

Author : Barry O'Sullivan
Publisher : Springer Science & Business Media
Page : 209 pages
File Size : 47,7 Mb
Release : 2003-04-07
Category : Business & Economics
ISBN : 9783540009863

Get Book

ERCIM/CologNet 2002 by Barry O'Sullivan Pdf

This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, held in Cork, Ireland in June 2002. The 14 revised full papers presented were carefully selected for inclusion in the book during two rounds of reviewing and revision. Among the topics addressed are verification and debugging of constraint logic programs, modeling and solving CSPs, explanation generation, inference and inconsistency processing, SAT and 0/1 encodings of CSPs, soft constraints and constraint relaxation, real-world applications, and distributed constraint solving.

Author : Anonim
Publisher : Unknown
Page : 608 pages
File Size : 42,9 Mb
Release : 2006
Category : Computer software
ISBN : UOM:39015058769541

Get Book

SOFSEM ... by Anonim Pdf

Author : Hajo A. Reijers
Publisher : Springer
Page : 328 pages
File Size : 52,5 Mb
Release : 2003-07-01
Category : Business & Economics
ISBN : 9783540366157

Get Book

Design and Control of Workflow Processes by Hajo A. Reijers Pdf

The motivation behind the conception of this monograph was to advance scientific knowledge about the design and control of workflow processes. A workflow pr- ess (or workflow for short) is a specific type of business process, a way of or- nizing work and resources. Workflows are commonly found within large admin- trative organizations such as banks, insurance companies, and governmental agencies. Carrying out the tasks of a workflow in a particular order is required to handle one type of case. Examples of cases are mortgage applications, customer complaints, and claims for unemployment benefits. A workflow used in handling mortgage applications may contain tasks for recording the application, specifying a mortgage proposal, and approving the final policy. The monograph concentrates on four workflow-related issues within the area of Business Process Management; the field of designing and controlling business processes. The first issue is how workflows can be adequately modeled. Workflow mod- ing is an indispensable activity to support any reasoning about workflows. Diff- ent purposes of workflow modeling can be distinguished, such as system ena- ment by Workflow Management Systems, knowledge management, costing, and budgeting. The focus of workflow modeling in this monograph is (a) to support simulation and analysis of workflows and (b) to specify a new workflow design. The main formalism used for the modeling of workflows is the Petri net. Many - isting notions to define several relevant properties have been adopted, such as the workflow net and the soundness notion.

Author : Joachim Klaus,Klaus Miesenberger,Dominique Burger,Wolfgang Zagler
Publisher : Springer
Page : 1195 pages
File Size : 48,5 Mb
Release : 2011-04-05
Category : Social Science
ISBN : 9783540278177

Get Book

Computers Helping People with Special Needs by Joachim Klaus,Klaus Miesenberger,Dominique Burger,Wolfgang Zagler Pdf

The introduction to the 1st International Conference on Computers for Han- cappedPersons(Vienna,1989)byAMinTjoa(UniversityofVienna)andRoland Wagner(UniversityofLinz)?nishedwiththefollowingmissionstatementonthe “Future Direction on Computers for Handicapped Persons”: “The di?erent themes show that a lot of problems are solved by the usage of computer technology for helping handicapped persons, for instance for the blind and visually handicapped. A consequence of the discussed themes there are two directions which should be done in the next years. One direction is obvious. The tools must be improved and research and development work should be extended to all groups of handicapped (even if they are numerically not so large as for instancetheblindorvisuallyhandicappedpersons). Ontheothersideinthearea of social implications there is an increasing demand on social science studies on overall computer use among disabled persons. Because sources are in principle missing today about disabled persons work tasks, research in this ?eld must begin by trying to survey this aspect. Particular attention should be paid to the extent and character of computer use among the handicapped in work life. There are a lot of questions, which should be answered during the next years for reaching the aim of rehabilitation. ” Fifteen years later the 9th International Conference on Computers Helping People with Special Needs (Paris, 2004) o?ered a comprehensive and deepened view on general awareness,special research and individual applications conce- ing disabled people and their participation in our society.

Author : Wanlei Zhou,Paul Nicholson,Brian Corbitt,Joseph Fong
Publisher : Springer
Page : 556 pages
File Size : 47,8 Mb
Release : 2003-09-09
Category : Education
ISBN : 9783540452003

Get Book

Advances in Web-Based Learning -- ICWL 2003 by Wanlei Zhou,Paul Nicholson,Brian Corbitt,Joseph Fong Pdf

nd The 2 International Conference on Web-Based Learning (ICWL 2003) took place in Melbourne, Australia. ICWL 2003 followed the tradition of the successful ICWL 2002 held in Hong Kong and aimed at providing an in-depth study of the technical and pedago- cal issues, as well as incorporating management issues of Web-based learning. Additionally, there was a focus on issues of interest to the learner, o?ering the optimal Web based learning environment to achieve high academic results. - akin University organized this conference in conjunction with the Hong Kong WebSociety,toprovideaforumwhichgatherededucators,researchers,techno- gists and implementers of Web-based learning from around the world to discuss, collaborate and advance all relevant issues pertaining to this area of research. The main focus of ICWL 2003 was on the most critical areas of Web-based learning, in particular, Web-based learning environments, virtual universities, pedagogical issues related to Web-based learning, multimedia-based e-learning, interactive e-learning systems, intelligence in on-line education, e-learning so- tions, CSCL, and authoring tools for e-learning. In total, the conference received 118 papers from researchers and practitioners from 13 countries. Each paper was reviewed by at least three internationally renowned referees. Papers were ri- rously examined and selected based on their originality, signi?cance, correctness, relevance, and clarity of presentation. Among the high-quality submissions, 50 papers were accepted and included in the proceedings. Later, the proceedings editors will recommend that some high-quality papers from the conference be published in a special issue of an international journal.

Author : Blaise Cronin
Publisher : Information Today, Inc.
Page : 712 pages
File Size : 48,9 Mb
Release : 2004
Category : Computers
ISBN : 1573872091

Get Book

Annual Review of Information Science and Technology by Blaise Cronin Pdf

ARIST, published annually since 1966, is a landmark publication within the information science community. It surveys the landscape of information science and technology, providing an analytical, authoritative, and accessible overview of recent trends and significant developments. The range of topics varies considerably, reflecting the dynamism of the discipline and the diversity of theoretical and applied perspectives. While ARIST continues to cover key topics associated with "classical" information science (e.g., bibliometrics, information retrieval), editor Blaise Cronin is selectively expanding its footprint in an effort to connect information science more tightly with cognate academic and professional communities.

Author : Ngoc Thanh Nguyen
Publisher : Springer Science & Business Media
Page : 352 pages
File Size : 44,7 Mb
Release : 2007-09-12
Category : Business & Economics
ISBN : 9781846288890

Get Book

Advanced Methods for Inconsistent Knowledge Management by Ngoc Thanh Nguyen Pdf

This book is a first. It fills a major gap in the market and provides a wide snapshot of intelligent technologies for inconsistency resolution. The need for this resolution of knowledge inconsistency arises in many practical applications of computer systems. This kind of inconsistency results from the use of various resources of knowledge in realizing practical tasks. These resources are often autonomous and use different mechanisms for processing knowledge about the same real world. This can lead to compatibility problems.

Author : Anonim
Publisher : Springer Science & Business Media
Page : 1169 pages
File Size : 41,6 Mb
Release : 2006
Category : Computational complexity
ISBN : 9783540343837

Get Book

Computational Science - ICCS 2006 by Anonim Pdf

Author : Tadeusz Burczynski,Andrzej Osyczka
Publisher : Springer Science & Business Media
Page : 366 pages
File Size : 51,6 Mb
Release : 2006-04-11
Category : Science
ISBN : 9781402022678

Get Book

IUTAM Symposium on Evolutionary Methods in Mechanics by Tadeusz Burczynski,Andrzej Osyczka Pdf

Proceedings of the IUTAM Symposium held in Cracow, Poland, 24-27 September 2002

Author : Thomas Gschwind,Uwe Assmann,Oscar Nierstrasz
Publisher : Springer
Page : 202 pages
File Size : 49,6 Mb
Release : 2005-09-19
Category : Computers
ISBN : 9783540287490

Get Book

Software Composition by Thomas Gschwind,Uwe Assmann,Oscar Nierstrasz Pdf

Component-based software development is the next step after object-oriented programmingthatpromisesto reducecomplexityandimprovereusability.These advantages have also been identi?ed by the industry, and consequently, over the past years, a large number of component-based techniques and processes have been adopted in many of these organizations. A visible result of this is the number ofcomponentmodels thathavebeendevelopedandstandardized.These models de?ne how individual software components interact with each other and simplify the design process of software systems by allowing developers to choose from previously existing components. The development of component models is a ?rst step in the right direction, but there are many challenges that cannot be solved by the development of a new component model alone. Such challengesare the adaptation of components, and their development and veri?cation. Software Composition is the premiere workshop to advance the research in component-based software engineering and its related ?elds. SC 2005 was the fourth workshop in this series. As in previous years, SC 2005 was organized as an event co-located with the ETAPS conference. This year’s program consisted of a keynote on the revival of dynamic l- guages given by Prof. Oscar Nierstrasz and 13 technical paper presentations (9 full and 4 short papers). The technical papers were carefully selected from a total of 41 submitted papers. Each paper was thoroughly peer reviewed by at leastthreemembers oftheprogramcommittee andconsensusonacceptancewas achieved by means of an electronic PC discussion. This LNCS volume contains the revised versions of the papers presented at SC 2005.

Author : Ivica Crnkovic,Judith A. Stafford,Heinz W. Schmidt,Kurt Wallnau
Publisher : Springer
Page : 312 pages
File Size : 54,7 Mb
Release : 2004-05-26
Category : Computers
ISBN : 9783540247746

Get Book

Component-Based Software Engineering by Ivica Crnkovic,Judith A. Stafford,Heinz W. Schmidt,Kurt Wallnau Pdf

Component-based software engineering (CBSE) is concerned with the devel- ment of software-intensive systems from reusable parts (components), the dev- opmentofsuchreusableparts,andthemaintenanceandimprovementofsystems by means of component replacement and customization. Although it holds c- siderable promise, there are still many challenges facing both researchers and practitioners in establishing CBSE as an e?cient and proven engineering dis- pline. Six CBSE workshops have been held consecutively at the most recent six International Conferences on Software Engineering (ICSE). The premise of the last three CBSE workshops was that the long-term success of component-based development depends on the viability of an established science and technology foundation for achieving predictable quality in component-based systems. TheintentoftheCBSE2004symposiumwastobuildonthispremise,andto provide a forum for more in-depth and substantive treatment of topics perta- ing to predictability, to help establish cross-discipline insights, and to improve cooperation and mutual understanding. The goal of the CBSE 2004 symposium was to discuss and present more complete and mature works, and consequently collect the technical papers in published proceedings. The response to the Call for Papers was beyond expectations: 82 papers were submitted. Of those 25 (12 long and 13 short) were accepted for publication. In all 25 cases, the papers were reviewed by three to four independent reviewers. The symposium brought together researchers and practitioners from a variety of disciplines related to CBSE.

Author : Edmund Burke,Patrick De Causmaecker
Publisher : Springer
Page : 368 pages
File Size : 55,7 Mb
Release : 2003-09-09
Category : Computers
ISBN : 9783540451570

Get Book

Practice and Theory of Automated Timetabling IV by Edmund Burke,Patrick De Causmaecker Pdf

Thisvolumecontainsaselectionofpapersfromthe4thInternationalConference on the Practice and Theory of Automated Timetabling (PATAT 2002) held in Gent, August 21–23, 2002. Since the ?rst conference in Edinburgh in 1995, the range of timetabling applications at the conferences has become broader and more diverse. In the s- ected papers volume from the 1995 conference, there were just two contributions (out of 22) which did not speci?cally address school and university timetabling. In the selected papers volume from the 1997 conference in Toronto, the number of papers which tackled non-educational problems increased. Two of the papers addressed more than one timetabling application. In both of these papers, educational applications were considered in addition to other applications. A further three papers were concerned with non-educational applications. The conference steering and programme committees have worked hard to attract a wide range of timetabling applications. In the conference held in Konstanz in 2000, the diversi?cation of timetabling problems increased signi?cantly. Of the 21 selected papers in the postconference volume, just 13 were speci?cally concerned with educational timetabling. In the previous volumes, the papers had been sectioned according to solution technique. In the Konstanz volume the papers were classi?ed according to application domains. One section of the volume was entitled “Employee Timetabling,” while sports timetabling, air?eet scheduling, and general software architectures for timetabling were also represented. In the present volume, more than one-third of the 21 papers discuss problems in application areas other than academic and educational ones. Sports timetabling and hospital timetabling are particularly well represented.

Author : Michel R. V. Chaudron,Clemens Szyperski,Ralf H. Reussner
Publisher : Springer
Page : 351 pages
File Size : 42,9 Mb
Release : 2008-10-10
Category : Computers
ISBN : 9783540878919

Get Book

Component-Based Software Engineering by Michel R. V. Chaudron,Clemens Szyperski,Ralf H. Reussner Pdf

On behalf of the Organizing Committee we are pleased to present the p- ceedings of the 2008 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensivesystems from independently developed software-building blocks (components), the - velopment of components, and system maintenance and improvement by means of component replacement and customization. CBSE 2008 was the 11th in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. Wewerefortunateto haveadedicatedProgramCommitteecomprisingmany internationallyrecognizedresearchersandindustrialpractitioners.Wewouldlike to thank the members of the Program Committee and associated reviewers for their contribution in making this conference a success. We received 70 subm- sions and each paper was reviewed by at least three Program Committee m- bers (four for papers with an author on the Program Committee). The entire reviewing process was supported by the Conference Management Toolkit p- vided by Microsoft. In total, 20 submissions were accepted as full papers and 3 submissions were accepted as short papers.