1648 search results - page 261 / 330 » Structuring namespace descriptions |
144
click to vote
ASIAN
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Multimedia presentations and their applications are becoming more and more popular in most spheres of industry and everyday life. A database approach could help in queryi...
149
click to vote
AGP
1999
IEEE
15 years 7 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
121
Voted
FM
1999
Springer
15 years 7 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
135
Voted
VL
1999
IEEE
15 years 7 months ago
1999
IEEE
To take advantage of the ever-increasing volume of diagrams in electronic form, it is crucial that we have methods for parsing diagrams. Once a structured, content-based descripti...
121
click to vote
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
Many reverse-engineering tools have been developed to detract representations from source code. Yet, most of these tools completely ignore recovery of the all-important rationale ...