Well, you might enjoy RobotLegs AS3: yet another lightweight micro-architecture for Rich Internet...

jQuery...

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...

Calling all developers: Windows Phone 7 is starting to gain...

In today's digital world, images and videos are everywhere, and with the advent of powerful and affordable computing devices, it has never been easier to create sophisticated imaging applications. Plentiful software tools and libraries manipulating images and videos are offered, but for anyone who wishes to develop his/her own...

Milwaukee -not New York, Chicago or Los Angeles- was the scene of a number of television firsts: Here the very first application for a commercial TV license was filed with the FCC in 1938. The first female program director and news director in a major market were both at Milwaukee stations. Milwaukee was a major battleground in the VHF...

This book provides an in-depth look at how to build web-based applications (web apps) for Google TV, a new platform that integrates the open web with traditional TV. This powerful and versatile new platform includes Google Chrome, a modern web browser that enables developers to deliver rich and sophisticated web apps to Google TV...

In the spring of 2004, at the Annecy International Animation Festival in France, a dear friend and I had a conversation about animation books. Interesting, we noted, that there is not a single book dedicated to classical hand-drawn special effects animation, even though it is an enormously important aspect of the animation business,...

Gaining access to the interactive learning activities on this Online Companion is easy—all you need to do is create a user profile. This simple, one-time process establishes you as a user in the CoursePort authentication system. By utilizing the Online Companion, students and instructors can reinforce the concepts they’re...

In the five years since the first edition was published, Microsoft has made impressive progress in building out its data warehousing and business intelligence tools suite. It is gratifying to those of us who work in this space to see the steady commitment that Microsoft has made to provide usable, professional quality tools. During...

Android is everywhere. Phones. Tablets. TVs and set-top boxes powered by Google TV. Soon, Android will be in cars and all sort of other places as well. However, the general theme of Android devices will be smaller screens and/or no hardware keyboard. And, by the numbers, Android will probably be associated mostly with smartphones for...