We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and apply it to a case study. We extend a pure Duration Calculus specification for the controller by spatial assumptions to reason about spatial system properties. We prove that the formalism is undecidable in general for ...

In this paper we present the main achievements of UNU/IIST during the project “Design Techniques for Real-time Systems” carried out since 1993 by its staff and fellows. Duration Calculus was originally introduced in 1991 as a powerful logic for specifying the safety of realtime systems. During the project, it has evolved to a set of calculi that can capture many important aspects in real-time s...

Recent research on calling has highlighted its nature as a ‘double-edged sword’ that—while conferring benefits generally—may create vulnerabilities in some cases. We suggest an explanation that complexifies our conceptualization of what is. Traditional conceptualizations focus differences degree, measuring numerical scale to answer the question, ‘To degree do you perceive calling?’ Our proposed...

Intermittent hypoxia has been studied for many years as a promising non-pharmacological method of cardiovascular disease prevention. Hypoxic effects are accompanied by structural and functional changes in the myocardium. There is direct link between duration hypoxic exposures severity left ventricular myocardial remodeling. A range histochemical markers remodeling (cardiotrophin-1, titin, colla...

Corncobs are one of the agricultural wastes that have nutritional and functional content. The advantages processing corn cobs into powder include durability, a smaller volume, lighter weight, making it easier to pack transport. One important steps in is drying determine durability quality powder. This study aimed different durations corncobs powders their effect on physical, nutritional, phytoc...