Computer programming / software engineering

These are the proceedings of the Sixth International Conference on High Performance Computing (HiPC'99) held December 17-20 in Calcutta, India.

Within the last few years Data Warehousing and Knowledge Discovery technology has established itself as a key technology for enterprises that wish to improve the quality of the results obtained from data analysis, decision support, and the automatic extraction of knowledge from data.

Thisvolumerecordstheproceedingsofthe?

WorkshopTheme The ease and speed with which business transactions can be carried out over the Web has been a key driving force in the rapid growth of electronic commerce.

Industrial robots carry out simple tasks in customized environments for which it is typical that nearly all e?

Modernsoftwaresystemsincreasinglyusecommercial-o?

This volume constitutes the proceedings of REFLECTION 2001, the Third Int- national Conference on Metalevel Architectures and Separation of Crosscutting Concerns, which was held in Kyoto, September 25-28, 2001.

These arethe proceedingsof the Fourth InternationalWorkshopon Cooperative Information Agents, held in Boston Massachusetts, USA, July 7-9, 2000.

The8thInternationalConferenceonReliableSoftwareTechnologies,Ada-Europe 2003,tookplaceinToulouse,France,June18-20,2003.

This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3-6 September 2001 in Edinburgh, Scotland.

Since 1993, cryptographic algorithm research has centered around the Fast So- ware Encryption (FSE) workshop.

This year's meeting marked the Eighth International Symposium on Graph D- wing.

This volume is the third in an ongoing series of books that deal with the state of the art in timetabling research.

missions in fact also treat an envisaged mutual impact among them.

The Computers and Games (CG) series began in 1998 with the objective of showcasing new developments in arti?

The Extensible Markup Language (XML) is playing an increasingly important role in the exchange of a wide variety of data on the Web and elsewhere.

1 WorkshopTheme Digital multimedia di?

The International Conference on Asian Digital Libraries (ICADL) is an annual international forum for participants to exchange research results, innovative ideas, and state-of-the-art developments in digital libraries.

The 2004 Information Security Conference was the seventh in a series that started with the Information Security Workshop in 1997.

ICIAR 2004, the International Conference on Image Analysis and Recognition, was the ?

With the rapid development of Web-based learning and new concepts like virtual cla- rooms, virtual laboratories and virtual universities, many issues need to be addressed.

1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume.

The natural mission of Computational Science is to tackle all sorts of human problems and to work out intelligent automata aimed at alleviating the b- den of working out suitable tools for solving complex problems.

The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2018, and the 18th International Conference on Application of Concurrency to System Design, ACSD 2018.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems.

The LNCS journal Transactions on ComputationalScience reflects recent developments in the field of Computational Science,conceiving the field not as a mere ancillary science but rather as aninnovative approach supporting many other scientific disciplines.

The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems.

Life-like characters is one of the most exciting technologies for human-computer interface applications today.

This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops.

XPAgileUniverse2003isthethirdconferenceinaseriesrunninginNorthA- rica and attracting participants from all over the world who are interested in the research, development and application of agile software processes.

This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July-2 August 2003 in Miami Beach, Florida, USA.

This volume contains the papers presented at the 11th SDL Forum, Stuttgart.

 This book constitutes the refereed proceedings of the 20th British National Conference on Databases, BNCOD 20, held in Coventry, UK, in July 2003.