Sciweavers

8695 search results - page 1356 / 1739
» Making the Complex Simple
Sort
View
SOCIALCOM
2010
15 years 2 months ago
A Decision Theoretic Approach to Data Leakage Prevention
Abstract--In both the commercial and defense sectors a compelling need is emerging for rapid, yet secure, dissemination of information. In this paper we address the threat of infor...
Janusz Marecki, Mudhakar Srivatsa, Pradeep Varakan...
SSS
2010
Springer
160views Control Systems» more  SSS 2010»
15 years 2 months ago
A Comparative Study of Rateless Codes for P2P Persistent Storage
Abstract. This paper evaluates the performance of two seminal rateless erasure codes, LT Codes and Online Codes. Their properties make them appropriate for coping with communicatio...
Heverson Borba Ribeiro, Emmanuelle Anceaume
UIST
2010
ACM
15 years 2 months ago
UIMarks: quick graphical interaction with specific targets
This paper reports on the design and evaluation of UIMarks, a system that lets users specify on-screen targets and associated actions by means of a graphical marking language. UIM...
Olivier Chapuis, Nicolas Roussel
VSTTE
2010
Springer
15 years 2 months ago
An Approach of Requirements Tracing in Formal Refinement
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
Michael Jastram, Stefan Hallerstede, Michael Leusc...
133
Voted
EGC
2009
Springer
15 years 2 months ago
Alignment-Based Partitioning of Large-Scale Ontologies
Abstract Ontology alignment is an important task for information integration systems that can make different resources, described by various and heterogeneous ontologies, interoper...
Fayçal Hamdi, Brigitte Safar, Chantal Reyna...
« Prev « First page 1356 / 1739 Last » Next »