11561 search results - page 2028 / 2313 » A Language for Biochemical Systems |
288
Voted
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
175
Voted
PODS
2005
ACM
16 years 6 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
171
Voted
PODS
2006
ACM
16 years 6 months ago
2006
ACM
Query containment is a fundamental algorithmic problem in database query processing and optimization. Under set semantics, the query-containment problem for conjunctive queries ha...
152
click to vote
PODS
2007
ACM
16 years 6 months ago
2007
ACM
Schema mappings are high-level specifications that describe the relationship between two database schemas. Two operators on schema mappings, namely the composition operator and th...
164
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
Program analysis is the heart of modern compilers. Most control flow analyses are reduced to the problem of finding a fixed point in a certain transition system, and such fixed po...