3090 search results - page 547 / 618 » On Testing Answer-Set Programs |
125
click to vote
CCS
2011
ACM
14 years 1 months ago
2011
ACM
Parameter tampering attacks are dangerous to a web application whose server fails to replicate the validation of user-supplied data that is performed by the client. Malicious user...
128
click to vote
CEC
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—Higher organisms are able to respond to continuously changing external conditions by transducing cellular signals into specific regulatory programs, which control gene ...
104
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Single nucleotide polymorphisms (SNP) constitute more than 90% of the genetic variation, and hence can account for most trait differences among individuals in a given ...
167
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Atomic Solvation Parameters (ASP) model has been proven to be a very successful method of calculating the binding free energy of protein complexes. This suggests that ...
139
click to vote
SIGSOFT
2006
ACM
16 years 2 months ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...