10159 search results - page 213 / 2032 » System Design Validation Using Formal Models |
ECSQARU
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
131
click to vote
AUTONOMICS
2008
ACM
15 years 4 months ago
2008
ACM
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...
118
click to vote
FPL
2006
Springer
15 years 6 months ago
2006
Springer
This paper provides a realistic case study of using the previously introduced SIMPPL system architectural model, which fixes the physical interface and communication protocols bet...
117
click to vote
WSC
2001
15 years 4 months ago
2001
Simulation beginners often spend a great amount of time to accumulate the knowledge as well as the experience to overcome the technical complexity of computer simulation. Limited ...
157
click to vote
NFM
2011
14 years 9 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...