Sciweavers

1176 search results - page 214 / 236
» Description Logics as Ontology Languages for the Semantic We...
Sort
View
PLDI
2006
ACM
14 years 1 months ago
Precise alias analysis for static detection of web application vulnerabilities
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
Nenad Jovanovic, Christopher Kruegel, Engin Kirda
BMCBI
2005
159views more  BMCBI 2005»
13 years 7 months ago
Columba: an integrated database of proteins, structures, and annotations
Background: Structural and functional research often requires the computation of sets of protein structures based on certain properties of the proteins, such as sequence features,...
Silke Trißl, Kristian Rother, Heiko Mül...
WWW
2003
ACM
14 years 8 months ago
eduSource: Interoperable Network of Learning Object Repositories
In this paper, we describe the approach to achieve a high level of interoperability in the eduSource. The eduSource project is a panCanadian collaborative project to create a test...
Marek Hatala, Griff Richards
FLAIRS
2007
13 years 10 months ago
Indexing Documents by Discourse and Semantic Contents from Automatic Annotations of Texts
The basic aim of the model proposed here is to automatically build semantic metatext structure for texts that would allow us to search and extract discourse and semantic informati...
Brahim Djioua, Jean-Pierre Desclés
LATIN
2004
Springer
14 years 1 months ago
Approximating the Expressive Power of Logics in Finite Models
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
Argimiro Arratia, Carlos E. Ortiz