Topics addressed include mathematical models of real-time systems and associated formal verification techniques...

Position yourself at the forefront of audio and broadcast studio technology by learning audio over IP. You will gain knowledge of IP network engineering as it applies to audio applications, and then progress to a full understanding of how equipment built on Ethernet and Internet Protocol are used in today's audio production and broadcast...

Cryptography is now ubiquitous – moving beyond the traditional environments, such as government communications and banking systems, we see cryptographic techniques realized in Web browsers, e-mail programs, cell phones, manufacturing systems, embedded software, smart buildings, cars, and even medical implants. Today's designers need a...

Whether you manage a large enterprise server or your own Macs at home or in a small office, this book has what you need to understand Apple's new Mac OS X Snow Leopard Server inside and out. Crammed with information, this detailed guide presents best practices and insights...

Unique to the popular Grails web framework is its architecture. While other frameworks are built from the ground up, Grails leverages existing and proven technologies that already have advanced functionality built in. One of the key technologies in this architecture is Hibernate, on top of which Grails builds its GORM (Grails Object Relational...