190 search results - page 14 / 38 » Towards model checking interpreted systems |
ENTCS
2006
13 years 7 months ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
ECOOP
2004
Springer
14 years 24 days ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
WORDS
2005
IEEE
14 years 29 days ago
2005
IEEE
Self-healing systems focus on how to reducing the complexity and cost of the management of dependability policies and mechanisms without human intervention. This position paper pr...
TCOM
2008
13 years 7 months ago
2008
The study of Joint Source-Channel Coding (JSCC) systems faces one major challenge in obtaining an analytical expression for the function that links end-to-end distortion with chann...
CODES
2002
IEEE
14 years 11 days ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...