Computer programming / software engineering

The security issues set by the global digitization of our society have had, and will continue to have, a crucial impact at all levels of our social organization, including, just to mention a few, privacy, economics, environmental policies, national sovereignty, medical environments.

Nowadays, Web applications are almost omnipresent.

The pigment patterns on tropical shells are of great beauty and diversity.

The general idea that brains anticipate the future, that they engage in prediction, and that one means of doing this is through some sort of inner model that can be run of?

Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and efficiently engineer.

The purpose of this book is to provide tools for a better understanding of the fundamental tradeo?

Ada 2005 is the latest version of the International Standard for the programming language Ada.

Hungarian mathematics has always been known for discrete mathematics, including combinatorial number theory, set theory and recently random structures, combinatorial geometry as well.

Digital Video and Audio Broadcasting Technology - A Practical Engineering Guide"e; deals with all the most important digital television, sound radio and multimedia standards such as MPEG, DVB, DVD, DAB, ATSC, T-DMB, DMB-T, DRM and ISDB-T.

The Ada 2005 Reference Manual combines the International Standard ISO/IEC 8652/1995(E) for the programming language Ada with the corrections of the Technical Corrigendum 1 approved by ISO in February 2001 and with the Amendment 1 expected to be approved by ISO in late 2006 or early 2007.

This book originates from a workshop organised by ESPRIT project 20 477, ARES in Las Palmas de Gran Canaria, Spain, February 1998.

Digital Libraries are complex and advanced forms of information systems which extend and augment their physical counterparts by amplifying existing resources and services and enabling development of new kinds of human problem solving and expression.

The CAPTECH'98 workshop took place at the University of Geneva on November 26-27, 1998, sponsored by FIP Working Group 5.

Advances in Computer Science often arise from new ideas and concepts, that prove to be advantageous for the design of complex software systems.

The leading edge of computer science research is notoriously ?

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally.

This volume contains mainly the revised versions of papers presented at the wo- shop '98, "e;Beyond the Notation"e;, that took place in Mulhouse, France on June 3-4, 1998.

In the ten years since the first MAAMAW was held in 1989, at King's College, Cambridge, the field of Multi-Agent Systems (MAS) has flourished.

This book constitutes the refereed proceedings of the First International Conference on Data Warehousing and Knowledge Discovery, DaWaK'99, held in Florence, Italy in August/September 1999.

A book that furnishes no quotations is, me judice, no book - it is a plaything.

This volume contains the papers selected for presentation at IPCO 2002, the NinthInternationalConferenceonIntegerProgrammingandCombinatorial- timization, Cambridge, MA (USA), May 27-29, 2002.

The Advanced Course on Artificial Intelligence ACAI 2001 with the subtitle M ulti- Agent Systems and Their Applications , held in Prague, Czech Republic, was a joint event of ECCAI (the European Coordinating Committee for Artificial Intelligence) and AgentLink, the European Network of Excellence for Agent-Based Computing.

As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software.

The wireless industry is in the midst of a fundamental shift from providing voice-only services to o?

This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9-12 September 2002.

This book presents state of the art research in theoretical computer science and related ?

This book constitutes the refereed proceedings of the Third International Conference on Web-Age Information Management, WAIM 2002 held in Beijing, China in August 2002.

This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8-11 April 2002.

The Eighth International Conference on Extending Database Technology, EDBT 2002, was held in Prague, Czech Republic, March 25-27, 2002.

ICGT 2002 was the ?

This self-contained monograph is the first to feature the intersection of the structure theory of noncommutative associative algebras and the algorithmic aspect of Groebner basis theory.

This book constitutes the refereed proceedings of the 20th International Conference on Conceptual Modeling, ER 2001, held in Tokohama, Japan, in November 2001.