Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Ameur, Yamine Aït"'
Autor:
Ferrarotti, Flavio, Rivière, Peter, Schewe, Klaus-Dieter, Singh, Neeraj Kumar, Ameur, Yamine Aït
The verification of liveness conditions is an important aspect of state-based rigorous methods. This article investigates this problem in a fragment $\square$LTL of the logic LTL(EB), the integration of the UNTIL-fragment of Pnueli's linear time temp
Externí odkaz:
http://arxiv.org/abs/2401.16838
Publikováno v:
EPTCS 271, 2018, pp. 24-33
This paper reports on the results of the French ANR IMPEX research project dealing with making explicit domain knowledge in design models. Ontologies are formalised as theories with sets, axioms, theorems and reasoning rules. They are integrated to d
Externí odkaz:
http://arxiv.org/abs/1805.05518
Publikováno v:
In Future Generation Computer Systems May 2017 70:1-3
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.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Data Warehousing Design and Advanced Engineering Applications
Data Warehousing Design and Advanced Engineering Applications, IGI Global, pp.227-247, 2010, ⟨10.4018/978-1-60566-756-0.ch013⟩
Data Warehousing Design and Advanced Engineering Applications, IGI Global, pp.227-247, 2010, ⟨10.4018/978-1-60566-756-0.ch013⟩
International audience; Current databases and their associated languages allow a user to exploit data according to their logical model. Usually, there is a gap between this logical model and the actual concepts represented. As a consequence, exploiti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8bed93515d1e7dee3d182835efea8fc7
https://hal.archives-ouvertes.fr/hal-03376638
https://hal.archives-ouvertes.fr/hal-03376638
Publikováno v:
In Computers in Industry December 2014 65(9):1215-1217
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.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Data & Knowledge Engineering 2010 69(11):1081-1083
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.
Publikováno v:
Model and Data Engineering-6th International Conference, MEDI 2016, Almer\'ia, Spain, September 21-23, 2016, Proceedings
Model and Data Engineering-6th International Conference, MEDI 2016, Almer\'ia, Spain, September 21-23, 2016, Proceedings, Sep 2016, Almeria, Spain. pp.88-97, ⟨10.1007/978-3-319-45547-1_7⟩
Model and Data Engineering ISBN: 9783319455464
MEDI
Model and Data Engineering-6th International Conference, MEDI 2016, Almer\'ia, Spain, September 21-23, 2016, Proceedings, Sep 2016, Almeria, Spain. pp.88-97, ⟨10.1007/978-3-319-45547-1_7⟩
Model and Data Engineering ISBN: 9783319455464
MEDI
International audience; Recently, resource oriented computing has changed the way Web applications are designed. Because of the increasing number of APIs, centralized repositories are no longer a viable option for discovery. As a consequence, a decen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3f7f9342d84b2d4ef06025382e67a06b
https://hal-univ-pau.archives-ouvertes.fr/hal-01908723
https://hal-univ-pau.archives-ouvertes.fr/hal-01908723