15253 search results - page 117 / 3051 » Integer-Programming Software Systems |
153
click to vote
HOTOS
1997
IEEE
15 years 8 months ago
1997
IEEE
Although component software has emerged as one of the most significant and commercially successful technologies of the past few years, few operating systems are designed to host a...
126
Voted
ICTAI
2003
IEEE
15 years 9 months ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
136
Voted
FM
2003
Springer
15 years 9 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
127
click to vote
HOTSWUP
2009
ACM
15 years 9 months ago
2009
ACM
Year after year, the frequency of updated releases of software continues to increase. Without an automated install process, the result is either that a system installs software wi...
117
click to vote
KBSE
1995
IEEE
15 years 8 months ago
1995
IEEE
This paper describes an effort to provide automated support for the interactive inquiry and explanation process that is at the heart of software understanding. A hypermedia tool c...