Search - IFIP Open Digital Library Access content directly

Filter your results

50 results
Structure: Internal structure identifier : 301081
Page :
sorted by
Image document

Mobility Prediction Based Neighborhood Discovery in Mobile Ad Hoc Networks

 Xu Li , Nathalie Mitton , David Simplot-Ryl
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.241-253, ⟨10.1007/978-3-642-20757-0_19⟩
Conference papers inria-00598976v1
Image document

Estimating the Perceived Difficulty of Pen Gestures

 Radu Daniel Vatavu , Daniel Vogel , Géry Casiez , Laurent Grisoni
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbonne, Portugal. pp.89-106, ⟨10.1007/978-3-642-23771-3_9⟩
Conference papers inria-00638385v1
Image document

The Core Degree Based Tag Reduction on Chip Multiprocessor to Balance Energy Saving and Performance Overhead

 Long Zheng , Mianxiong Dong , Hai Jin , Minyi Guo , Song Guo , et al.
IFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.358-372, ⟨10.1007/978-3-642-15672-4_30⟩
Conference papers hal-01054972v1
Image document

Dynamic Service Placement in Shared Service Hosting Infrastructures

 Qi Zhang , Jin Xiao , Eren Gürses , Martin Karsten , Raouf Boutaba
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.251-264, ⟨10.1007/978-3-642-12963-6_20⟩
Conference papers hal-01056307v1
Image document

Topology-Awareness and Reoptimization Mechanism for Virtual Network Embedding

 Nabeel Farooq Butt , Mosharaf Chowdhury , Raouf Boutaba
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.27-39, ⟨10.1007/978-3-642-12963-6_3⟩
Conference papers hal-01056302v1
Image document

Survivable Virtual Network Embedding

 Muntasir Raihan Rahman , Issam Aib , Raouf Boutaba
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.40-52, ⟨10.1007/978-3-642-12963-6_4⟩
Conference papers hal-01056301v1
Image document

Human Work Interaction Design of the Smart University

 José Abdelnour-Nocera , Samia Oussena , Catherine Burns
4th IFIP 13.6 Working Conference on Human Work Interaction Design (HWID), Jun 2015, London, United Kingdom. pp.127-140, ⟨10.1007/978-3-319-27048-7_9⟩
Conference papers hal-01371692v1
Image document

Cognitive Work Analysis: New Dimensions

 Catherine Burns
3rd Human Work Interaction Design (HWID), Dec 2012, Copenhagen, Denmark. pp.1-11, ⟨10.1007/978-3-642-41145-8_1⟩
Conference papers hal-01463373v1
Image document

Dynamic Tangible User Interface Palettes

 Martin Spindler , Victor Cheung , Raimund Dachselt
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.159-176, ⟨10.1007/978-3-642-40498-6_12⟩
Conference papers hal-01510532v1
Image document

Segmentation of Breast Ultrasound Images Using Neural Networks

 Ahmed A. Othman , Hamid R. Tizhoosh
12th Engineering Applications of Neural Networks (EANN 2011) and 7th Artificial Intelligence Applications and Innovations (AIAI), Sep 2011, Corfu, Greece. pp.260-269, ⟨10.1007/978-3-642-23957-1_30⟩
Conference papers hal-01571364v1
Image document

Cascaded Window Memoization for Medical Imaging

 Farzad Khalvati , Mehdi Kianpour , Hamid R. Tizhoosh
12th Engineering Applications of Neural Networks (EANN 2011) and 7th Artificial Intelligence Applications and Innovations (AIAI), Sep 2011, Corfu, Greece. pp.275-284, ⟨10.1007/978-3-642-23960-1_33⟩
Conference papers hal-01571460v1
Image document

On the State Complexity of the Shuffle of Regular Languages

 Janusz Brzozowski , Galina Jirásková , Bo Liu , Aayush Rajasekaran , Marek Szykuła
18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.73-86, ⟨10.1007/978-3-319-41114-9_6⟩
Conference papers hal-01633943v1

Descriptional Complexity of Formal Systems

 Cezar Câmpeanu , Florin Manea , Jeffrey Shallit
Springer International Publishing, LNCS-9777, 2016, Lecture Notes in Computer Science, 978-3-319-41113-2. ⟨10.1007/978-3-319-41114-9⟩
Books hal-01633947v1
Image document

Unrestricted State Complexity of Binary Operations on Regular Languages

 Janusz Brzozowski
18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.60-72, ⟨10.1007/978-3-319-41114-9_5⟩
Conference papers hal-01633951v1
Image document

Naïve Security in a Wi-Fi World

 Colleen Swanson , Ruth Urner , Edward Lank
