This volume is a documenlation of I he main results in Ihe research area "Inte gration of Software Specification Techniques for Applications in Engineering". On one hand it is based on the Priority Program "Integration von Techniken der Soflwarespezifikation fur ingenieurwissensehaftliehe Anwendungen", short Soft...

The vision of a world in which privacy persists and security is ensured but the full potential of the technology is nevertheless tapped guides this work. It is argued that security and privacy can be ensured using technical safeguards if the whole RFID system is designed properly. The challenge is immense since many constraints exist for...

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term...

Considerable evidence indicates that the U.S. is falling behind when it comes to innovation. In part, this shift stems from the globalization of research and the advancement of other nations. But, it also arises from a widespread failure to adapt to the competitive environment generated by the evolution of science and technology.
The...

Failure analysis is the preferred method to investigate product or process reliability and to ensure optimum performance of electrical components and systems. The physics-of-failure approach is the only internationally accepted solution for continuously improving the reliability of materials, devices and processes. The models have been...

The 78 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 128 submissions. The papers present a wealth of...

Jews and Judaism in Modern China explores and compares the dynamics at work in two of the oldest, intact and starkly contrasting civilizations on earth; Jewish and Chinese. The book studies how they interact in modernity and how each civilization views the other, and analyses areas of cooperation between scholars, activists and...

This...

The urgency attached to the agenda of international terrorism and human and drugs- trafficking has forced the European Union into new cooperation with Africa and Asia. These...