1113 search results - page 168 / 223 » Counter Systems for Data Logics |
206
click to vote
TLDI
2010
ACM
16 years 1 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
137
click to vote
ISW
2009
Springer
15 years 11 months ago
2009
Springer
The frequency and severity of a number of recent intrusions involving data theft and leakages has shown that online users’ trust, voluntary or not, in the ability of third partie...
137
click to vote
ARTMED
2010
15 years 4 months ago
2010
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...
144
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
There are a number of established products on the market for wrapping—semi-automatic navigation and extraction of data—from web pages. These solutions make use of the inherent...
120
click to vote
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...