Search - IFIP Open Digital Library Access content directly

Filter your results

13 results
Structure: Internal structure identifier : 300765
Image document

The Coarsest Precongruences Respecting Safety and Liveness Properties

Robert Jan Glabbeek
6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.32-52, ⟨10.1007/978-3-642-15240-5_3⟩
Conference papers hal-01054444v1
Image document

Investigating the Nature of Routing Anomalies: Closing in on Subprefix Hijacking Attacks

Johann Schlamp , Ralph Holz , Oliver Gasser , Andreas Korsten , Quentin Jacquemart , et al.
7th Workshop on Traffic Monitoring and Analysis (TMA), Apr 2015, Barcelona, Spain. pp.173-187, ⟨10.1007/978-3-319-17172-2_12⟩
Conference papers hal-01411193v1
Image document

Information Sharing and User Privacy in the Third-Party Identity Management Landscape

Anna Vapen , Niklas Carlsson , Anirban Mahanti , Nahid Shahmehri
30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.174-188, ⟨10.1007/978-3-319-18467-8_12⟩
Conference papers hal-01345104v1
Image document

A Longitudinal Study of Small-Time Scaling Behavior of Internet Traffic

Himanshu Gupta , Vinay J. Ribeiro , Anirban Mahanti
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.83-95, ⟨10.1007/978-3-642-12963-6_7⟩
Conference papers hal-01056299v1
Image document

Dynamic Workload Adjustments in Human-Machine Systems Based on GSR Features

Jianlong Zhou , Ju Young Jung , Fang Chen
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.550-558, ⟨10.1007/978-3-319-22701-6_40⟩
Conference papers hal-01599661v1
Image document

Pattern Matching and Bisimulation

Thomas Given-Wilson , Daniele Gorla
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.60-74, ⟨10.1007/978-3-642-38493-6_5⟩
Conference papers hal-01486035v1
Image document

State of the Practice in Software Effort Estimation: A Survey and Literature Review

Adam Trendowicz , Jürgen Münch , Ross Jeffery
3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. pp.232-245, ⟨10.1007/978-3-642-22386-0_18⟩
Conference papers hal-01572546v1
Image document

Toward Efficient On-Demand Streaming with BitTorrent

Youmna Borghol , Sebastien Ardon , Niklas Carlsson , Anirban Mahanti
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.53-66, ⟨10.1007/978-3-642-12963-6_5⟩
Conference papers hal-01056300v1
Image document

Anomalous Behavior Detection in Crowded Scenes Using Clustering and Spatio-Temporal Features

Meng Yang , Sutharshan Rajasegarar , Aravinda S. Rao , Christopher Leckie , Marimuthu Palaniswami
9th International Conference on Intelligent Information Processing (IIP), Nov 2016, Melbourne, VIC, Australia. pp.132-141, ⟨10.1007/978-3-319-48390-0_14⟩
Conference papers hal-01614999v1
Image document

Using Torrent Inflation to Efficiently Serve the Long Tail in Peer-Assisted Content Delivery Systems

Niklas Carlsson , Derek L. Eager , Anirban Mahanti
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.1-14, ⟨10.1007/978-3-642-12963-6_1⟩
Conference papers hal-01056308v1
Image document

Overview of the Health Informatics Research Field: A Bibliometric Approach

Hai-Ning Liang
First IMIA/IFIP Joint Symposium on E-Health (E-HEALTH) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.37-48, ⟨10.1007/978-3-642-15515-4_5⟩
Conference papers hal-01054848v1
Image document

Heterogeneous Secure Multi-Party Computation

Mentari Djatmiko , Mathieu Cunche , Roksana Boreli , Aruna Seneviratne
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.198-210, ⟨10.1007/978-3-642-30054-7_16⟩
Conference papers hal-00747844v1
Image document

The Effect of Stress on Cognitive Load Measurement

Dan Conway , Ian Dick , Zhidong Li , Yang Wang , Fang Chen
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.659-666, ⟨10.1007/978-3-642-40498-6_58⟩
Conference papers hal-01510522v1