12107 search results - page 123 / 2422 » Software That Can Think |
ICSE
2012
IEEE-ACM
11 years 10 months ago
2012
IEEE-ACM
Abstract—Software systems inherently contain vulnerabilities that have been exploited in the past resulting in significant revenue losses. The study of vulnerability life cycles...
SOFTVIS
2005
ACM
14 years 1 months ago
2005
ACM
Software archives contain historical information about the development process of a software system. Using data mining techniques rules can be extracted from these archives. In th...
JCP
2006
13 years 8 months ago
2006
Adapting software components to be used in a particular application is a crucial issue in software component based technology. In fact, software components can be used in contexts ...
WCRE
2007
IEEE
14 years 2 months ago
2007
IEEE
When trying to understand the evolution of a software system it can be useful to visualize the evolution of the system’s architecture. Existing tools for viewing architectural e...
SPIN
1999
Springer
14 years 15 days ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...