3828 search results - page 133 / 766 » Proof-Based System Engineering Using a Virtual System Model |
165
Voted
HPCN
2000
Springer
15 years 8 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
128
click to vote
FPLAY
2008
15 years 6 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
167
Voted
AAAI
1996
15 years 6 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
135
Voted
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
1 In multi-site distributed education (MSDE), video streams from multiple sites are available. To best utilize the limited screen space at each site, we develop a customizable, aut...
163
Voted
AEI
2004
15 years 5 months ago
2004
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...