10038 search results - page 390 / 2008 » Model Checking for Managers |
241
click to vote
CIDR
2011
14 years 10 months ago
2011
This paper argues that next generation database management systems should incorporate a predictive model management component to effectively support both inward-facing application...
167
click to vote
FMOODS
2006
15 years 8 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...
162
click to vote
SPDECE
2007
15 years 8 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...
180
click to vote
ETFA
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
198
click to vote
QEST
2005
IEEE
16 years 12 days ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...