As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.

One approach especially intrigued me. John Guttag and Jim...

The Cisco IronPort Email Security Appliances (ESA) have been deployed in thousands of networks to accept, filter, and deliver email messages. The ESA is easy to deploy and its security-filtering settings are effective right out of the box. However, many organizations are looking for more from their messaging environment...

• Load and render complex 3D objects in WebGL using JavaScript
• ...

• Create dynamic, multi-user web applications completely in...

This book reviews the chemical and biological properties of Artemisia amygdalina Decne, a critically endangered and endemic plant species in the the high-altitude Kashmir Himalayas, which has a high pharmacological potential. It describes the bioactivity-guided isolation of its chemical compounds, their characterization using...

• Master the most popular testing tools in the JavaScript ecosystem, such as CucumberJS, Mocha, SinonJS, and more.
• Learn how Behavior-driven development can help...

You can hardly pick up a technical magazine, developer conference brochure, or corporate IT strategy document without seeing a reference to Web services. So what is all the hype about? Simply put, Web services allow developers to create unrestricted applications—applications that span different operating systems,...

"A must-read for any competitive organization, Detail Process Charting: Speaking the Language of Process provides a comprehensive, yet clear, explanation of how to utilize one of the most powerful tools available to improve work processes. [Graham] has successfully integrated the history, success stories,...