403 search results - page 6 / 81 » Integrating Z into Large Projects Tools and Techniques |
ECBS
2005
IEEE
15 years 3 months ago
2005
IEEE
Large and complex computer based systems are the result of an evolution process which may take many years. Heterogeneity is an important characteristic of such systems: During the...
ISMIR
2001
Springer
15 years 1 months ago
2001
Springer
This paper discussed some of the ongoing investigative work on integrating these two systems conducted as part of the NSF/JISC funded OMRAS (Online Music Retrieval and Searching) ...
ECMDAFA
2006
Springer
15 years 1 months ago
2006
Springer
: The growing interest in the MDA (Model-Driven Architecture) and MDD (Model-Driven Development) approaches has largely increased the number of tools and methods including code-gen...
ICCAD
1993
IEEE
15 years 1 months ago
1993
IEEE
For submicron integrated circuits, 3D numerical techniques are required to accurately compute the values of the interconnect capacitances. In this paper, we describe an hierarchic...
INFOVIS
1998
IEEE
15 years 1 months ago
1998
IEEE
We propose a simple and powerful graphical interface tool called the LensBar for filtering and visualizing large lists of data. Browsing and querying are the most important tasks ...