A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
: This paper summarizes a model of interaction for CVEs inspired by the process followed in human communication in the real world, detailing both the main elements and the communic...
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
SITE model was developed to study the response of tropical ecosystems according to environmental conditions for estimating of energy fluxes. This study analyzed the net ecosystem ...
Abstract We define a notion of context that represents invariant, stable-over-time behavior in an environment and we propose an algorithm for detecting context changes in a stream ...