12551 search results - page 2347 / 2511 » Reuse in Systems Engineering |
136
click to vote
QUESTA
1998
15 years 3 months ago
1998
This paper presents an approximation method for numerically solving general Markov modulated fluid models which are widely used in modelling communications and computer systems. ...
137
click to vote
RC
2002
15 years 3 months ago
2002
Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constrai...
161
click to vote
RML
2002
15 years 3 months ago
2002
Conceptual modeling techniques such as EER, ORM and to some extent the UML have been developed in the past for building information systems. These techniques or suitable extensions...
127
click to vote
TAPOS
1998
15 years 3 months ago
1998
There is a growing need, both for use within corporate intranets and within the rapidly evolving World Wide Web, to develop tools that are able to retrieve relevant textual inform...
130
click to vote
TSE
1998
15 years 3 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...