15253 search results - page 277 / 3051 » Integer-Programming Software Systems |
151
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
141
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
CODECITY is a language-independent interactive 3D visualization tool for the analysis of large software systems. Using a city metaphor, it depicts classes as buildings and package...
166
click to vote
GI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract: The goals of organic computing are difficult to achieve due to the heterogenity of current software components. We believe that in the long term more advanced software a...
184
click to vote
SEKE
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents the Evospaces reverse-engineering tool that represents the architecture and metrics of complex software systems in a 3D virtual world. The main goal of our pro...
175
click to vote
GCC
2004
Springer
16 years 2 days ago
2004
Springer
Services are usually developed and deployed independently; and systems can be formed by composing relevant services to achieve set goals. In such an open and dynamic environment, s...