Sciweavers

7580 search results - page 1128 / 1516
» Prometheus design tool
Sort
View
TII
2008
98views more  TII 2008»
15 years 6 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux
CCE
2005
15 years 6 months ago
Interactive evolutionary computation in process engineering
In practical system identification, process optimization and controller design, it is often desirable to simultaneously handle several objectives and constraints. In some cases, t...
János Madár, János Abonyi, Fe...
TSP
2008
91views more  TSP 2008»
15 years 6 months ago
MIMO Radar Ambiguity Properties and Optimization Using Frequency-Hopping Waveforms
The concept of multiple-input multiple-output (MIMO) radars has drawn considerable attention recently. Unlike the traditional single-input multiple-output (SIMO) radar which emits ...
Chun-Yang Chen, P. P. Vaidyanathan
AICOM
2004
105views more  AICOM 2004»
15 years 6 months ago
Using WordNet for case-based retrieval of UML models
Software complexity has increased substantially in the last decade. This has made software development teams work faster and under tight budgets. Reusing software can be a way of s...
Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nu...
JSW
2007
123views more  JSW 2007»
15 years 6 months ago
A Taxonomy for a Constructive Approach to Software Evolution
Abstract— In many software design and evaluation techniques, either the software evolution problem is not systematically elaborated, or only the impact of evolution is considered...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
« Prev « First page 1128 / 1516 Last » Next »