Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Event oriented programming"'
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030028510
MEDI Workshops
MEDI Workshops
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 specification and implementat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::970f7495c5b1523efe64363bfe06fd18
https://doi.org/10.1007/978-3-030-02852-7_20
https://doi.org/10.1007/978-3-030-02852-7_20
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 specification and implementat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9507::29183c5fcfc9b4a6ac0358bd4d3f9a14
https://repositorio.escuelaing.edu.co/handle/001/1800
https://repositorio.escuelaing.edu.co/handle/001/1800
Autor:
Luis Daniel Benavides Navarro, Hugo Arboleda, Wilmer Garzón, Mateo Sanabria, Daniel Díaz, Camilo Pimienta, Willson Melo
Publikováno v:
Communications in Computer and Information Science ISBN: 9783319989976
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 Logic for declarative time
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8317850492ad2f1943daf66589ae066b
https://repositorio.escuelaing.edu.co/handle/001/1801
https://repositorio.escuelaing.edu.co/handle/001/1801
Autor:
BRUNO OLIVEIRA SILVESTRE
[pt] O uso de multithreading tem se popularizado como forma de separar a execução de tarefas concorrentes e de alcançar maior desempenho aproveitando melhor o tempo das CPUs. No entanto, a programação com threads não é uma tarefa fácil. O uso
Autor:
MARCUS AMORIM LEAL
[pt] Com a evolução da Internet e o crescente sucesso de ambientes Web como plataformas genéricas de aplicação, expandiram-se as necessidades de integração e coordenação de componentes de software heterogêneos e autônomos. Os requisitos es
Publikováno v:
JUCS-Journal of Universal Computer Science 9(8): 730-744
With the goal of assessing the use of the tuple space model in the context of event-driven applications, we developed a reactive tuple space in the Lua programming language. This system, which we called LuaTS, extends the original Linda model with a
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.