9698 search results - page 135 / 1940 » models 2010 |
178
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
130
click to vote
JCIT
2010
15 years 1 months ago
2010
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 ...
142
click to vote
ENTCS
2007
15 years 6 months ago
2007
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...
190
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Web search is challenging partly due to the fact that search queries and Web documents use different language styles and vocabularies. This paper provides a quantitative analysis ...
195
click to vote
JCST
2010
15 years 1 months ago
2010
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 ...