6800 search results - page 1024 / 1360 » Testing with Functions as Specifications |
160
click to vote
TOPLAS
2002
15 years 6 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
185
click to vote
NAR
2007
15 years 6 months ago
2007
Interactions within a protein structure and interactions between proteins in an assembly are essential considerations in understanding molecular basis of stability and functions o...
202
click to vote
IWPC
2010
IEEE
15 years 5 months ago
2010
IEEE
—Data fusion is the process of integrating multiple sources of information such that their combination yields better results than if the data sources are used individually. This ...
170
click to vote
JOCN
2010
15 years 5 months ago
2010
■ fMRI studies have reported three regions in human ventral visual cortex that respond selectively to faces: the occipital face area (OFA), the fusiform face area (FFA), and a f...
214
click to vote
JOT
2010
15 years 5 months ago
2010
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...