12107 search results - page 351 / 2422 » Software That Can Think |
163
click to vote
PADS
2005
ACM
16 years 8 days ago
2005
ACM
The use of software diversity has often been discussed in the research literature as an effective means to break up the software monoculture present on the Internet and to thus p...
182
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using rand...
188
click to vote
ICSM
2003
IEEE
16 years 11 hour ago
2003
IEEE
This paper is a summary of the author’s thesis that presents a model and an environment for recovering the high level design of legacy software systems based on user defined ar...
226
click to vote
CBSQ
2003
Springer
15 years 12 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
179
click to vote
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
Software-intensive systems often exhibit dimensions in size and complexity that exceed the scope of comprehension of even talented, experienced system designers and analysts. With ...