714 search results - page 129 / 143 » Verification and Compliance Testing |
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
LDTA
2010
13 years 8 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
CCS
2010
ACM
13 years 8 months ago
2010
ACM
Cloud computing needs to provide integrity assurance in order to support security sensitive application services such as critical dataflow processing. In this paper, we present a ...
BMCBI
2010
13 years 8 months ago
2010
Background: Recent developments of high-density SNP chips across a number of species require accurate genetic maps. Despite rapid advances in genome sequence assembly and availabi...
COMPUTER
2008
13 years 8 months ago
2008
higher, more appropriate, level of abstraction. It still entails writing programs, usually by using symbols, keywords, and operational instructions to tell the computer what we wan...