12084 search results - page 2237 / 2417 » Effect Systems with Subtyping |
128
click to vote
COMGEO
1999
ACM
15 years 3 months ago
1999
ACM
The visual nature of geometry applications makes them a natural area where visualization can be an effective tool for demonstrating algorithms. In this paper we propose a new mode...
139
click to vote
JIRS
2002
15 years 3 months ago
2002
Disabled people assistance is developing thanks to progress of new technologies. A manipulator arm mounted on a mobile robot can assist the disabled person for the partial restora...
177
click to vote
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
Empirical evidence shows the ability for computer technology to deliver on its promises of enhancing our quality of life relies on how well the application fits our understanding ...
145
click to vote
SIGPLAN
2002
15 years 3 months ago
2002
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...
130
click to vote
TSE
1998
15 years 3 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...