3828 search results - page 215 / 766 » Proof-Based System Engineering Using a Virtual System Model |
172
click to vote
ACMSE
1992
ACM
15 years 10 months ago
1992
ACM
A scheme for disk subsystem performance enhancement that is based on (virtual) cylinder remapping is proposed. A natural workload on a real system is measured, and statistical tes...
183
click to vote
QSIC
2007
IEEE
16 years 23 days ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
162
click to vote
AICT
2006
IEEE
16 years 17 days ago
2006
IEEE
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...
148
click to vote
KBSE
2007
IEEE
16 years 23 days ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
172
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
In knowledge engineering, modelling knowledge is the process of structuring knowledge before implementation. A crucial part of system development depends on the acquiring and struc...