Managing knowledge networks (KN) within organizations has taken on enhanced importance in recent years because of the decline of middle management and other changes in formal organizational structures, the growth of information technologies, and our increasingly competitive global economy. KN can be manifested in a variety of forms: project...

• A critical tool for assessing suicidal and homicidal...

This book addresses many challenging topics related to the NoC research area. It starts by studying 3D NoC architectures and progresses to a discussion of NoC resource allocation, processor traffic modeling, and formal verification. NoC protocols are examined at different layers of abstraction. Also, several emerging research issues in NoC...

Excited about that new digital SLR and eager to find inventive ways to put all its features to work? This book will help! It shows you (in rich, full color) exactly what you and your...

Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on...

Although in Hinduism it is mainly used to refer to widow immolation, the term 'sati' means 'true woman' - a female hero. Whitney Kelting has learned that in Jainism satis appear as subjects of devotional hymns. This seems paradoxical, given that Jain spirituality is to disengage oneself from worldly existence and Jain devotionalism is usually...

Memory forensics provides cutting edge technology to help investigate digital attacks Memory forensics is the art of analyzing computer memory (RAM) to solve digital crimes. As a follow-up to the best seller Malware Analyst's Cookbook, experts in the fields of malware, security, and digital forensics bring you a step-by-step guide to...