Zobrazeno 1 - 10
of 95
pro vyhledávání: '"ERNEST TENIENTE"'
One of the most difficult, time-consuming and error-prone tasks during software testing is that of manually generating the data required to properly run the test. This is even harder when we need to generate data of a certain size and such that it sa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::267c4144bd8f100c40065e82761ec1e6
https://hdl.handle.net/2117/386776
https://hdl.handle.net/2117/386776
Publikováno v:
Computer Science and Information Systems. 19:547-572
The inclusion of security aspects in organizations is a crucial aspect to ensure compliance with both internal and external regulations. Business process models are a well-known mechanism to describe and automate the activities of the organizations,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::892659bdfb5b3586f81e07cc00771519
https://doi.org/10.2298/csis210217061e
https://doi.org/10.2298/csis210217061e
There are billions of devices worldwide deployed, connected, and communicating to other systems. Sensors and actuators, which can be stationary or movable devices. These Edge devices are considered part of the Internet of Things (IoT) devices, which
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e53686e67d81854e2ad686f3b250d92b
http://hdl.handle.net/10230/57617
http://hdl.handle.net/10230/57617
Publikováno v:
Future Generation Computer Systems
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
In artifact-centric business process models it is usually assumed that the specification of the activities requires stating all the effects of the activity execution over the information base (i.e. over the artifacts it handles). In particular, these
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6994e7fa3d80e5610380d7a752e82ad4
https://hdl.handle.net/2117/333844
https://hdl.handle.net/2117/333844
Publikováno v:
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Conceptual Modeling ISBN: 9783030890216
ER
Universitat Politècnica de Catalunya (UPC)
Conceptual Modeling ISBN: 9783030890216
ER
There are a large number of Internet of Things (IoT) devices that transmit information over the Internet, each with a different data format to denote the same semantic concept. This often leads to data incompatibilities and makes it difficult to extr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bf4cc00bd2c5f8ee2d50d2fa920b60b8
http://hdl.handle.net/2117/354258
http://hdl.handle.net/2117/354258
Publikováno v:
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
CIKM
Universitat Politècnica de Catalunya (UPC)
CIKM
An SQL assertion is a declarative statement about data that must always be satisfied in any database state. Assertions were introduced in the SQL92 standard but no commercial DBMS has implemented them so far. Some approaches have been proposed to inc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d67b7aac573908e6d8a3478843bf38ca
Publikováno v:
Service-Oriented Computing – ICSOC 2020 Workshops ISBN: 9783030763510
ICSOC Workshops
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
ICSOC Workshops
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
One of the main features of the Internet of Things (IoT) is the ability to collect data from everywhere, convert this data into knowledge, and then use this knowledge to monitor about an undesirable situation. Monitoring needs to be done automaticall
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::20f909bc547093cb390c32c08bba0925
https://hdl.handle.net/2117/349994
https://hdl.handle.net/2117/349994
Publikováno v:
Software & Systems Modeling. 18:2655-2678
OCL is the standard language for defining constraints in UML class diagrams. Unfortunately, as we show in this paper, full OCL is so expressive that it is not possible to check general OCL constraints efficiently. In particular, we show that checking
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1a894e4e6000b8e006b738056796b6e8
https://doi.org/10.1007/s10270-018-0688-z
https://doi.org/10.1007/s10270-018-0688-z
This book constitutes the proceedings of the 33rd International Conference on Advanced Information Systems Engineering, CAiSE 2021, which was held online during June 28-July 2, 2021. The conference was planned to take place in Melbourne, Australia,
Autor:
Sebastian Käbisch, Abdelmajid Khelil, Danh Le Phuoc, Jelena Mitic, Ernest Teniente, Darko Anicic, Corina-Kim Schindhelm, Arne Bröring, Stefan Schmid, Denis Kramer
Publikováno v:
IEEE Software
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname
Today, the Internet of Things (IoT) comprises vertically oriented platforms for things. Developers who want to use them need to negotiate access individually and adapt to the platform-specific API and information models. Having to perform these actio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d2f3d1132e94fb32d5c6be35e781225e
https://doi.org/10.1109/ms.2017.2
https://doi.org/10.1109/ms.2017.2