1356 search results - page 68 / 272 » The ideal of verified software |
ICECCS
1999
IEEE
15 years 4 months ago
1999
IEEE
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...
107
click to vote
COMPSAC
2007
IEEE
15 years 17 hour ago
2007
IEEE
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
141
click to vote
ITSSA
2006
14 years 11 months ago
2006
: The software industry is faced with the fast growing complexity of IT infrastructures. This makes manual administration increasingly difficult and appears to be the limiting fact...
TIP
2010
14 years 6 months ago
2010
Software realizations of computationally-demanding image processing tasks (e.g. image transforms and convolution) do not currently provide graceful degradation when their clock-cy...
116
click to vote
ICSE
2009
IEEE-ACM
16 years 20 days ago
2009
IEEE-ACM
Software developers have long known that project success requires a robust understanding of both technical and social linkages. However, research has largely considered these inde...