4th IFIP WG 11.11 International on Trust Management (TM), Jun 2010, Morioka, Japan. pp.32-47, ⟨10.1007/978-3-642-13446-3_3⟩
Conference papers hal-01061317v1
Image document

Leveraging a Social Network of Trust for Promoting Honesty in E-Marketplaces

 Jie Zhang , Robin Cohen , Kate Larson
4th IFIP WG 11.11 International on Trust Management (TM), Jun 2010, Morioka, Japan. pp.216-231, ⟨10.1007/978-3-642-13446-3_15⟩
Conference papers hal-01061329v1
Image document

Most Complex Non-returning Regular Languages

 Janusz A. Brzozowski , Sylvie Davies
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.89-101, ⟨10.1007/978-3-319-60252-3_7⟩
Conference papers hal-01656998v1
Image document

Searchable Encryption to Reduce Encryption Degradation in Adjustably Encrypted Databases

 Florian Kerschbaum , Martin Härterich
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.325-336, ⟨10.1007/978-3-319-61176-1_18⟩
Conference papers hal-01684354v1
Image document

HardIDX: Practical and Secure Index with SGX

 Ferdinand Brasser , Florian Hahn , Florian Kerschbaum , Ahmad-Reza Sadeghi , Benny Fuhry , et al.
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.386-408, ⟨10.1007/978-3-319-61176-1_22⟩
Conference papers hal-01684366v1
Image document

Privacy-Preserving Outlier Detection for Data Streams

 Jonas Böhler , Daniel Bernau , Florian Kerschbaum
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.225-238, ⟨10.1007/978-3-319-61176-1_12⟩
Conference papers hal-01684375v1
Image document

Loop Freedom in AODVv2

 Kedar S. Namjoshi , Richard J. Trefler
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.98-112, ⟨10.1007/978-3-319-19195-9_7⟩
Conference papers hal-01767329v1
Image document

Assessing Code Authorship: The Case of the Linux Kernel

 Guilherme Avelino , Leonardo Passos , Andre Hora , Marco Tulio Valente
13th IFIP International Conference on Open Source Systems (OSS), May 2017, Buenos Aires, Argentina. pp.151-163, ⟨10.1007/978-3-319-57735-7_15⟩
Conference papers hal-01776321v1
Image document

A New Technique for Reachability of States in Concatenation Automata

 Sylvie Davies
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.75-87, ⟨10.1007/978-3-319-94631-3_7⟩
Conference papers hal-01905633v1
Image document

Most Complex Deterministic Union-Free Regular Languages

 Janusz A. Brzozowski , Sylvie Davies
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.37-48, ⟨10.1007/978-3-319-94631-3_4⟩
Conference papers hal-01905640v1

Data and Applications Security and Privacy XXXII

 Florian Kerschbaum , Stefano Paraboschi
Springer International Publishing, LNCS-10980, 2018, Lecture Notes in Computer Science, 978-3-319-95728-9. ⟨10.1007/978-3-319-95729-6⟩
Books hal-01954400v1
Image document

Measures of Model Interpretability for Model Selection

 André Carrington , Paul Fieguth , Helen Chen
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.329-349, ⟨10.1007/978-3-319-99740-7_24⟩
Conference papers hal-02060060v1
Image document

Sustainability of Cascading Product Lifecycles: The Need for Adaptive Management to End-of-Life Supply Chains

 Matthias Kalverkamp , Alexandra Pehlken , Thorsten Wuest , Steven B. Young
15th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2018, Turin, Italy. pp.159-168, ⟨10.1007/978-3-030-01614-2_15⟩
Conference papers hal-02075572v1
Image document

A Comparative Study of Pointing Techniques for Eyewear Using a Simulated Pedestrian Environment

 Quentin Roy , Camelia Zakaria , Simon Perrault , Mathieu Nancel , Wonjung Kim , et al.
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.625-646, ⟨10.31219/osf.io/ktuy4⟩
Conference papers hal-02272539v1
Image document

Open Source Vulnerability Notification

 Brandon Carlson , Kevin Leach , Darko Marinov , Meiyappan Nagappan , Atul Prakash
15th IFIP International Conference on Open Source Systems (OSS), May 2019, Montreal, QC, Canada. pp.12-23, ⟨10.1007/978-3-030-20883-7_2⟩
Conference papers hal-02305712v1
Image document

Square, Power, Positive Closure, and Complementation on Star-Free Languages

 Sylvie Davies , Michal Hospodár
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.98-110, ⟨10.1007/978-3-030-23247-4_7⟩
Conference papers hal-02387295v1
Page :