The third successful completion of the INDOCRYPT conference series marks the acceptance of the series by the international research community as a forum for presenting high-quality research.It also marks the coming of age of cryptology research in India. The authors for the submitted papers were spread across 21 countries and 4 continents, which goes a long way to demonstrate the international interest and visibility of INDOCRYPT.In the previous two conferences, the submissions from India originated from only two institutes; this increased to six for the 2002 conference.Thus INDOCRYPT is well...

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.

The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive...

Communities are groupings of distributed objects that communicate, directly orindirectly, throughthemediumofasharedcontext.Thisconferencebrought togetherresearchersinterestedinthetechnicalissuesofsupportingcommunities. DCW 2002 was held in Sydney, Australia, and was hosted by the Software EngineeringResearchGroupandtheSchoolofComputerScienceandEngine- ingattheUniversityofNewSouthWales.ItwasthefourthintheDCWseries, thepreviousconferenceshavingtakenplaceinQu ebec(2000, LNCS1830)and inRostock(1998and1999, UniversityofRostockPress). Theprogramcommitteeselected25papersfrom59submissionsfromaround...

The workshop on Applications of Natural Language to Information Systems (NLDB)hassince1995providedaforumforacademicandindustrialresearchers and practitioners to discuss the application of natural language to both the development and use of software applications. Theuseofnaturallanguageinrelationtosoftwarehascontributedtoimpr- ing the development of software from the viewpoints of both the developers and the users. Developers bene't from improvements in conceptual modeling, so- ware validation, natural language program speci?cations, and many other areas. Users bene't from increased usability...

This volume contains the papers presented at RelMiCS 2001, the 6th Int- national Conference on Relational Methods in Computer Science, and the First Workshop of COST Action 274TARSKI, Theory and Application of Relat- nal Structures as Knowledge Instruments. The conference was held in conference centre Boschoord, Oisterwijk near Tilburg, The Netherlands, from October 16 till October 21, 2001. The conference attracted interest from many parts of the world with contributions from many countries. This conference was a continuation of international conferences/workshops on Relational Methods in...

Despite being a young field of research and development, data mining has proved to be a successful approach to extracting knowledge from huge collections of structured digital data collection as usually stored in databases. nowadays multimedia and Internet applications drive the need to develop data mining methods and techniques that can work on all kinds of data such as documents, images, and signals. demonstrates how to apply these methods in various application fields. medicine, and for scientists who want to contribute R&D work to the field or apply this new technology.

This volume collects the papers presented at ICDT 2003, the 9th International ConferenceonDatabaseTheory, heldfrom8to10January2003intheRettorato dell'Universit a di Siena, Siena, Italy. ICDT (http: //alpha.luc.ac.be/ lucp1080/icdt/) has now a long t- dition of international conferences, providing a biennial scienti?c forum for the communicationofhigh-qualityresearchresultsontheoreticalaspectsofallforms of database systems and database technology. ICDT is traditionally held in - storic European locations: Rome in 1986, Bruges in 1988, Paris in 1990, Berlin in 1992, Prague in 1995, Delphi in...

By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself.
The 20 reviewed research papers presented together with a brief survey of the work of Neil D. Jones were written by scientists who have worked with him, in the roles of student, colleague, and, in one case, mentor. In accordance with the Festschrift's subtitle, the papers are organized in parts on computational complexity, program analysis, and program transformation.

The 28th International Workshop on Graph-Theoretic Concepts in Computer ? Science (WG 2002) was held in Cesky Krumlov, a beautiful small town in the southern part of the Czech Republic on the river Vltava (Moldau), June 13-15, 2002. The workshop was organized by the Department of Applied Mathematics of the Faculty of Mathematics and Physics of Charles University in Prague. Since 1975, WG has taken place in Germany 20 times, twice in Austria and The Netherlands, and once in Italy, Slovakia, and Switzerland. As in previous years, the workshop aimed at uniting theory and practice by...

A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems.

For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games.

The 19 chapters presented in this...