Computer science

ETAPS 2002 was the ?

ETAPS2002wasthe?

ETAPS 2002 was the ?

This book presents the state of the art in software visualization and thus attempts to establish it as a field on its own.

This volume contains the proceedings of Pervasive 2002, the ?

Annually sponsored by the Korea Institute of Information Security and Crypt- ogy (KIISC), the fourth International Conference on Information Security and Cryptology (ICISC2001) was held at the 63 Building in Seoul, Korea, Dec- ber 6-7, 2001.

High communication efforts and poor problem solving results due to restricted overview are two central issues in collaborative problem solving.

This book constitutes the refereed proceedings of the 9th European PVM/MPI Users'Group Meeting held in Linz, Austria in September/October 2002.

AMTA 2002: From Research to Real Users Ever since the showdown between Empiricists and Rationalists a decade ago at TMI 92, MT researchers have hotly pursued promising paradigms for MT, including da- driven approaches (e.

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.

This book constitutes the refereed proceedings of the 4th International Workshop on Visual Form, IWVF-4, held in Capri, Italy, in May 2001.

This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001.

USM 2000 is the third event in a series of international IFIP/GI conferences on Trends in Distributed Systems.

ECDL2000, the Fourth European Conference on Research and Advanced Te- nology for Digital Libraries, is being held this year in Lisbon, Portugal, following previous events in Pisa (1997), Heraklion (1998), and Paris (1999).

This volume contains updated versions of the ten papers presented at the First International Workshop on Temporal, Spatial and Spatio-Temporal Data Mining (TSDM 2000) held in conjunction with the 4th European Conference on Prin- ples and Practice of Knowledge Discovery in Databases (PKDD 2000) in Lyons, France in September, 2000.

ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8-14, 2003.

This book constitutes the refereed proceedings of the 5th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2003, held in Prague, Czech Republic in September 2003.

2.

Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time.

Mobile agents refer to self-contained and identi?

Constraints provide a declarative way of representing infinite sets of data.

This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001.

Learning Classifier Systems (LCS) are a machine learning paradigm introduced by John Holland in 1976.

These are the proceedings of the Fifth International Workshop on Cooperative Information Agents, held in Modena, Italy, September 6-8, 2001.

This book constitutes the refereed proceedings of the 5th Workshop on Algorithm Engineering, WAE 2001, held in Aarhus, Denmark, in August 2001.

One of the most important reasons for the current intensity of interest in agent technology is that the concept of an agent, as an autonomous system capable of interacting with other agents in order to satisfy its design objectives, is a natural one for software designers.

After the advent of data mining and its successful application on conventional data, Web-related information has been an appropriate and increasingly popular target of knowledge discovery.

Learning classi er systems are rule-based systems that exploit evolutionary c- putation and reinforcement learning to solve di cult problems.

This book constitutes the joint refereed proceedings of the 8th International Workshop on Structural and Syntactic Pattern Recognition and the 3rd International Workshop on Statistical Techniques in Pattern Recognition, SSPR 2000 and SPR 2000, held in Alicante, Spain in August/September 2000.

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design.

Multimodal Interfaces represents an emerging interdisciplinary research direction and has become one of the frontiers in Computer Science.

The proceedings of ECML/PKDD2003 are published in two volumes: the P- ceedings of the 14th European Conference on Machine Learning (LNAI 2837) and the Proceedings of the 7th European Conference on Principles and Practice of Knowledge Discovery in Databases (LNAI 2838).

E-services, and in particular Web services, are emerging as a promising tech- logy for the e?

This volume contains the Proceedings of the 2nd International Workshop on Information Processing in Sensor Networks (IPSN 2003).

The 7th Paci?

This volume contains the proceedings of the 4th International Conference on - formation and Communications Security (ICICS2002).

This book presents 10 chapters on various aspects of intelligent information agents contributed by members of the respective AgentLink special interest group.