1106 search results - page 162 / 222 » Software That Can Think and Do |
BMCBI
2010
13 years 8 months ago
2010
Background: Molecular interaction networks can be efficiently studied using network visualization software such as Cytoscape. The relevant nodes, edges and their attributes can be...
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
SASO
2007
IEEE
14 years 2 months ago
2007
IEEE
Information systems form the backbones of the critical infrastructures of modern societies. Unfortunately, these systems are highly vulnerable to attacks that can result in enormo...
PPPJ
2006
ACM
14 years 2 months ago
2006
ACM
In Java programs, classes are coupled to each other through the use of typed references. In order to minimize coupling without changing the executed code, interfaces can be introd...
PLDI
2005
ACM
14 years 2 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...