26151 search results - page 122 / 5231 » Parameterized system design |
168
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
150
click to vote
ICECCS
1995
IEEE
15 years 10 months ago
1995
IEEE
The Earth Observing System (EOS) Data and Information System (EOSDIS) is perhaps one of the most important examples of a large-scale, geographicallydistributed, and data-intensive...
157
click to vote
USENIX
2001
15 years 7 months ago
2001
In this paper I cover the design and implementation of
146
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
This paper proposes a framework for ontology-based design support systems, called DRIFT (Design Rationale Integration Framework of Three layers), which records, structures and retr...
