10159 search results - page 564 / 2032 » System Design Validation Using Formal Models |
156
click to vote
ATAL
2007
Springer
16 years 21 days ago
2007
Springer
We introduce in this paper an agent model based on coherence theory. We give a formalization of Thagard’s theory on coherence and use it to explain the reasoning process of an in...
154
click to vote
JSA
2008
15 years 6 months ago
2008
The instability of the tree-like multicast overlay caused by nodes' abrupt departures is considered as one of the major problems for peer-to-peer (P2P) multicast systems. In ...
187
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
Heterogeneous embedded systems, where configurable or application specific hardware devices (FPGAs and ASICs) are used alongside traditional processors, are becoming more and more...
194
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
165
click to vote
AIEDU
2006
15 years 6 months ago
2006
In this article, we discuss the motivation for a novel style of tutorial dialogue system that emphasizes reflection in a simulation based exploratory learning environment called Cy...