7393 search results - page 1201 / 1479 » Synthesis-for-testability using transformations |
152
click to vote
ISBI
2007
IEEE
15 years 10 months ago
2007
IEEE
3D cell culture assays have emerged as the basis of an improved model system for evaluating therapeutic agents, molecular probes, and exogenous stimuli. However, there is a gap in...
126
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
147
click to vote
MOMPES
2007
IEEE
15 years 10 months ago
2007
IEEE
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
125
Voted
SIBGRAPI
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a data hiding technique for printed bicolor documents. It inserts tiny dots, hardly noticeable at normal reading distance, to embed the message. For message ex...
149
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...