... translation . Apart from easing the analysis process , this feature is very attractive especially in those cases where the translation in Java is not straightforward or possible at all ( e.g. , because Java does not contain support for ...
... dependability criteria have a bearing the translation must live up to them in order to be dependable . For the reader expects a dependable translation and it must come a priori , tested and doubt - proof . The responsibility lies - with ...
... translation. The requirement for accurate translation is not impossible to achieve. A translation tool would be widely used, and so exercising great care in the tool's construction would be worthwhile. Successful software synthesis ...
Proceedings of the Sixteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX ... translation. Testplatform LSC LEC NC NM NA NTC CA 1) NUnit 629 189 18 63 101 90 60.0% 1) MSTest 649 127 15 48 57 51 ...
... translation and complicates the prediction of worst-case execution time leading to unnecessary overestimation that negatively affect system schedulability [3, 13]. To tighten the bound on the worst-case address translation time (WCATT) ...
... translation . Each pair is devoted to various ASPSPs , which do not use a common standard of API . This means that messages sent / received to / from ASPSPs have to be translated to / from a common format used between our system and TPP ...
... translation that is rooted in the identity of the community that produces it , than to use a version produced by non - community members who have no such direct ... dependable translation role models with standards that can be relied.
... translation from a UML model to an Ada program could take the form of three main claims: 1. The UML metamodel is correct in terms of the UML language reference manual (LRM). 2. The Ada metamodel is correct in terms of the Ada language ...
... translation from dynamic fault trees into Bayesian networks has been presented. Formal tools: Markov models, Petri ... Dependable Computer Systems, AISC 97, pp. 117–129. © Springer-Verlag Berlin Heidelberg 2011 springerlink.com ...
... Translation Interviewer: Why it has to be the slogan /caithɨŋ phɨŋdâay/ 'being generous to a fault and dependable'? As for my definition, there's nothing more appropriate than /caithɨŋ phɨŋdâay/ 'being generous to a fault and dependable ...