Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
Collaborative work environments for scientific knowledge have many applications in research as well as in education. Such systems already exist (e.g. Wikipedia and PlanetMath), b...
Most of the Web-based methods for lexicon augmenting consist in capturing global semantic features of the targeted domain in order to collect relevant documents from the Web. We s...
The management of voluminous heterogeneous resources and services in the web environment is a complex task. Semantic knowledge is playing an increasing important role in order to h...
Information retrieval is the important work for Electronic Commerce. Ontology-based semantic retrieval is a hotspot of current research. In order to achieve fuzzy semantic retrieva...