Buscar
Mostrando ítems 1-4 de 4
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 ...
Evaluation of collaborative consumption of food delivery services throughweb mining techniques
(Elsevier, 2019)
Online food delivery services rely on urban transportation to alleviate customers' burden of traveling in highly dense cities. As new business models, these services exploit user-generated contents to promote collaborative ...
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 ...