Object-Oriented Behavioral Specifications encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a craft. The focus is on understanding customers' needs and on precise specification of understanding gained through analysis....

The design and the verification of modern software applications requires the analysis of several different aspects, such as software correctness, quality of service, and security, and of the possible inter-relations among them. Process algebraic architectural languages and the related analysis techniques provide a formal paradigm that allows...

Ambient Intelligence (AmI) is a recent paradigm emerging from Artificial Intelligence (AI), where computers are used as proactive tools assisting people with their day-to-day activities, making everyone’s life more comfortable. Another main concern of AmI originates from the human computer interaction domain and focuses on offering ways...

The purpose of this proceedings volume is to return to the starting point of bio-informatics and quantum information, fields that are growing rapidly at present, and to seriously attempt mutual interaction between the two, with a view to enumerating and solving the many fundamental problems they entail. For such a purpose, we look for...

More and more businesses today have their receive phone service
through Internet instead of local phone company lines. Many
businesses are also using their internal local and wide-area
network infrastructure to replace legacy enterprise telephone
networks. This migration to a single network carrying voice...

This book discusses the principles and practice of breast cancer management within the context of multidisciplinary team working and places emphasis on pragmatism. The text provides a comprehensive and contemporary account of the subject and should permit the reader to develop a firm understanding of the disease from epidemiology, genetics...