Zobrazeno 1 - 10
of 1 780
pro vyhledávání: '"FERREIRA, CARLA"'
Autor:
Schiebelbein, Edgard, Hatia, Saalik, Bieniusa, Annette, Petri, Gustavo, Ferreira, Carla, Shapiro, Marc
This paper describes ongoing work on developing a formal specification of a database backend. We present the formalisation of the expected behaviour of a basic transactional system that calls into a simple store API, and instantiate in two semantic m
Externí odkaz:
http://arxiv.org/abs/2403.11716
Autor:
Lourenço, Hugo, Seco, João Costa, Ferreira, Carla, Simões, Tiago, Silva, Vasco, Assunção, Filipe, Menezes, André
In model-driven engineering, the bidirectional transformation of models plays a crucial role in facilitating the use of editors that operate at different levels of abstraction. This is particularly important in the context of industrial-grade low-cod
Externí odkaz:
http://arxiv.org/abs/2305.03361
Application services often support mobile and web applications with REST interfaces, implemented using a set of distributed components that interact with each other. This approach allows services to have high availability and performance at a lower c
Externí odkaz:
http://arxiv.org/abs/2303.14104
Autor:
Tao, Ran, Zhao, Pan, Wu, Jing, Martin, Nicolas F., Harrison, Matthew T., Ferreira, Carla, Kalantari, Zahra, Hovakimyan, Naira
Crop management, including nitrogen (N) fertilization and irrigation management, has a significant impact on the crop yield, economic profit, and the environment. Although management guidelines exist, it is challenging to find the optimal management
Externí odkaz:
http://arxiv.org/abs/2209.09991
Distributed systems adopt weak consistency to ensure high availability and low latency, but state convergence is hard to guarantee due to conflicts. Experts carefully design replicated data types (RDTs) that resemble sequential data types and embed c
Externí odkaz:
http://arxiv.org/abs/2207.02502
Publikováno v:
In Forest Policy and Economics December 2024 169
Autor:
Dias, Mónica, Silva, Rodrigo, Ribeiro Mané, Fernando, Conde, Inês, Fernandes, Sofia, Ferreira, Carla, Vilela, Filipe, Pires, Olga, Salomé, Nuno
Publikováno v:
In REC: CardioClinics October-December 2024 59(4):278-284
Autor:
Bilotto, Franco, Harrison, Matthew T., Vibart, Ronaldo, Mackay, Alec, Christie-Whitehead, Karen M., Ferreira, Carla S.S., Cottrell, Richard S., Forster, Daniel, Chang, Jinfeng
Publikováno v:
In Trends in Food Science & Technology October 2024 152
Publikováno v:
In Industrial Marketing Management February 2025 125:60-70