Sciweavers

4719 search results - page 739 / 944
» Newtonian program analysis
Sort
View
123
Voted
TPLP
2010
102views more  TPLP 2010»
15 years 3 months ago
As time goes by: Constraint Handling Rules
Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers,...
Jon Sneyers, Peter Van Weert, Tom Schrijvers, Lesl...
199
Voted
SIGSOFT
2010
ACM
15 years 2 months ago
Validity concerns in software engineering research
Empirical studies that use software repository artifacts have become popular in the last decade due to the ready availability of open source project archives. In this paper, we su...
Hyrum K. Wright, Miryung Kim, Dewayne E. Perry
USS
2010
15 years 2 months ago
Toward Automated Detection of Logic Vulnerabilities in Web Applications
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
Viktoria Felmetsger, Ludovico Cavedon, Christopher...
BMCBI
2010
196views more  BMCBI 2010»
15 years 2 months ago
Content-based microarray search using differential expression profiles
Background: With the expansion of public repositories such as the Gene Expression Omnibus (GEO), we are rapidly cataloging cellular transcriptional responses to diverse experiment...
Jesse M. Engreitz, Alexander A. Morgan, Joel Dudle...
BMCBI
2010
162views more  BMCBI 2010»
15 years 2 months ago
SNPexp - A web tool for calculating and visualizing correlation between HapMap genotypes and gene expression levels
Background: Expression levels for 47294 transcripts in lymphoblastoid cell lines from all 270 HapMap phase II individuals, and genotypes (both HapMap phase II and III) of 3.96 mil...
Kristian Holm, Espen Melum, Andre Franke, Tom H. K...