859 search results - page 76 / 172 » Explaining Synthesized Software |
CSCWD
2005
Springer
14 years 3 months ago
2005
Springer
GOMS is a well-known model that has been successfully used in predicting the performance of humancomputer interaction, identifying usability problems and improving user-interface ...
CC
2003
Springer
14 years 3 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
EMSOFT
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
ISCIS
2003
Springer
14 years 3 months ago
2003
Springer
One of the important tasks during software testing is the generation of test cases. Unfortunately, existing approaches to test case generation often have problems limiting their us...
HOTOS
1999
IEEE
14 years 2 months ago
1999
IEEE
Software-based protection has become a viable alternative to hardware-based protection in systems based on languages such as Java, but the absence of hardware mechanisms for prote...