Titlebook: Inductive Logic Programming; 22nd International C Fabrizio Riguzzi,Filip ?elezny Conference proceedings 2013 Springer-Verlag Berlin Heidelb

Brain-Waves

ack surface it may introduce. For this paper, the basic taxonomy of dependable and secure computing is used to conduct a dependability analysis of the AFDX frame management design. An OMNeT++ model simulation of an AFDX network is used to demonstrate potential attacks. Considerations for solutions f

使隔離

CRASS

爭(zhēng)吵

Soufiane El Jelali,Agnès Braud,Nicolas Lachichee used in order to both increase safety and reliability of a neural network in a medical device. We use a combination of online and offline tests to detect undesired behavior. Online tests are performed in regular intervals during therapy and offline tests are performed when the device is not perfor

壓倒性勝利

Tanveer A. Faruquie,Ashwin Srinivasan,Ross D. Kinge used in order to both increase safety and reliability of a neural network in a medical device. We use a combination of online and offline tests to detect undesired behavior. Online tests are performed in regular intervals during therapy and offline tests are performed when the device is not perfor

令人心醉

Daan Fierens,Kristian Kersting,Jesse Davis,Jian Chen,Martin Mladenovtracts. The proposed safety-case architecture is analyzed against possible product-line changes and it is shown that it is robust both with respect to fine and coarse-grained, and also product and implementation-level changes. The proposed modular safety case is exemplified on a simplified, but real

nettle

Tiago Gomes,Vítor Santos Costa..Our approach of using BaCs to identify recoverable states is computationally cheaper and potentially more accurate (less conservative) than existing approaches based on state-space exploration. We apply our technique to two hybrid systems: a water tank pump and a stop-sign-obeying controller for a

HILAR

Takahiro Hino,Yusuke Suzuki,Tomoyuki Uchida,Yuko Itokawasafety properties, a design-time method to automatically generate schedules for different modes of operations from declaratively defined requirements is established. To cope with the inherent computational complexity, heuristics are developed to effectively narrow the problem space. Subsequently, th

江湖騙子

代理人

Ond?ej Ku?elka,Andrea Szabóová,Filip ?eleznysafety properties, a design-time method to automatically generate schedules for different modes of operations from declaratively defined requirements is established. To cope with the inherent computational complexity, heuristics are developed to effectively narrow the problem space. Subsequently, th