Výsledky vyhledávání - "El Ghazi, A. Achraf"

AMIRIS: Agent-based Market model for the Investigation of Renewable and Integrated energy Systems

Autor: Schimeczek, Christoph, Nienhaus, Kristina, Frey, Ulrich, Sperber, Evelyn, Sarfarazi, Seyedfarzad, Nitsch, Felix, Kochems, Johannes, El Ghazi, Aboubakr Achraf

Publikováno v: Journal of Open Source Software. 8:5041

AMIRIS aims at enabling scientists to dissect the complex questions arising with respect to future energy markets, their market design, and energy-related policy instruments. The model computes electricity prices endogenously based on the simulation

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7fa32396289707ea5b3b83f937085c48
https://doi.org/10.21105/joss.05041

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

On Preserving Secrecy in Mobile Social Networks

Autor: Suntaxi, Gabriela, El Ghazi, Aboubakr Achraf, Böhm, Klemens

Location-based services are one of the most important services offered by mobile social networks. Offering this kind of services requires accessing the physical position of users together with the access authorizations, i.e., who is authorized to acc

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f5bab510fc9a7f7e10f1a7a583fb1e2

Zobrazit plný text záznamu

Akademický článek

Secrecy and performance models for query processing on outsourced graph data.

Autor: Suntaxi, Gabriela, El Ghazi, Aboubakr Achraf, Böhm, Klemens

Publikováno v: Distributed & Parallel Databases; 2021, Vol. 39 Issue 1, p35-77, 43p

Zobrazit plný text záznamu

On Secrecy and Performance Models for Query Processing on Outsourced Graph Data

Autor: Suntaxi, Gabriela, El Ghazi, Aboubakr Achraf, Böhm, Klemens

Database outsourcing is a challenging task concerning data secrecy. Even if an adversary, including the service provider, accesses the data, she should not be able to learn any information from the accessed data. In this paper we address this problem

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ade8a0216dbee76cf15a16b9cc1face7
https://publikationen.bibliothek.kit.edu/1000069204/4138658

Zobrazit plný text záznamu

Relational Reasoning - Constraint Solving, Deduction, and Program Verification

Autor: El Ghazi, Aboubakr Achraf

This dissertation exploits the formal methods paradigm in which the software system and its specification are transformed to a logical formula, such that the formula is valid iff the specification is correct. The thesis provides a reasoning framework

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff35e8c625e59aa7046b8609facdc80f
https://publikationen.bibliothek.kit.edu/1000051022/3772121

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání