Computer programming / software engineering

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.

Since the late 1980s, the CAiSE conferences have provided a forum for the p- sentation and exchange of research results and practical experiences within the ?

This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001.

ETAPS 2001 is the fourth instance of the European Joint Conferences on Theory and Practice of Software.

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software.

This volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000.

Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling.

Recently, we have seen a steep increase in the popularity and adoption of XML, in areas such as traditional databases, e-business, the scientific environment, and on the web.

We are both fans of watching animated stories.

Declarative languages build on sound theoretical bases to provide attractive frameworks for application development.

This tutorial contains written versions of seven lectures on Computational Combinatorial Optimization given by leading members of the optimization community.

 This book constitutes the refereed proceedings of the 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, held in Loughborough, UK in June 2003.

 This book constitutes the refereed proceedings of the 6th International Symposium on Self-Stabilizing Systems, SSS 2003, held in San Francisco, CA, USA, in June 2003.

Virtual Worlds 2000 is the second in a series of international scientific conferences on virtual worlds held at the International Institute of Multimedia in Paris La Defense (Pole Universitaire Leonard de Vinci).

 Agents in multiagent systems are concurrent autonomous entities that need to coordinate and to cooperate so as to perform their tasks; these coordination and cooperation tasks might be achieved through communication.