797 search results - page 124 / 160 » Finding Reusable Software Components in Large Systems |
112
click to vote
CMSB
2006
Springer
15 years 4 months 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
15 years 4 days 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...
81
Voted
ICPR
2000
IEEE
16 years 1 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...
131
click to vote
ISSTA
2012
ACM
13 years 3 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 ...
99
Voted
VR
2000
IEEE
15 years 4 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...