3579 search results - page 543 / 716 » Transformations of software models into performance models |
162
click to vote
BCSHCI
2008
15 years 7 months ago
2008
Although approaches to User Centered Software Development have existed for almost 20 years a rift still exists between theory and practice. In practice, many software projects are...
167
click to vote
WSCG
2004
15 years 7 months ago
2004
3D design software has since long employed graphics chips for low-quality real-time previewing. But their dramatically increased computing power now paves the way to accelerate th...
172
click to vote
FUIN
2008
15 years 6 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
148
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Remote presentation is an interesting model for executing applications in mobile devices, since applications can be executed on a server and their interfaces displayed on mobile c...
165
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...