1678 search results - page 102 / 336 » An ASM Specification of C |
164
click to vote
ACMICEC
2005
ACM
15 years 11 months ago
2005
ACM
Electronic commerce applications (e-commerce) need connecting technologies to support the external, agreed-upon or flexible business processes. This requires a specification of th...
150
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
136
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Cis-regulatory modules (CRMs) are distinct, genomic regions surrounding the target gene that can independently activate the promoter to drive transcription. The activa...
132
click to vote
ICML
2004
IEEE
16 years 6 months ago
2004
IEEE
We propose a simple, novel and yet effective method for building and testing decision trees that minimizes the sum of the misclassification and test costs. More specifically, we f...
270
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...