11784 search results - page 792 / 2357 » Improving Software Process Improvement |
225
click to vote
CODES
2006
IEEE
16 years 1 months ago
2006
IEEE
Transaction-level modeling has been touted to improve simulation performance and modeling efficiency for early design space exploration. But no tools are available to generate suc...
212
click to vote
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
We present DeskPod, a portable system that provides a highly reliable desktop computing environment for mobile users by leveraging rapid improvements in capacity, cost, and size o...
219
click to vote
VMCAI
2005
Springer
16 years 1 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
206
click to vote
XPU
2005
Springer
16 years 1 months ago
2005
Springer
Dynamic market situation and changing customer requirements generate more demands for the product development. Product releases should be developed and managed in short iterations ...
209
click to vote
IUI
2004
ACM
16 years 28 days ago
2004
ACM
An analysis of context-aware user interfaces shows that adaptation mechanisms have a cost-benefit trade-off for usability. Unpredictable autonomous interface adaptations can easil...