Noninvasive Methods for Host Certification
نویسندگان
چکیده
منابع مشابه
islanding detection methods for microgrids
امروزه استفاده از منابع انرژی پراکنده کاربرد وسیعی یافته است . اگر چه این منابع بسیاری از مشکلات شبکه را حل می کنند اما زیاد شدن آنها مسائل فراوانی برای سیستم قدرت به همراه دارد . استفاده از میکروشبکه راه حلی است که علاوه بر استفاده از مزایای منابع انرژی پراکنده برخی از مشکلات ایجاد شده توسط آنها را نیز منتفی می کند . همچنین میکروشبکه ها کیفیت برق و قابلیت اطمینان تامین انرژی مشترکان را افزایش ...
15 صفحه اولSoftware Certification : Methods and Tools
With the pervasive deployment of software in dependable systems used in everyday life, society is increasingly demanding that software used in critical systems must meet minimum safety, security and reliability standards. Certification is the procedure by which an authorized person or agency assesses and verifies characteristics of a system or product in accordance with established requirements...
متن کاملNoninvasive diagnostic methods for Helicobacter pylori infection.
Helicobacter pylori is one of the most frequently occurring and persistent bacterial infections worldwide. H. pylori bacteria are associated with peptic ulcer disease, mucosaassociated lymphoid tissue lymphoma, and gastric cancer. Various diagnostic methods are used to detect H. pylori infection. However, only highly accurate tests with 90% sensitivity and 90% specificity should be used in clin...
متن کاملFormal Methods for the Certification of Autonomous Unmanned Aircraft Systems
In this paper we assess the feasibility of using formal methods, and model checking in particular, for the certification of Unmanned Aircraft Systems (UAS) within civil airspace. We begin by modelling a basic UAS control system in PROMELA, and verify it against a selected subset of the CAA’s Rules of the Air using the SPIN model checker. Next we build a more advanced UAS control system using th...
متن کاملCertification Under Uncertainties of Control Methods for Multisource Elevators
As the interest in regulating energy usage and participating in the demand-response market is growing, new energy management algorithms emerge. Energy consumption of elevators represents about 5% of the overall consumption of a building. Thus, improving energy performance of elevators becomes a relevant challenge. In this paper, a method is described to assist potential customers in choosing th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Information and System Security
سال: 2008
ISSN: 1094-9224,1557-7406
DOI: 10.1145/1341731.1341737