10159 search results - page 222 / 2032 » System Design Validation Using Formal Models |
137
click to vote
ITS
2010
Springer
15 years 5 months ago
2010
Springer
Authoring the domain knowledge of an intelligent tutoring system (ITS) is a well-known problem, and an often-mentioned approach is to use authors who are domain experts. Unfortunat...
124
click to vote
ISORC
2007
IEEE
15 years 9 months ago
2007
IEEE
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
155
click to vote
ZUM
1997
Springer
15 years 7 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
122
click to vote
ASE
2008
15 years 3 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
113
click to vote
ACSD
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper elaborates on the application of some aspects of robust systems control theory to the management of uncertainty and risk in distributed and complex design processes, ha...