5180 search results - page 428 / 1036 » Requirements Engineering |
179
click to vote
TAICPART
2006
IEEE
16 years 25 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
169
click to vote
PPPJ
2006
ACM
16 years 24 days ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
189
click to vote
ISESE
2005
IEEE
16 years 13 days ago
2005
IEEE
Component Based Software Engineering has been perceived to have immense reuse potential. This area has evoked wide interest and has led to considerable investment in research and ...
191
click to vote
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
Due to the large success of wireless networks and handheld devices, the ambient intelligence (AmI) paradigm is becoming a reality. One of the most challenging objectives to achiev...
192
click to vote
WOSP
2005
ACM
16 years 12 days ago
2005
ACM
Resource pools are computing environments that offer virtualized access to shared resources. When used effectively they can align the use of capacity with business needs (flexi...