1351 search results - page 205 / 271 » Towards a Spreadsheet Engineering |
128
click to vote
AVI
2004
15 years 7 months ago
2004
In this paper we present our experience in building a visual file manager, VennFS2, that offers to users an adaptive interface toward access to files. Our file manager was origina...
148
click to vote
AVI
2004
15 years 7 months ago
2004
The navigation support provided by user interfaces of Virtual Environments (VEs) is often inadequate and tends to be overly complex, especially in the case of large-scale VEs. In ...
134
click to vote
AVI
2004
15 years 7 months ago
2004
The continuing trend toward greater processing power, larger storage, and in particular increased display surface by using multiple monitor supports increased multi-tasking by the...
153
click to vote
FLAIRS
2006
15 years 7 months ago
2006
We introduce the particular functionality of the Complaint Engine suite, the integrated complaint management component for mediating consumer disputes. We formulate the problem of...
177
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...