4962 search results - page 478 / 993 » Stochastic Model Checking |
140
click to vote
SE
2007
15 years 5 months ago
2007
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...
146
click to vote
FLAIRS
2006
15 years 5 months ago
2006
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
141
click to vote
IEAAIE
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we propose a new diagnostic checking tool for fuzzy rule-based modelling of time series. Through the study of the residuals in the Lagrange Multiplier testing framew...
134
click to vote
FMOODS
2006
15 years 5 months ago
2006
Long-Running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These trans...
120
click to vote
SPDECE
2007
15 years 5 months ago
2007
This paper addresses the representation of the main elements of instructional models using formal ontology languages. Following existing conceptualizations, models, methods and con...