Sciweavers

237 search results - page 21 / 48
» On information hiding with incomplete information about steg...
Sort
View
ICDE
2005
IEEE
126views Database» more  ICDE 2005»
15 years 3 months ago
ProtChew: Automatic Extraction of Protein Names from Biomedical Literature
With the increasing amount of biomedical literature, there is a need for automatic extraction of information to support biomedical researchers. Due to incomplete biomedical inform...
Amund Tveit, Rune Sætre, Astrid Lægrei...
CIA
2003
Springer
15 years 3 months ago
Meta-reasoning for Agents' Private Knowledge Detection
Abstract. Agent’s meta-reasoning is a computational process that implements agent’s capability to reason on a higher level about another agent or a community of agents. There i...
Jan Tozicka, Jaroslav Barta, Michal Pechoucek
DEXA
2005
Springer
93views Database» more  DEXA 2005»
15 years 3 months ago
Provable Data Privacy
In relational database systems a combination of privileges and views is employed to limit a user’s access and to hide non-public data. The data privacy problem is to decide wheth...
Kilian Stoffel, Thomas Studer
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
15 years 3 months ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
ICPP
2003
IEEE
15 years 3 months ago
Running Bag-of-Tasks Applications on Computational Grids: The MyGrid Approach
e some simple working environment abstractions that hide the configuration heterogeneity of the machines that compose the grid from the user. Second, we introduce Work Queue with R...
Walfredo Cirne, Daniel Paranhos da Silva, Lauro Co...