7027 search results - page 552 / 1406 » Software process: a roadmap |
236
click to vote
ICST
2009
IEEE
15 years 5 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
222
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
Pervasive computing appears like a new computing era based on networks of objects and devices evolving in a real world, radically different from distributed computing, based on ne...
259
click to vote
HICSS
2011
IEEE
14 years 11 months ago
2011
IEEE
All-at-once Scrum implementations require total commitment to change, high level management support and aggressive removal of impediments. Several company-wide implementations are...
203
click to vote
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
—Dynamic reconfiguration – the ability to hot swap a component, or to introduce a new component into the system – is essential to supporting evolutionary change in long-live ...
193
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
A transform approximation is explored for speeding up the software compression of images and video. It is used to replace the regular DCT whenever only few DCT coefficients are ac...