Sciweavers

25111 search results - page 282 / 5023
» Information Systems
Sort
View
ICEIS
2008
IEEE
16 years 1 months ago
A 3D User Interface for the Semantic Navigation of WWW Information
Manuela Angioni, Roberto Demontis, Massimo Deriu, ...
COOPIS
2003
IEEE
16 years 2 days ago
Maintaining Ontologies for Geographical Information Retrieval on the Web
Christopher B. Jones, Alia I. Abdelmoty, Gaihua Fu
ICEIS
2006
IEEE
16 years 25 days ago
Fuzzy Interval Number (FIN) Techniques for Cross Language Information Retrieval
Catherine Marinagi, Theodoros Alevizos, Vassilis G...
JCS
2011
74views more  JCS 2011»
15 years 1 months ago
Model-checking trace-based information flow properties
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
Deepak D'Souza, Raveendra Holla, K. R. Raghavendra...