2846 search results - page 355 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
164
click to vote
ISESE
2006
IEEE
16 years 18 days ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...
157
click to vote
CHI
2008
ACM
2008
ACM
Employing patterns and layers for early-stage design and prototyping of cross-device user interfaces
16 years 7 months ago
Designing UIs that run across multiple devices is increasingly important. To address this, we have created a prototyping tool called Damask, which targets web UIs that run on PCs ...
182
click to vote
CGO
2004
IEEE
15 years 10 months ago
2004
IEEE
Traditionally, software pipelining is applied either to the innermost loop of a given loop nest or from the innermost loop to the outer loops. In a companion paper, we proposed a ...
187
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
145
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Although graphical user interfaces (GUIs) constitute a large part of the software being developed today and are typically created using rapid prototyping, there are no effective r...