Computer programming / software engineering

Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information.

Long gone are the days when program veri?

A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King's 1969 thesis on "e;A program verifier.

The need to evaluate computer and communication systems performance and dependability is continuously growing as a consequence of both the increasing complexity of systems and the user requirements in terms of timing behaviour.

Computer Vision has now reached a level of maturity that allows us not only to perform research on individual methods but also to build fully integrated computer vision systems of a signi cant complexity.

These proceedings contain papers presented at the 8th Discrete Geometry for Computer Imagery conference, held 17-19, March 1999 at ESIEE, Marne-la- Vall ee.

Formal methods are coming of age.

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002.

DISC, the International Symposium on DIStributed Computing, is an annual forum for research presentations on all facets of distributed computing.

The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15-17, 2002.

This book presents a selection of revised full papers accepted for presentation at the First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000, held in Montpellier, France, in May 2000.

This book constitutes the refereed proceedings of the Second International Conference Diagrams 2002, held in Callaway Gardens, Georgia, USA, in April 2002.

The AAECC Symposia Series was started in 1983 by Alain Poli (Toulouse), who, together with R.

This book constitutes the refereed proceedings of the 5th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2001, held in Hong Kong, China in April 2001.

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

This volume contains the proceedings of the ACM SIGPLAN Workshop on L- guages, Compilers, and Tools for Embedded Systems (LCTES 2000), held June 18, 2000, in Vancouver, Canada.

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, held in Lochem, The Netherlands, in September 1999.

In August 1999, the Twelfth Workshop on Languages and Compilers for P- allel Computing (LCPC) was hosted by the Hierarchical Tiling Research group from the Computer Science and Engineering Department at the University of California San Diego (UCSD).

This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6.

After some time of early experience Web Services are moving themselves from a new highly fragmented technology to a piece of nowadays infrastructures which promise to address various current challenges.

This volume constitutes the proceedings of the second International Conference on Generative Programming and Component Engineering (GPCE 2003), held September 22-25, 2003, in Erfurt, Germany, sponsored by the NetObjectDays German industrial software development event, in cooperation with the ACM SIGPLAN and SIGSOFT societies.

This book constitutes the refereed proceedings of the 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, held in Heidelberg, Germany in October 2002.

Inconsistency arises in many areas in advanced computing.

The 7th International Conference on Medical Imaging and Computer Assisted Intervention, MICCAI 2004, was held in Saint-Malo, Brittany, France at the "e;Palais du Grand Large"e; conference center, September 26-29, 2004.

The 1st Workshop on Service Assurance with Partial and Intermittent Resources (SAPIR 2004) was the first event in a series introducing the concept of pi-resources and bridging it with the emerging and important field of distributed and heavily shared resources.

Where is system architecture heading?

Solving complex problems in real-world contexts, such as financial investment planning or mining large data collections, involves many different sub-tasks, each of which requires different techniques.

This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming.

This state-of-the-art survey offers a renewed and refreshing focus on the progress in evolutionary computation, in neural networks, and in fuzzy systems.

This Festschrift volume, published in honor of Jean-Jaques Quisquater on the occasion of his 65th Birthday, contains 33 papers from colleagues all over the world and deals with all the fields to which Jean-Jaques dedicated his work during his academic career.

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.

Conceptual modeling represents a recent approach to creating knowledge.

Asiacrypt'99 was held in Singapore on 14-18 November 1999.

This book provides a comprehensive state-of-the-art, in conceptual modeling.

Intelligent agents will be the necessity of the coming century.

This volume presents the revised lecture notes of selected talks given at the second Central European Functional Programming School, CEFP 2007, held June 23-30, 2007 at Babe s-Bolyai University, Cluj-Napoca, Romania.

The importance of visual data mining, as a strong sub-discipline of data mining, had already been recognized in the beginning of the decade.