1963 search results - page 253 / 393 » How is aliasing used in systems software |
253
click to vote
TAOSD
2010
15 years 10 days ago
2010
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
140
click to vote
VMCAI
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
154
click to vote
SEKE
2007
Springer
15 years 11 months ago
2007
Springer
Developing user interfaces for a heterogeneous environment is a difficult challenge. Partial distribution of the user interface is an event harder one. Specifically providing de...
150
click to vote
SERP
2004
15 years 7 months ago
2004
Forms-based user interfaces are widely used means for human-computer interaction. However, it is difficult to exploit software reuse in forms-based systems because the systems ten...
155
click to vote
SIGMOD
2004
ACM
16 years 5 months ago
2004
ACM
Many modern software systems provide progress indicators for long-running tasks. These progress indicators make systems more user-friendly by helping the user quickly estimate how...