Wyniki wyszukiwania:

Nuclear ftedicine is not and has not been a purely imaging discipline. It is function analysis that has always been the focal pOint. This fact has become particularly obvious in the last few years through the employment of nev short-lived radionuclides, new technical procedures and data processing. The disadvantage of function analysis in Inclear ftedicine through the use of radioactively labeled compounds is that more and more complicated and expensive equipment his to be used. A further characteristic is that these machines are stationary, and that the patients cannot be examined under...

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Security and Trust Management, STM 2010, held in Athens, Greece, in September 2010.
The 17 revised full papers presented were carefully reviewed and selected from 40 submissions. Focusing on high-quality original unpublished research, case studies, and implementation experiences, STM 2010 encouraged submissions discussing the application and deployment of security technologies in practice.

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent...