3828 search results - page 283 / 766 » Proof-Based System Engineering Using a Virtual System Model |
186
click to vote
ASWEC
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
177
click to vote
WSC
2000
15 years 8 months ago
2000
We have developed and implemented a case-based approach for introducing discrete event simulation to undergraduate and graduate manufacturing engineering students. Students learn ...
193
click to vote
ISORC
2003
IEEE
15 years 12 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
176
Voted
ISORC
2005
IEEE
16 years 5 days ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
168
click to vote
WSC
2004
15 years 8 months ago
2004
One feature of many naturally occurring or engineered complex systems is tremendous variability in event sizes. To account for it, the behavior of these systems is often described...