119 search results - page 24 / 24 » Confidentiality-Preserving Refinement is Compositional - Som... |
POPL
2009
ACM
14 years 6 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
CHI
2005
ACM
14 years 5 months ago
2005
ACM
We introduce approximate query techniques for searching and analyzing two-dimensional data sets such as line or scatter plots. Our techniques allow users to explore a dataset by d...
IEAAIE
2009
Springer
13 years 12 months ago
2009
Springer
The process of knowledge discovery from databases is a knowledge intensive, highly user-oriented practice, thus has recently heralded the development of ontology-incorporated data ...
HICSS
2002
IEEE
13 years 10 months ago
2002
IEEE
We present a novel system and methodology for browsing and exploring topics and concepts within a document collection. The process begins with the generation of multiple taxonomie...