Every year, computer security threats become more severe. Software alone can no longer adequately defend against them: what’s needed is secure hardware. The Trusted Platform Module (TPM) makes...

Today’s business leaders agree that effectively managing and leveraging information to make decisions has never been more important. More than 60 percent of CEOs feel their organizations need to do better at leveraging their information (IBM® Attributes and Capabilities Study, 2005). CFOs feel that if they leverage their information...

The 22 revised full papers and 37 revised short papers presented together with 6 invited papers were carefully reviewed and selected from 97...

The 18 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on...

The bones of the hand and wrist, which are linked by synovial joints, provide a mobile yet stable framework that is crucial for strenuous work and fine manipulative activity. A built-in mechanism of...

The 43 revised full papers presented together with an invited article were carefully reviewed and selected from 117 submissions. The papers address all current...

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,...