3828 search results - page 267 / 766 » Proof-Based System Engineering Using a Virtual System Model |
202
click to vote
ASWEC
2009
IEEE
16 years 1 months ago
2009
IEEE
Testing enterprise software that communicates with a large number of other software systems is a challenging task as it is often difficult to replicate the size and heterogeneity...
162
click to vote
EOR
2006
15 years 6 months ago
2006
In both the quality improvement and the design of a product, the engineering characteristics affecting product performance are primarily identified and improved to optimize custom...
189
click to vote
SIGUCCS
2009
ACM
15 years 11 months ago
2009
ACM
Although recording and streaming lecture videos is becoming popular, large-scale lecture recording is still a difficult task for many universities. Auto lecture recording systems ...
208
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
146
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We describe a virtual telemetry system that allows us to devise and augment dynamic data-driven application simulations (DDDAS). Virtual telemetry has the advantage that ...