Buscar
Mostrando ítems 1-3 de 3
REAL-T: Time Modularization in Reactive Distributed Applications
(Springer Nature, 2018)
In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal ...
REAL-T: Time Modularization in Reactive Distributed Applications
(Springer Nature, 2018)
In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal ...
Towards a Smart Farming Platform: From IoT-Based Crop Sensing to Data Analytics
(Springer Nature, 2018)
Colombia is a country with a huge agricultural potential, thanks to its size and geography diversity. Unfortunately, it is far from using it efficiently: 65% of its farmland is either unused or underused due to political ...