5961 search results - page 511 / 1193 » Design Science and Software Engineering |
213
click to vote
IUI
2009
ACM
16 years 2 months ago
2009
ACM
In this paper we present IVEA, a personalized visual interface which enables users to explore text collections from different perspectives and levels of detail. This work explores...
176
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...
203
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
180
click to vote
ICSM
2005
IEEE
16 years 25 days ago
2005
IEEE
This paper presents the Xrefactory project. Xrefactory is a plugin to editors and Integrated Development Environments (IDE) providing a variety of source understanding and refacto...
210
click to vote
VISSOFT
2005
IEEE
16 years 24 days ago
2005
IEEE
The paper presents and assesses a layout scheme for UML class diagrams that takes into account the architectural importance of a class in terms of its stereotype (e.g., boundary, ...