Sciweavers

2253 search results - page 270 / 451
» The ComFoRT Reasoning Framework
Sort
View
DEXAW
2007
IEEE
128views Database» more  DEXAW 2007»
15 years 2 months ago
Sharing Data on the Grid using Ontologies and distributed SPARQL Queries
The vision of the Semantic Web is to make Web content machine-readable. To describe data, the Resource Description Framework has been extended with a schema-level and description ...
Andreas Langegger, Martin Blöchl, Wolfram W&o...
CSFW
2010
IEEE
15 years 2 months ago
A Machine-Checked Formalization of Sigma-Protocols
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...
Gilles Barthe, Daniel Hedin, Santiago Zanella B&ea...
FIMH
2007
Springer
15 years 2 months ago
Constrained Reconstruction of Sparse Cardiac MR DTI Data
Magnetic resonance diffusion tensor imaging (DTI) has emerged as a convenient and reliable alternative to conventional histology for characterizing the fiber structure of the myoca...
Ganesh Adluru, Edward Hsu, Edward V. R. Di Bella
FASE
2009
Springer
15 years 2 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
ICDE
2007
IEEE
149views Database» more  ICDE 2007»
15 years 2 months ago
Private Relationships in Social Networks
Current social networks implement very simple protection mechanisms, according to which a user can state whether his/her personal data, relationships, and resources should be eith...
Barbara Carminati, Elena Ferrari, Andrea Perego