3828 search results - page 69 / 766 » Proof-Based System Engineering Using a Virtual System Model |
144
click to vote
EWCBR
1993
Springer
15 years 6 months ago
1993
Springer
A major advantage in using a case-based approach to developing knowledge-based systems is that it can be applied to problems where a strong domain theory may be difficult to determ...
110
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
103
click to vote
CBSE
2004
Springer
15 years 6 months ago
2004
Springer
There is a conceptual gap between the way we currently articulate requirements and the reuse-driven paradigm embodied in component-based system development. The principal challenge...
135
click to vote
CW
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper aims at proposing a framework for animating virtual humans that can efficiently interact with real users in virtual reality (VR). If the user’s order can be modeled ...
130
click to vote
ACSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...