Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Lorena Bourg"'
Autor:
Thomas Chatzidimitris, Ioannis Chatzigiannakis, Damianos Gavalas, Lorena Bourg, Damianos Kypriadis, Vlasios Kasapakis, Grammati Pantziou, Christos D. Zaroliagis, Charalampos Konstantopoulos, Kalliopi Giannakopoulou
Publikováno v:
Journal of Ambient Intelligence and Humanized Computing
The retailing market has undergone a paradigm-shift in the last decades, departing from its traditional form of shopping in brick-and-mortar stores towards online shopping and the establishment of shopping malls. As a result, “small” independent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d98663a4a54d7dcc265538d175cd880d
http://hdl.handle.net/11573/1540579
http://hdl.handle.net/11573/1540579
Autor:
Damianos Gavalas, Grammati Pantziou, Vlasios Kasapakis, Lorena Bourg, Christos D. Zaroliagis, Thomas Chatzidimitris, Ioannis Chatzigiannakis, Damianos Kypriadis, Charalampos Konstantopoulos, Kalliopi Giannakopoulou
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030342548
AmI
AmI
The establishment of shopping malls and the growth of online shopping increasingly diminishes the turnover of “small”, independent retailers in urban environments. However, retailers could reverse this trend through complementing the offline expe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a331e579dba2bd8fd53a4154d2c4a8ca
https://doi.org/10.1007/978-3-030-34255-5_8
https://doi.org/10.1007/978-3-030-34255-5_8
Publikováno v:
SDS
With the imminent advent of 5G technology, vertical players are promised with higher bandwidth (exceeding 100s of Mb/s) and lower latency (less than 1 ms) than current-generation 4G technology, as well as ensured connectivity to billions of devices.
Publikováno v:
Relations and Kleene Algebra in Computer Science ISBN: 9783540378730
RelMiCS
RelMiCS
We introduce a strategy for the verification of relational specifications based on the analysis of monotonicity of variables within formulas. By comparing with the Alloy Analyzer, we show that for a relevant class of problems this technique outperfor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e8433641704de0025482f1a3dc136cc0
https://doi.org/10.1007/11828563_12
https://doi.org/10.1007/11828563_12
Publikováno v:
ASE
We introduce a strategy for the verification of relational specifications based on the analysis of monotonicity of variables within formulas. By comparing with the Alloy Analyzer, we show that for a relevant class of problems this technique drastical