Sciweavers

5188 search results - page 386 / 1038
» Information Flow in Interactive Systems
Sort
View
POPL
2006
ACM
16 years 7 months ago
Decidability and proof systems for language-based noninterference relations
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
Mads Dam
BMCBI
2006
109views more  BMCBI 2006»
15 years 6 months ago
An integrated system for genetic analysis
Background: Large-scale genetic mapping projects require data management systems that can handle complex phenotypes and detect and correct high-throughput genotyping errors, yet a...
Simon Fiddy, David Cattermole, Dong Xie, Xiao Yuan...
CHI
1995
ACM
15 years 10 months ago
Pointing the Way: Active Collaborative Filtering
Collaborative filtering is based on the premise that people looking for information should be able to make use of what others have already found and evaluated. Current collaborati...
David Maltz, Kate Ehrlich
ICETE
2004
253views Business» more  ICETE 2004»
15 years 8 months ago
BLAZE: A Mobile Agent Paradigm for VoIP Intrusion Detection Systems
ser provides abstraction for supporting flexible security policies that can be developed using the low-level primitives of the browser. We believe our browser architecture will be ...
Kapil Singh, Son T. Vuong
CHI
2007
ACM
16 years 7 months ago
Provoking sociability
In this study, we explore the potential usefulness of disturbing, uncomfortable systems, demonstrating that provocative technology can have a positive effect on social relationshi...
Brooke E. Foucault, Helena M. Mentis, Phoebe Senge...