Sciweavers

277 search results - page 45 / 56
» Timing-Sensitive Information Flow Analysis for Synchronous S...
Sort
View
HICSS
2002
IEEE
148views Biometrics» more  HICSS 2002»
15 years 4 months ago
Barriers to a Wide-Area Trusted Network Early Warning System for Electric Power Disturbances
It is apparent that perturbations of the North American electric power grid follow the patterns and characteristics of Self Organized Critical (SOC) systems. Published studies sho...
Paul W. Oman, Jeff Roberts
POPL
2006
ACM
16 years 2 days 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
2008
125views more  BMCBI 2008»
14 years 12 months ago
SNPLims: a data management system for genome wide association studies
Background: Recent progresses in genotyping technologies allow the generation high-density genetic maps using hundreds of thousands of genetic markers for each DNA sample. The ava...
Alessandro Orro, Guia Guffanti, Erika Salvi, Fabio...
CSCW
2004
ACM
15 years 5 months ago
Instant messages: a framework for reading between the lines
A framework is described for analyzing keystroke level data from instant messages (IM). This is unlike other analyses of IM which employ server-based logs of messages. This framew...
Jeffrey D. Campbell
DSS
2007
79views more  DSS 2007»
14 years 11 months ago
Leveraging Question Answer technology to address terrorism inquiry
This paper investigates the potential use of dialog-based ALICEbots in disseminating terrorism information to the general public. In particular, we study the acceptance and respon...
Robert P. Schumaker, Hsinchun Chen