797 search results - page 124 / 160 » Finding Reusable Software Components in Large Systems |
CMSB
2006
Springer
14 years 23 days ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
SOFTWARE
2002
13 years 8 months ago
2002
is the level of abstraction: a logical model ignores the constraints that the underlying database technology imposes and presents a simplified view. Sometimes physical database des...
ICPR
2000
IEEE
14 years 10 months ago
2000
IEEE
The ability to automatically record the marks applied to paper documents on their electronic originals would preserve the information represented by those annotations. Users could...
ISSTA
2012
ACM
11 years 11 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
VR
2000
IEEE
14 years 1 months ago
2000
IEEE
Although technologies such as head mounted displays and CAVEs can be used to provide large immersive visual displays within small physical spaces, it is difficult to provide virt...