10038 search results - page 392 / 2008 » Model Checking for Managers |
194
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...
165
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
A difficult challenge in the industrialisation of Model-Driven Development is managing different versions of models. Different versions may arise at any time during the development...
171
click to vote
MMM
2005
Springer
16 years 12 days ago
2005
Springer
Constraints are used in traditional database systems to define consistent database states. For multimedia data it is also important to define constraints for a correct data outp...
182
click to vote
EVOW
2004
Springer
16 years 6 days ago
2004
Springer
This paper describes a novel representation and ordering model that, aided by an evolutionary algorithm, is used in solving the graph k-colouring problem. Its strength lies in redu...
188
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...