Can you find your digital photographs when you need them, or do you spend more time rifling through your hard drive and file cabinets than you'd like? Do you have a system for assigning and tracking content data on your photos? If you make a living as a photographer, do your images bear your copyright and contact...

By the time you’re reading this in a bookstore, BizTalk will have celebrated its tenth birthday. Over the past decade, there have been seven releases of Microsoft’s enterprise integration server, and it has become the most broadly deployed integration middleware technology in the industry, with over 10,000 customers worldwide....

If you like the idea of tackling the design and web applications in Adobe’s Creative Cloud in smaller bites, then this is the book-and-video training learning combo for you.  More than 25...

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th European Joint Conferences on Theory and Practice of Software (ETAPS 2004), whose aims,...

The 30 revised full papers presented were carefully reviewed and selected for inclusion in the book; also included are the abstract of...

Object-Oriented Behavioral Specifications encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a craft. The focus is on understanding customers' needs and on precise specification of understanding gained through analysis....