نتایج جستجو برای: feasibility study
تعداد نتایج: 4028746 فیلتر نتایج به سال:
چکیده ندارد.
This paper presents a study on modeling and verifying the kernel of Real-Time Operating Systems (RTOS). The study will show advances in formally verifying such an RTOS both by refinement and by model checking approaches. This work fits in the context of Hoare’s verification challenge. Several real-time operating systems will be discussed including some commercial ones. The focus of the latter p...
In this paper, a feasibility study was conducted to test whether capacitive sensors could be used to detect water and produce a graph with the minimal amount of equipment and materials. A lab was setup to conduct experiments and retrieve raw data. The data is then processed using a back projection algorithm in an attempt to produce an image of the water from within a nonmetallic pipe. The image...
We believe that enterprises and other organisations currently lack sophisticated methods and tools to determine if and how IT changes should be introduced in an organisation, such that objective, measurable goals are met. This is especially true when dealing with security-related IT decisions. We report on a feasibility study, Trust Economics, conducted to demonstrate that such methodology can ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید