The analysis of causal relations among events in a distributed computation plays a central role in distributed systems modeling. Existing models for causal time-stamping are based on a known set of entities, either processes or data repositories, where events can occur. The advent of mobile computing settings that stimulate cooperation among arbitrary groups of nodes, possibly in isolation, pre...

The technique of electronic time-stamping allows a client to get an electronic proof of the existence of a document at a specific point in time. A simple way to achieve this is to produce a digital signature over the pair (document,time). Linked time-stamps have an advantage over these simple time-stamps because they construct a verifiable link between time-stamps. In this paper, we discuss how...

The production of high strength steel components with desired properties by hot stamping (also called press hardening) requires a profound knowledge and control of the forming procedures. In this way, the final part properties become predictable and adjustable on the basis of the different process parameters and their interaction. In addition to parameters of conventional cold forming, thermal ...

The paper provides considerations relative to the application of 3D vision methods and presents some lessons learnt in this respect by presenting four 3D vision tasks and discussing the selection of vision sensing devices meant to solving the task. After a short reminder of 3D vision methods of interest for optical range imaging for microvision and macrovision applications, the paper enumerates...

Geomagnetic indices are basic data in Solar-Terrestrial physics, and for operational Space Weather activities. The International Service of Geomagnetic Indices (ISGI) is in charge of the derivation and dissemination of geomagnetic indices that are acknowledged by the International Association of Geomagnetism and Aeronomy (IAGA, an IUGG association). Institutes which are not part of ISGI started...

Modern system engineering is supported by a families of modelling languages; each member of a specific family addresses a different aspect of the application domain. Constructing families of modelling languages is facilitated by the use of packages and templates. Packages are containers of modelling elements. Packages may be specialised and merged. Renamings may be applied to packages. Template...

Reliable simulation of hot stamping process requires accurate material data. This paper describes the development of computer models that can provide many of the material data required, including TTT/CCT phase transformation diagrams, temperature dependent physical and thermophysical properties, as well as temperature and strain rate dependent mechanical properties including high temperature st...