Current Web Engineering methods develop "closed" web applications from conceptual models. This fact makes difficult the integration and the interoperability of different ...
Victoria Torres, Joan Fons, Oscar Asensi, Vicente ...
Precise modeling is essential to the success of the OMG’s Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable...
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
One of the major problems in question answering (QA) is that the queries are either too brief or often do not contain most relevant terms in the target corpus. In order to overcom...
—Traditional search systems are usually based on keywords, a very simple and convenient mechanism to express a need for information. This is the most extended way of searching th...