2701 search results - page 288 / 541 » On the form of witness terms |
185
click to vote
IAT
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper describes an agent-based recommendation system developed to support knowledge acquisition and sharing processes. Its purpose is to aid the process of community building...
187
click to vote
ICSM
2005
IEEE
16 years 9 days ago
2005
IEEE
In order to support the maintenance of object-oriented software systems, the quality of their design must be evaluated using adequate quantification means. In spite of the curren...
158
click to vote
INFOVIS
2005
IEEE
16 years 9 days ago
2005
IEEE
We present a novel visual correlation paradigm for situational awareness (SA) and suggest its usage in a diverse set of applications that require a high level of SA. Our approach ...
169
click to vote
METRICS
2005
IEEE
16 years 8 days ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
168
click to vote
TPHOL
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...