In this technical demonstration we show a web video search engine based on ontologies, the Sirio1 system, that has been developed within the EU VidiVideo project. The goal of the ...
Thomas M. Alisi, Marco Bertini, Gianpaolo D'Amico,...
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...
- This paper presents the results of a PhD thesis research, with an innovative proposal for the development of a Technical Laboratory Disciplines in Electrical and Computing Engine...
The central idea in reference modeling is the reutilization of the business knowledge contained in reference models for the construction of specific information models. The orient...
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...