Computer programming / software engineering

The 3rd International Workshop on Software Engineering and Middleware {SEM 2002) was held May 20-21, 2002, in Orlando, Florida, as a co-located event of the 2002 International Conference on Software Engineering.

This Festschrift has been published in honor of Rinus Plasmeijer, to celebrate the combined occasion of his 61st birthday and the 25th Symposium on Implementation and Application of Functional Languages, IFL 2013, held in Nijmegen, The Netherlands, in August 2013.

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.

This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction.

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends.

This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and colleagues.

Data management has evolved over the years from being strictly associated with database systems, through active databases, to become a topic that has grown beyond the scope of a single field encompassing a large range of subjects, such as distributed systems, event-driven systems, and peer-to-peer and streaming systems.

Thetopicof"e;Model-BasedEngineeringofReal-TimeEmbeddedSystems"e;brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering).

The 8th issue of the Transactions on Computational Science has been divided into two parts.

The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?

Software defects lead to enormous costs for the software industry and society as a whole.

For many years now, cryptography has been keeping messages secure for senders, irrespective of the routing to the destination.

work for small problems, but it introduces signi?

Human Machine Interaction, or more commonly Human Computer Interaction, is the study of interaction between people and computers.

As software systems become ubiquitous, the issues of dependability become more and more crucial.

This book gives a comprehensive account of Maude, a language and system based on rewriting logic.

"e;The-computer-as-we-know-it"e; will have no role in our future everyday lives.

This book constitutes the strictly reviewed post-workshop documentation of the First International Conference on Cooperative Multimodal Communication held in Eindhoven, The Netherlands, in 1995.

This volume contains the proceedings of the 19th annual International Conference on Application and Theory of Petri Nets.

The EUROCRYPT '96 conference was sponsored by the International Asso- ation for Cryptologic Research (IACR)l, in cooperation with the University of Saragossa.

This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 10-12, 1997, 'back to back' with the Fourteenth International Conference on Logic Programming, ICLP '97.

Code motion techniques are integrated in many optimizing production and research compilers.

This volume contains a collection of selected papers presented at the Symposium on Conceptual Modeling, which was held in Los Angeles, California, on December 2, th 1997, immediately before the 16 International Conference on Conceptual Modeling (ER'97), which was held at UCLA.

This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM'99), which took place at the ETH Zurich in Switzerland and was hosted by the Computer Engineering and Networking Laboratory, TIK.

Premiering in 1990 in Antibes, France, the European Conference on Computer Vision, ECCV, has been held biennially at venues all around Europe.

Premiering in 1990 in Antibes, France, the European Conference on Computer Vision, ECCV, has been held biennially at venues all around Europe.

This book constitutes the refereed proceedings of the First International Workshop on Active Networks, IWAN'99, held in Berlin, Germany in June/July 1999.

The papers in this volume were presented at the Sixth Workshop on Algorithms and Data Structures (WADS '99).

This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany.

This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi.

Nowadays, the Internet is the most commonly used medium for the exchange of data in di?

The Ninth International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO) took place in Dagstuhl Germany, Sept- ber 18{21, 2000.

Still today I am receiving requests for reprints of the book, but unfortunately it is out of print.

This book contains the proceedings of the Fourth International Workshop on Product Family Engineering, PFE-4, held in Bilbao, Spain, October 3-5, 2001.

The Seventh International Symposium on Spatial and Temporal Databases (SSTD 2001), held in Redondo Beach, CA, USA, July 12{15, 2001, brought together leading researchers and developers in the area of spatial, temporal, and spatio-temporal databases to discuss the state of the art in spatial and temporal data management and applications, and to understand the challenges and - search directions in the advancing area of data management for moving objects.

Creation Techniques for Software Development and Deployment, Agent-Based Management, Virtual Home Environment, Integrated and Scalable Solutions for Telecommunications Management.

The papers in this volume were presented at the Fourth Italian Conference on Algorithms and Complexity (CIAC 2000).

This book constitutes the refereed proceedings of the 19th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-13, held in Honolulu, Hawaii, USA in November 1999.

The full title of the HCM network project behind this volume is VIM: A virtual multicomputer for symbolic applications.

Scalable Coherent Interface (SCI) is an innovative interconnect standard (ANSI/IEEE Std 1596-1992) addressing the high-performance computing and networking domain.