Mostrando ítems 1-2 de 2

A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications

Sanabria-Ardila, Mateo; Benavides-Navarro, Luis Daniel; Díaz-López, Daniel; Garzón-Alfonso, Wilmer (2020)

The proliferation of on-demand internet services delivered over a network of a heterogeneous set of computing devices has created the need for high-performing dynamic systems in real-time. Services such as audio and video ...
Towards a measuring framework for knowledge creation in smart cities

Ceballos-Zuluaga, Andrea; Benavides-Navarro, Luis Daniel; Ospina-Becerra, Victoria Eugenia (Colombia, 2020)

This article investigates the implications of general models of smart sustainable cities (SSC) on the indicators and measurement frameworks that we use to study them. We first investigate the mainstream theory of SSC and ...

Envíos recientes

A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications
...
Sanabria-Ardila, Mateo | 2020

The proliferation of on-demand internet services delivered over a network of a heterogeneous set of computing devices has created the need for high-performing dynamic systems in real-time. Services such as audio and video streaming, self-driving cars, the Internet of things (IoT), or instant communication on social networks have forced system designers to ethink the architectures and tools for implementing computer systems. Reactive programming has been advocated as a programming paradigm suitable for implementing dynamic applications with complex and heterogeneous architectural needs. However, there is no consensus on the core set of features that a reactive framework must-have. Furthermore, the current set of features proposed in reactive tools seems very restricted to cope with the actual needs for concurrency and distribution in modern systems. In this paper, several alternative semantics for distributed reactive languages are investigated, addressing complex open issues such as glitch avoidance, explicit distribution support, and constructs for explicit time management. First, we propose a reactive event-based programming language with explicit support for distribution, concurrency, and explicit time manipulation (ReactiveXD). Second, we present a reactive event-based semantic framework called Distributed Reactive Rewriting Framework (DRRF). The framework uses rewriting logic to model the components of a distributed base application, observables, and observers, and predicates supporting explicit time manipulation. Finally, to validate the proposal, the paper discusses the specification of the semantics of ReactiveXD and a scenario describing a case of intrusion detection on IoT networks

LEER
Towards a measuring framework for knowledge creation in smart cities
...
Ceballos-Zuluaga, Andrea | 2020

This article investigates the implications of general models of smart sustainable cities (SSC) on the indicators and measurement frameworks that we use to study them. We first investigate the mainstream theory of SSC and their corresponding measurement frameworks. From the analysis, we show that such frameworks do not address the dynamic behaviour of cities. We then explore knowledge based smart sustainable cities, as an alternative theory of SSC, and investigate the measurement frameworks derived from this theory. We show that, despite having a different approach, these measurement frameworks still depend on static indicators and promote static view of the city. We then conjecture that this is due to fussy definitions of knowledge and incomplete investigations of the implications of latest theories of knowledge over the structure and strategy of smart cities. Finally, we propose a set of premises and principles that will improve the theory of Knowledge based smart sustainable cities (KBSSC) and show how this new definition will affect the design of indicators and measurement frameworks in a KBSSC.

LEER

‹›

Repositorio Digital

Listar AD - CTG – Informática por autor "7edbe1c13ee4297eebf80fac45c5ac9c"

A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications

Towards a measuring framework for knowledge creation in smart cities

Envíos recientes

A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications

Towards a measuring framework for knowledge creation in smart cities

Listar AD - CTG – Informática por autor "7edbe1c13ee4297eebf80fac45c5ac9c"

A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications ﻿

Towards a measuring framework for knowledge creation in smart cities ﻿

Envíos recientes

A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications

Towards a measuring framework for knowledge creation in smart cities

A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications

Towards a measuring framework for knowledge creation in smart cities