Deep-ocean pelagic (from the Greek pelagios, meaning 'of the sea') sediments are areally
and volumetrically the dominant sediment type found on the ocean floor. They comprise …

Distributed systems have complex designs which are difficult to understand and verify. A
rigorous specification of such systems using mathematical techniques such as formal …

ABSTRACT A reliable broadcast is communication primitive used to develop fault tolerant
distributed applications. It in due course delivers messages to all participating sites …

Formal methods are mathematical techniques that use the concepts and ideas from
mathematics and formal logic to specify and reason about system properties. It provides a …

Wearable health monitoring devices such as health bands and smart watches are very
useful for the quick diagnosis and aid for the patient. Other than this, they are also used for …

The major objectives of the Maurice Ewing EW9008 cruise were to use TOBI deeptow
sidescan sonar recording and multibeam swath bathymétrie map** on the obliquely …

Reliability of the message passing in multicast communications depends on ordering of
messages in conformance with properties of used communication protocol. Among others …

Database replication is traditionally envisaged as a way of increasing fault-tolerance and
availability. It is advantageous to replicate the data when transaction workload is …

Le modèle de référence pour le traitement réparti ouvert (RM-ODP) fournit un cadre dans
lequel le support de la distribution, l'interfonctionnement et la portabilité peuvent être …