Sciweavers

959 search results - page 44 / 192
» Transfers between Logics and their Applications
Sort
View
ICDE
1991
IEEE
133views Database» more  ICDE 1991»
15 years 5 months ago
Read Optimized File System Designs: A Performance Evaluation
This paper presents a performance comparison of several file system allocation policies. The file systems are designed to provide high bandwidth between disks and main memory by...
Margo I. Seltzer, Michael Stonebraker
DLOG
2004
15 years 3 months ago
A Description Logic Based Approach for Matching User Profiles
Several applications require the matching of user profiles, e.g., job recruitment or dating systems. In this paper we present a logical framework for specifying user profiles that...
Andrea Calì, Diego Calvanese, Simona Colucc...
98
Voted
JSYML
2002
81views more  JSYML 2002»
15 years 1 months ago
Modulated Fibring and The Collapsing Problem
Fibring is recognized as one of the main mechanisms in combining logics, with great significance in the theory and applications of mathematical logic. However, an open challenge t...
Cristina Sernadas, João Rasga, Walter Alexa...
NDSS
2007
IEEE
15 years 8 months ago
Cross Site Scripting Prevention with Dynamic Data Tainting and Static Analysis
Cross-site scripting (XSS) is an attack against web applications in which scripting code is injected into the output of an application that is then sent to a user’s web browser....
Philipp Vogt, Florian Nentwich, Nenad Jovanovic, E...
CADE
2008
Springer
16 years 2 months ago
The Complexity of Conjunctive Query Answering in Expressive Description Logics
Abstract. Conjunctive query answering plays a prominent role in applications of description logics (DLs) that involve instance data, but its exact complexity was a long-standing op...
Carsten Lutz