2004 search results - page 97 / 401 » Comparison of Model Checking Tools for Information Systems |
176
click to vote
IRI
2007
IEEE
16 years 1 months ago
2007
IEEE
Domain-specific modeling has become a popular way of designing and developing systems. It generally involves a systematic use of a set of object-oriented models to represent vari...
193
click to vote
TCBB
2011
15 years 1 months ago
2011
—In this paper, we propose a communication model of evolution and investigate its information-theoretic bounds. The process of evolution is modeled as the retransmission of infor...
211
click to vote
UML
2005
Springer
16 years 6 days ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
179
click to vote
VVEIS
2007
15 years 7 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
159
click to vote
MTV
2005
IEEE
16 years 9 days ago
2005
IEEE
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large p...