Search - IFIP Open Digital Library Access content directly

Filter your results

8 results
Structure: Internal structure identifier : 115889
Page :
sorted by
Image document

Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels

 Rajeev Alur , Jay Thakkar , Aditya Kanade
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.209-224, ⟨10.1007/978-3-642-38592-6_15⟩
Conference papers hal-01515246v1
Image document

Combining Outlier Detection with Random Walker for Automatic Brain Tumor Segmentation

 Vasileios G. Kanas , Evangelia I. Zacharaki , Evangelos Dermatas , Anastasios Bezerianos , Kyriakos Sgarbas , et al.
8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.26-35, ⟨10.1007/978-3-642-33412-2_3⟩
Conference papers hal-01523040v1
Image document

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems

 Hoang-Dung Tran , Luan Viet Nguyen , Patrick Musau , Weiming Xiang , Taylor T. Johnson
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.261-277, ⟨10.1007/978-3-030-21759-4_15⟩
Conference papers hal-02313744v1
Image document

BIDS: Bridgehead-Employed Image Distribution System for Cloud Data Centers

 Zhongzhao Wang , Yuebin Bai , Kun Cheng , Jihong Ma , Duo Lv , et al.
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.269-280, ⟨10.1007/978-3-662-44917-2_23⟩
Conference papers hal-01403093v1
Image document

Fuzzy Multi-channel Clustering with Individualized Spatial Priors for Segmenting Brain Lesions and Infarcts

 Evangelia I. Zacharaki , Guray Erus , Anastasios Bezerianos , Christos Davatzikos
8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.76-85, ⟨10.1007/978-3-642-33412-2_8⟩
Conference papers hal-01523052v1
Image document

A Program Logic for Verifying Secure Routing Protocols

 Chen Chen , Limin Jia , Hao Xu , Cheng Luo , Wenchao Zhou , et al.
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.117-132, ⟨10.1007/978-3-662-43613-4_8⟩
Conference papers hal-01398011v1
Image document

Analyzing BGP Instances in Maude

 Anduo Wang , Carolyn Talcott , Limin Jia , Boon Thau Loo , Andre Scedrov
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.334-348, ⟨10.1007/978-3-642-21461-5_22⟩
Conference papers hal-01583330v1
Image document

Classifying Ductal Tree Structures Using Topological Descriptors of Branching

 Angeliki Skoura , Vasileios Megalooikonomou , Predrag R. Bakic , Andrew Maidment
12th Engineering Applications of Neural Networks (EANN 2011) and 7th Artificial Intelligence Applications and Innovations (AIAI), Sep 2011, Corfu, Greece. pp.455-463, ⟨10.1007/978-3-642-23960-1_53⟩
Conference papers hal-01571496v1
Page :