Buscar
Mostrando ítems 11-20 de 76
On Distributed Collaboration for Biomedical Analyses
(IEEE Xplore, 2019)
Cooperation of research groups is nowadays common for the development and execution of biomedical analyses. Multiple partners contribute data in this context, data that is often centralized for processing at some cluster-based ...
Architecting systems of systems: A tertiary study
(Elsevier, 2020)
Context: The term System of Systems (SoS) has increasingly been used in a wide variety of domains to describe those systems composed of independent constituent systems that collaborate towards a mission that they could not ...
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
(Springer Nature, 2012)
The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ...
Information Technologies and Analytics as Decision Support Systems in Hospital Logistics: Four Research Experiences in the Colombian Case
(IARAS PUB, 2017)
This article presents four research experiences in hospital logistics using simultaneously mathematical models and information management. The cases analyzed included the efficient scheduling of nursing shifts, kidney ...
Applying Ontologies for Semantic Information Integration on Electronic Medical Records (EMRs)
(Research India Publications, 2018)
This work describes the development of ontology in the domain of Electronic Medical Records (EMRs). The purpose is to apply the semantic web as an integrating tool for information and knowledge management in clinical ...
Towards a measuring framework for knowledge creation in smart cities
(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 ...
Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories
(Springer, 2010)
Sufficient completeness has been throughly studied for equational specifications, where function symbols are classified into constructors and defined symbols. But what should sufficient completeness mean for a rewrite ...
El valor de la Inteligencia Artificial en el Servicio al Cliente EciBot
(2018)
En el presente artículo se muestran resultados de los avances obtenidos como resultado de un proyecto de grado realizado por estudiantes de pregrado del programa de Ingeniería de Sistemas de la Escuela Colombiana de ...
Simulation and Verification of Synchronous Set Relations in Rewriting Logic
(NASA Langley Research Center, 2011)
This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of
synchronous set relations. The mathematical foundation is given in the
language of abstract ...
Towards Real-Time Semantics for a Distributed Event-Based MOP Language
(Springer Nature, 2018)
This paper investigates rewriting logic as a suitable means to model the semantics of distributed and concurrent systems implemented using Monitoring Oriented Programming (MOP) frameworks. MOP tools close the gap between ...