This thesis deals with the problems of characterizing the semantics of and assuringe?cient executionfor databasequery languages, wherethedatabase contains semistructured and time-varying information. This area of techn- ogy is of much interest and signi?cance for databases and knowledge bases; it also presents many challenging research problems deserving an in-depth investigation.Thus, the topic of Elisa Quintarelli s dissertation is well chosen and totally appropriate to the current research trends. In her thesis, Elisa addresses a number of related problems. However, her work and...

This book constitutes the refereed proceedings of the First European Semantic Web Symposium, ESWS 2004, held in Heraklion, Crete, Greece in May 2004.

The 33 revised full papers presented were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on ontology engineering, ontology matching and mapping, ontology-based querying, ontology merging and population, infrastructure, semantic web services, service discovery and composition, data from the semantic web, knowledge presentation, applications, content management, and information...

On behalf of the program committee, we were pleased to present this year s program for ACSAC: Asia-Paci?c Computer Systems Architecture Conference. Now in its ninth year, ACSAC continues to provide an excellent forum for researchers, educators and practitioners to come to the Asia-Paci?c region to exchange ideas on the latest developments in computer systems architecture. This year, the paper submission and review processes were semiautomated using the free version of CyberChair. We received 152 submissions, the largest number ever.Eachpaperwasassignedatleastthree, mostlyfour,...

This volume contains the proceedings of the 24th IFIP TC 6/WG 6.1 Inter- tionalConference onFormalTechniquesfor Networkedand Distributed Systems (FORTE 2004), held in Madrid, Spain, September 27 30,2004.FORTE denotes a series of international working conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Three years ago the conference name was changed to its current form. The last ?ve...

This work constitutes the refereed proceedings of the 11th International Conference on Field-Programmable Logic and Application, FPL 2 001, held in Belfast, Northern Ireland, UK, in August 2001. The 56 revised full papers and 15 short papers presented were carefully reviewed and selected from a total of 117 submissions. The book offers topical sections on architectural framework, place and route, architecture, DSP, synthesis, encryption, runtime reconfiguration, graphics and vision, networking, processor interaction, applications, methodology, loops and systolic, image processing, faults and...

This volume constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book. The book documents advances for the Z formal specification notion, and for the B method the full scope is covered, ranging from foundational and theoretical issues to advanced applications, tools and case studies.

In defining the state of the art of E-Government, EGOV 2002 was aimed at breaking new ground in the development of innovative solutions in this impor- tant field of the emerging Information Society. To promote this aim, the EGOV conference brought together professionals from all over the globe. In order to obtain a rich picture of the state of the art, the subject matter was dealt with in various ways: drawing experiences from case studies, investigating the outcome from projects, and discussing frameworks and guidelines. The large number of contributions and their breadth testify to a...

Compiled from the proceedings of the 9th International Static Analysis Symposium, SAS 2002, held in Madrid, Spain, in September 2002, this volume contains 32 revised full papers. The papers are organized in topical sections on theory, data structure analysis, type inference, analysis of numerical problems, implementation, data flow analysis, compiler optimizations, security analyses, abstract model checking, semantics and abstract verification, and termination analysis.

This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995.
The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.

The aim of cyclic cohomology theories is the approximation of K-theory by cohomology theories defined by natural chain complexes. The basic example is the approximation of topological K-theory by de Rham cohomology via the classical Chern character. A cyclic cohomology theory for operator algebras is developed in the book, based on Connes' work on noncommutative geometry. Asymptotic cyclic cohomology faithfully reflects the basic properties and features of operator K-theory. It thus becomes a natural target for a Chern character. The central result of the book is a general...