Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g., Java, C++, or C#. The International Conference on Formal...

...

This volume of Lecture Notes in Computer Science contains revised versions of papers presented at the 15th International Conference on Implementation and Application of Automata, CIAA 2010. The conference was held at the University of Manitoba in Winnipeg, Canada, on August 12–15, 2010. The previous CIAA conferences were held in London,...

Web mapping is the process of designing, implementing, generating, and delivering maps on the World Wide Web and its products. OpenLayers is a powerful, community driven, open source, pure JavaScript web mapping library. With it, you can easily create your own web map mashup using WMS, Google Maps, and a myriad of other map backends....

This book is a complete...

The new GCSE qualification has several routes, but all begin with ‘Setting Up a Business’. This unit is an introduction to setting up and running a business and looks at the...

The idea for this project grew out of a conversation between Jens Timmermann, Steve Engstrom and Andrews Reath at a conference on Kant’s moral philosophy hosted by Peking University in May 2004. We believe that Andy suggested that there was a need for a volume of new essays on the Critique of Practical Reason, and Jens suggested that we...

Simulation is integral to the successful design of modern radar systems, and there is arguably no better software for this purpose than MATLAB. But software and the ability to use it does not guarantee success. One must also:

- Understand radar operations and design philosophy
- Know how to select the radar parameters...

The Second International ICST Conference on Digital Forensics and Cyber Crime (ICDF2C 2010) was hosted in Abu Dhabi, United Arab Emirates, during October 4–6, 2010. The conference was attended by over 100 international participants including academics, senior government officials from the UAE, and corporate attendees. ICDF2C 2010...

We are pleased to present the proceedings of the third international conference on Software Language Engineering (SLE 2010). The conference was held in Eindhoven, the Netherlands during October 12–13, 2010. It was co-located with the ninth international conference on Generative Programming and Component Engineering (GPCE) and the...