Sciweavers

745 search results - page 13 / 149
» A Formal Ontology for a Computational Approach of Time and A...
Sort
View
WEBI
2004
Springer
14 years 25 days ago
An Ontology-based Approach to Retrieve Digitized Art Images
Although much progress has been made, current lowlevel based visual information retrieval technology does not allow users to formulate queries through high-level semantics. More a...
Shuqiang Jiang, Tiejun Huang, Wen Gao
SEFM
2003
IEEE
14 years 23 days ago
A Formal Model for Trust in Dynamic Networks
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
Marco Carbone, Mogens Nielsen, Vladimiro Sassone
JUCS
2000
102views more  JUCS 2000»
13 years 7 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
AINA
2005
IEEE
14 years 1 months ago
OWL-Based Approach for Semantic Interoperability
The number of web-based information systems has been increasing since Internet became the global open network accessible for all. The recent Semantic Web that provides supplementa...
Seksun Suwanmanee, Djamal Benslimane, Philippe Thi...
ISI
2005
Springer
14 years 1 months ago
An Ontological Approach to the Document Access Problem of Insider Threat
Verification of legitimate access of documents, which is one aspect of the umbrella of problems in the Insider Threat category, is a challenging problem. This paper describes the r...
Boanerges Aleman-Meza, Phillip Burns, Matthew Eave...