399 search results - page 46 / 80 » Verification of System Level Model Transformations |
114
Voted
CORR
2000
Springer
15 years 2 months ago
2000
Springer
Analyzing the effect of concentrated noise on a typical decision-making process of a simplified two-candidate voting model, we have demonstrated that a local approach using a regi...
121
click to vote
ISORC
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
116
click to vote
EMSOFT
2010
Springer
15 years 17 days ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
104
Voted
WSC
2004
15 years 3 months ago
2004
Factory physics provides a systematic description, expressed as laws, of the underlying behavior of a system. These laws can provide important assistance in performing simulation ...
112
click to vote
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents RDSS, a Resource Area Network (RAN)-based Distributed Storage System, which is designed for high scalability, long-term reliability, and operational efficiency...