12107 search results - page 212 / 2422 » Software That Can Think |
153
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
Reflecting the rapid growth of information technology, the configuration of software applications, such as word processors and spreadsheets, is both sophisticated and complicate...
174
click to vote
FGCN
2008
IEEE
16 years 29 days ago
2008
IEEE
Power consumption is becoming a primary concern as a result of tremendous increasing in computer power usage. Innumerable methods and techniques have been exploited to address thi...
151
click to vote
IV
2007
IEEE
16 years 24 days ago
2007
IEEE
Do software engineering students need interdisciplinary skills? Do students learn different things from an interdisciplinary project work than from software development projects? ...
163
click to vote
SP
2007
IEEE
16 years 24 days ago
2007
IEEE
We present a new technique that enables software recovery in legacy applications by retrofitting exception-handling capabilities, error virtualization using rescue points. We int...
178
click to vote
MEMOCODE
2006
IEEE
16 years 16 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...