Sciweavers

770 search results - page 102 / 154
» Privacy Preserving Joins
Sort
View
AOSD
2010
ACM
15 years 6 months ago
Type relaxed weaving
Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees ...
Hidehiko Masuhara, Atsushi Igarashi, Manabu Toyama
IEAAIE
2003
Springer
15 years 5 months ago
A Rigorous Approach to Knowledge Base Maintenance
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
John K. Debenham
FLAIRS
2001
15 years 1 months ago
Validity of First-Order Knowledge Bases
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine...
John K. Debenham
CALCO
2009
Springer
166views Mathematics» more  CALCO 2009»
15 years 6 months ago
Distributive Lattice-Structured Ontologies
Abstract. In this paper we describe a language and method for deriving ontologies and ordering databases. The ontological structures arrived at are distributive lattices with attri...
Hans Bruun, Dion Coumans, Mai Gehrke
PET
2010
Springer
15 years 3 months ago
Making a Nymbler Nymble Using VERBS
In this work, we propose a new platform to enable service providers, such as web site operators, on the Internet to block past abusive users of anonymizing networks (for example, T...
Ryan Henry, Kevin Henry, Ian Goldberg