Quod est veritas. Views Transformation at a System Component of Observable Process
نویسندگان
چکیده
منابع مشابه
A Partially Observable Markovian Maintenance Process with Continuous Cost Functions
In this paper a two-state Markovian maintenance process where the true state is unknown will be considered. The operating cost per period is a continuous random variable which depends on the state of the process. If investigation cost is incurred at the beginning of any period, the system wit I be returned to the "in-control" state instantaneously. This problem is solved using the average crite...
متن کاملLinking architectural and component level system views
In hardware and software design model checkers are nowadays used with success to verify properties of system components [23]. The limits of the approach to cope with the size and the complexity of modern computer-based systems are felt when it comes to provide evidence of the trustworthiness of the entire system that has been built out of verified components. To achieve this task one has to exp...
متن کاملa study on construction of iranian life tables: the case study of modified brass logit system
چکیده ندارد.
15 صفحه اولInstructional design theory; a component at the service of instruction
Introduction: The entrepreneurship and self-employment status is an important factor in business growth, in the current situation and in the future due to the economic conditions. To motivate people, an effective education is required. The main goal of this article is identifying the effective methods that can lead people into entrepreneurship. Methods: This study is a descriptive study. ...
متن کاملViewing A program Transformation System At Work
How to decrease labor and improve reliability in the development of eecient implementations of nonnumerical algorithms and labor intensive software is an increasingly important problem as the demand for computer technology shifts from easier applications to more complex algorithmic ones; e.g., optimizing compilers for supercomputers, intricate data structures to implement eecient solutions to o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SPIIRAS Proceedings
سال: 2014
ISSN: 2078-9599,2078-9181
DOI: 10.15622/sp.15.2