This monograph presents a framework for modelling, specifying and verifying systems composed of real-time discrete event processes. A discrete event system consists of the plant (the object to be controlled) and a controller. For example, the plant might consist of machines, robots and conveyors on the factory floor. The objective of...

This is the joint post-proceedings of the 6th International Symposium on High Performance Computing (ISHPC-VI) and the First International Workshop on Advanced Low Power Systems 2006 (ALPS2006). The post-proceedings also contain the papers presented at the Second HPF International Workshop: Experiences and Progress (HiWEP2005) and the...

This volume constitutes the proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2011). The Petri Net conferences serve as annual meeting places to discuss the progress in the field of Petri nets and related models of concurrency. They provide a forum for...

The second edition of Human-Computer Interaction established itself as one of the classic textbooks in the area, with its broad coverage and rigorous approach, this new edition builds on the existing strengths of the book, but giving the text a more student-friendly slant and improving the coverage in certain areas. The revised...

As a result of the multi-faceted...

...

ASEA brings together researchers from academia and industry...

You use word processors to write documents, Web browsers to explore the Internet, and email programs to send email. These are all examples of software that runs on computers. Software is developed using programming languages. There are many programming languages—so why Java? The answer is that Java enables...

MAXON understands that making a transition into 3D graphics and animation can be a daunting proposition for artists already pressed for time keeping up with the ever evolving progression of more traditional graphics technology. With that in mind, they have crafted CINEMA 4D, a software that is intuitive yet amazingly powerful. Using...

Web developers have been eager for an impartial comparison of leading PHP frameworks so they can make educated decisions about the most effective tool for their needs. This guide uses Symfony, CakePHP, and Zend Framework to solve key problems,...

Mobile is the hottest thing going—and developing content for mobile devices and browsers is even hotter than that.  This book is your guide to it all—how to design, build, and deploy sites, blogs and services that...

Visual Basic for Applications (VBA) is a powerful tool that enables you to automate operations in the Microsoft Offi ce applications and in other applications that host VBA. By automating operations using VBA, you can save yourself and your colleagues huge amounts of time and effort. Getting more work done in less time is usually good...