6884 search results - page 1117 / 1377 » The macro-structure of use of help |
162
click to vote
IV
2003
IEEE
15 years 12 months ago
2003
IEEE
In the paper, we suggest a set of visualization-based exploratory tools to support analysis and comparison of different spatial development scenarios, such as results of simulatio...
191
click to vote
IWPSE
2003
IEEE
15 years 12 months ago
2003
IEEE
The number of software systems is increasing at a rapid rate. For example, SourceForge currently has about sixty thousand software systems registered, twenty-two thousand of which...
162
click to vote
LCN
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents personal networks, which integrate a VPN and the per-VPN execution environments of the hosts included in the VPN. The key point is that each execution environm...
191
click to vote
MTV
2003
IEEE
15 years 12 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
154
click to vote
WCRE
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we describe our approach to reconstructing the software architecture of J2EE web applications. We use the Siemens Four Views approach, separating the architecture in...