10159 search results - page 624 / 2032 » System Design Validation Using Formal Models |
175
click to vote
JUCS
2000
15 years 7 months ago
2000
: Evaluations of methods and tools applied to a reference problem are useful when comparing various techniques. In this paper, we present a solution to the challenge of capturing t...
148
click to vote
AH
2006
Springer
16 years 1 months ago
2006
Springer
This paper introduces GLAM, a system based on situation calculus and meta-rules, which is able to provide adaptation by means of selection of actions. It is primarily designed to p...
160
click to vote
WSC
2008
15 years 9 months ago
2008
Well designed models can provide timely answers and summarize understanding of complex systems. Simple use cases can illustrate the applicability and inferences possible with even...
209
click to vote
KES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In data mining, hybrid intelligent systems present a synergistic combination of multiple approaches to develop the next generation of intelligent systems. Our paper prese...
177
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...