2019 search results - page 259 / 404 » Programming with Shared Data Abstractions |
IRI
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract)",4th Annual Walter Lincoln Hawkins Research Conference, RPI, November 2005. B. Hill, \Correlated Caching for Correlated Data", 2nd Annual Walter Lincoln Hawkins...
133
click to vote
XSYM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...
138
click to vote
PET
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
118
click to vote
FSTTCS
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Hybrid knowledge bases (HKB’s) [11] were developed to provide formal models for the mediation of data and knowledge bases [14,15]. They are based on Generalized Annotat...
111
click to vote
ICFEM
2000
Springer
15 years 6 months ago
2000
Springer
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...