6047 search results - page 37 / 1210 » Modeling with Extend |
OR
2007
Springer
15 years 3 months ago
2007
Springer
version of this extended abstract is published as [6].
DSVIS
2003
Springer
15 years 3 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
SMC
2007
IEEE
15 years 4 months ago
2007
IEEE
— Combining both intervals and discrete sets of numbers, this paper presents a definition for an extended grey number model representing both continuous and discrete grey number...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
111
click to vote
AGI
2011
14 years 1 months ago
2011
This paper presents an integrated modeling framework where the learning and knowledge retrieval mechanisms of the ACT-R cognitive architecture are combined with a semantic resource...