1713 search results - page 28 / 343 » Analysis of Procedure Splitability |
JSC
2010
13 years 7 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
CSB
2004
IEEE
14 years 27 days ago
2004
IEEE
The Gene Ontology (GO) resource can be used as a powerful tool to uncover the properties shared among, and specific to, a list of genes produced by high-throughput functional geno...
BMCBI
2010
13 years 9 months ago
2010
Background: Discovering novel disease genes is still challenging for diseases for which no prior knowledge - such as known disease genes or disease-related pathways - is available...
ASWEC
2006
IEEE
14 years 3 months ago
2006
IEEE
An SQL injection attack targets interactive web applications that employ database services. These applications accept user inputs and use them to form SQL statements at runtime. D...
SIGDOC
1998
ACM
14 years 1 months ago
1998
ACM
The act-function-phase model systematically relates the acts of the dialogue at time-of-use to the acts of the dialogue between author and users at time-of-development. We show ho...