513 search results - page 63 / 103 » A framework for evaluating knowledge-mapping tools |
AOSD
2005
ACM
15 years 5 months ago
2005
ACM
Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of c...
115
click to vote
FASE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
UIST
2003
ACM
15 years 5 months ago
2003
ACM
Recent work is beginning to reveal the potential of numerical optimization as an approach to generating interfaces and displays. Optimization-based approaches can often allow a mi...
LISA
2007
15 years 2 months ago
2007
Support for distributed application management in large-scale networked environments remains in its early stages. Although a number of solutions exist for subtasks of application ...
USENIX
2007
15 years 2 months ago
2007
As the scope of personal data grows, it becomes increasingly difficult to find what we need when we need it. Desktop search tools provide a potential answer, but most existing too...