This paper describes a case study in refining an abstract security protocol description down to a concrete implementation on a Java Card smart card. The aim is to consider the decisions that have to be made in the development of such an implementation in a systematic way, and to investigate the possibilities of formal specification and verification in the design process and for the final implem...

At the dawn of this century, the European Commission launched the Lisbon Strategy, which was revisited in 2010 with the Europe 2020 Strategy for a smart, sustainable and inclusive economy. In order to put the strategy into a more concrete form, the concept of the ‘Knowledge Triangle (KT)’ has been introduced. It links together Research, Education and Innovation and sheds some new light on the I...

Multiscale modeling for cement-based materials, such as concrete, is a relatively young subject, but there are already a number of different approaches to study different aspects of these classical materials. In this paper, the parameter-passing multiscale modeling scheme is established and applied to address the multiscale modeling problem for the integrated system of cement paste, mortar, and...

In recent years, the Lamb wave analysis by the multi-channel analysis of surface waves (MASW) for concrete structures has been an effective nondestructive evaluation, such as the condition assessment and dimension identification by the elastic wave velocities and their reflections from boundaries. This study proposes an effective Lamb wave analysis by the practical application of MASW to concre...

We analyze the concrete security provided by a signature scheme described in a recent Internet Draft by McGrew and Curcio.

Dr.-Ing. Jutta Fortmann Wrist-Worn Light-Based Smart Digital Jewellery In recent years wearable devices have become an emerging trend in the consumer market. However, recent studies in the U.S. show that a third of owners of a wearable device abandon its use within six months. Supposed reasons are, among others, a lack in useful functions, aesthetics, and comfort. Smart Digital Jewellery has be...

This article examines the dreams and wishes of young-adult city residents regarding future ICT development, comparing its findings with two visions of ICT development offered by large-scale urban agendas, namely ‘smart cities’ and ‘ubiquitous computing.’ The article explores how the visions of ordinary city inhabitants contest or resonate with grand visions of urban future, and investigates alt...