1757 search results - page 95 / 352 » Alternating Refinement Relations |
130
click to vote
ICFEM
2000
Springer
15 years 6 months ago
2000
Springer
Retrenchment is presented in a simple relational framework as a more flexible development concept than refinement for capturing the early preformal stages of development, and brie...
114
click to vote
SAS
2000
Springer
15 years 6 months ago
2000
Springer
We present a new representation for possibly infinite sets of possibly infinite trees. This representation makes extensive use of sharing to achieve efficiency. As much as possible...
113
click to vote
HICSS
1995
IEEE
15 years 6 months ago
1995
IEEE
In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...
153
click to vote
ASAP
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Polynomial approximation is a very general technique for the evaluation of a wide class of numerical functions of one variable. This article details an architecture gener...
140
click to vote
ICONIP
2008
15 years 4 months ago
2008
Abstract. Internet literature queries return a long lists of citations, ordered according to their relevance or date. Query results may also be represented using Visual Language th...