The Internet as we know it today is the result of a continuous activity for improving network communications, end user services, computational processes and also information technology infrastructures. The Internet has become a critical infrastructure for the human-being by offering complex networking services and end-user applications that all together have transformed all aspects, mainly economical, of our lives. Recently, with the advent of new paradigms and the progress in wireless technology, sensor networks and information systems and also the inexorable shift towards everything...

The development of modern civilization leads us to solve new problems which did not exist before. The contemporary world faces a great challenge of aging societies, where increasing numbers of senior citizens require constant medical attention. Advanced technologies must be implemented to ensure the safety and well-being of elderly people, patients in hospitals, and disabled persons. These include both sophisticated data acquisition systems and data processing algorithms aimed at the constant and discreet monitoring of persons whilst raising alarm if immediate attention is required.

The development of modern civilization leads us to solve new problems which did not exist before. The contemporary world faces a great challenge of ag...

Documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools.

Provides a comprehensive overview of the overall scenario of IoT security whilst highlighting recent research and applications in the field. Technical topics discussed include: Machine-to-Machine Communications; IoT Architecture; Identity of Things; Block Chain; Parametric Cryptosystem; and Software and Cloud Components.

Provides a brief theology of technology, rooted in the Islamic tradition and oriented around the grand themes of creation, redemption and new creation. The book combines a concise, accessible style with penetrating cultural and theological analysis.

Presents recent advances in software architecture and tools to support such complex systems, enabling the design of embedded computing devices which are able to deliver high-performance whilst guaranteeing the application required timing bounds.