Mathematical and Numerical Modeling in Maritime Geomechanics

It consists of the following steps: (a) to extend the software models used for development with annotations describing dependability properties; (b) to transform automatically

propose a UML profile (namely DAM, C6 ), as a specialization of the OMG stan- dard [UML-MARTE 2009], to support the dependability analysis of UML-based software systems, in the

We reproduced these experiments using our performance model, which meant to put as many tokens as users in places users and p userDevice of the GSPN, so to also match one user to

The characteristics of interest are defined as attributes of NFP or dependability basic types (see e.g., attributes associated to DaComponent and DaService), so they can

When generating the load plan, the terminal staff attempts to expedite the loading operation while satisfying a number of constraints, such as: compliance with the stowage

Low-frequency waves and oscillations in the magnetohydrodynamic (MHD) regime abound in the highly structured atmosphere of the Sun. Their detailed measurements, in

The system is used to preliminary analyse semantic meanings and contexts of tags belonging to Delicious and MovieLens folksonomies, and to compare semantic

En este apartado se explicará el uso e instalación del software y protocolos utilizados, para facilitar el uso de Raspberry Pi, poderlo controlar desde un ordenador y