1134 search results - page 106 / 227 » Composing Tests from Examples |
103
click to vote
TPHOL
2007
IEEE
15 years 5 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
ECOOP
2006
Springer
15 years 2 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
BMCBI
2006
14 years 11 months ago
2006
Background: Regulatory modules are segments of the DNA that control particular aspects of gene expression. Their identification is therefore of great importance to the field of mo...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Visual and non-visual data are often related through complex, indirect links, thus making the prediction of one from the other difficult. Examples include the partiallyunderstood ...
CHI
2003
ACM
15 years 11 months ago
2003
ACM
A multi-leveled framework for user interface design guidelines of Web applications is presented. User interface design guidelines tend to provide information that is either too ge...