This volume contains the proceedings of the 22nd International Conference on Computer-Aided Veri?cation (CAV) held in Edinburgh, UK, July 15-19 2010. CAV is dedicated to the advancement of the theory and practice of comput- assistedformalanalysismethods forsoftwareandhardwaresystems.Theconf- ence covers the spectrum from theoretical results to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation. We received 145 submissions: 101 submissions of regular papers and 44 s- missions of tool papers. These...

Whilst enterprise technology departments have been steadily building their information and knowledge management portfolios, the Internet has generated new sets of tools and capabilities which provide opportunities and challenges for improving and enriching knowledge work. This book fills the gap between strategy and technology by focussing upon the functional capabilities of Web 2.0 in corporate environments and matching these to specific types of information requirement and behaviour. It takes a resource based view of the firm: why and how can the knowledge capabilities and information...