Conventional object-oriented data models are "closed". Although they allow users to define application-specific classes, they usually come with a fixed set of modeling primitives. This constitutes a major problem as different application domains have different requirements on a data model. For example, database integration...

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical...

Firstly, discrete-time linear models such as AR, MA and ARMA models, their properties and their limitations are introduced. In addition, sinusoidal models are...

With the availability of chips offering constantly increasing computational performance and functionality, design of more and more complex applications becomes possible. This is particularly true for the domain of image processing, which is characterized by huge computation efforts. Unfortunately, this evolution risks to be stopped by...

Non-photorealistic computer graphics is a multidisciplinary field in the research community, involving computer arts, computer graphics, computer vision, digital image/video processing and visual cognitive psychology. It aims at the computer generation of images and animations that are made in part “by hand” in appearance,...

It teaches risk-driven architecting. There is no need for meticulous designs when risks are small, nor any excuse for sloppy designs when risks threaten your success. This book describes a way to do just...

CSS3, the newest version of the style sheet language of the web, is less about creating new effects and more about accomplishing the beautiful web design effects you’re familiar with in fantastic new ways—ways that are more efficient and produce more usable and flexible results than the techniques we’ve been using...

In developing the New Perspectives Series, our goal was to create books that give students the software...

This book will show you how to use the latest HTML5 and CSS3 web standards to build card games,...

For a long time computer scientists have distinguished between fast and slow algorithms. Fast (or good) algorithms are the algorithms that run in polynomial time, which means that the number of steps required for the algorithm to solve a problem is bounded by some polynomial in the length of the input. All other algorithms are slow (or bad)....

In 1872 F. Klein proposed his Erlangen Programme in...