Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

38 results
Page :
sorted by
Image document

A Labelling System for Derived Data Control

 Enrico Scalavino , Vaibhav Gowadia , Emil C. Lupu
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.65-80, ⟨10.1007/978-3-642-13739-6_5⟩
Conference papers hal-01056668v1
Image document

Tools for Performance Evaluation of Computer Systems: Historical Evolution and Perspectives

 Giuliano Casale , Marco Gribaudo , Giuseppe Serazzi
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.24-37, ⟨10.1007/978-3-642-25575-5_3⟩
Conference papers hal-01586901v1
Image document

Implementing Multiparty Session Types in Rust

 Nicolas Lagaillardie , Rumyana Neykova , Nobuko Yoshida
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.127-136, ⟨10.1007/978-3-030-50029-0_8⟩
Conference papers hal-03273998v1
Image document

An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus

 Steffen Van Bakel , Maria Grazia Vigliotti
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.372-387, ⟨10.1007/978-3-642-33475-7_26⟩
Conference papers hal-01556215v1
Image document

Modelling the Tradeoffs in Overlay-ISP Cooperation

 Miguel Rio , Raul Landa , Eleni Mykoniati , Richard G. Clegg , David Griffin
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.223-237, ⟨10.1007/978-3-642-30054-7_18⟩
Conference papers hal-01531952v1
Image document

On Dynamical Probabilities, or: How to Learn to Shoot Straight

 Herbert Wiklicky
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.262-277, ⟨10.1007/978-3-319-39519-7_16⟩
Conference papers hal-01631724v1
Image document

Session-ocaml: A Session-Based Library with Polarities and Lenses

 Keigo Imai , Nobuko Yoshida , Shoji Yuen
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.99-118, ⟨10.1007/978-3-319-59746-1_6⟩
Conference papers hal-01657342v1
Image document

Monitoring Networks through Multiparty Session Types

 Laura Bocchi , Tzu-Chun Chen , Romain Demangeon , Nobuko Yoshida , Kohei Honda
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.50-65, ⟨10.1007/978-3-642-38592-6_5⟩
Conference papers hal-01213683v1
Image document

Type Checking Privacy Policies in the π-calculus

 Dimitrios Kouzapas , Anna Philippou
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.181-195, ⟨10.1007/978-3-319-19195-9_12⟩
Conference papers hal-01767337v1
Image document

Personality Is Revealed During Weekends: Towards Data Minimisation for Smartphone Based Personality Classification

 Mohammed Khwaja , Aleksandar Matic
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.551-560, ⟨10.1007/978-3-030-29387-1_32⟩
Conference papers hal-02553930v1
Image document

An Auto-Scaling Cloud Controller Using Fuzzy Q-Learning - Implementation in OpenStack

 Hamid Arabnejad , Pooyan Jamshidi , Giovani Estrada , Nabil El Ioini , Claus Pahl
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.152-167, ⟨10.1007/978-3-319-44482-6_10⟩
Conference papers hal-01638601v1

Distributed Applications and Interoperable Systems

 Kostas Magoutis , Peter Pietzuch
Springer, LNCS-8460, 2014, Lecture Notes in Computer Science, 978-3-662-43351-5. ⟨10.1007/978-3-662-43352-2⟩
Books hal-01287760v1
Image document

Sparsity without the Complexity: Loss Localisation Using Tree Measurements

 Vijay Arya , Darryl Veitch
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.289-303, ⟨10.1007/978-3-642-30045-5_22⟩
Conference papers hal-01531123v1
Image document

A Content-Based Publish/Subscribe Matching Algorithm for 2D Spatial Objects

 Athanasios Konstantinidis , Antonio Carzaniga , Alexander L. Wolf
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.208-227, ⟨10.1007/978-3-642-25821-3_11⟩
Conference papers hal-01597775v1
Image document

Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

 Søren Debois , Thomas Hildebrandt , Tijs Slaats , Nobuko Yoshida
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43613-4_1⟩
Conference papers hal-01398004v1
Image document

Formalizing Threat Models for Virtualized Systems

 Daniele Sgandurra , Erisa Karafili , Emil Lupu
30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. pp.251-267, ⟨10.1007/978-3-319-41483-6_18⟩
Conference papers hal-01633687v1
Image document

Enforcing End-to-End Application Security in the Cloud

 Jean Bacon , David Evans , David M. Eyers , Matteo Migliavacca , Peter Pietzuch , et al.
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.293-312, ⟨10.1007/978-3-642-16955-7_15⟩
Conference papers hal-01055278v1
Image document

SafeWeb: A Middleware for Securing Ruby-Based Web Applications

 Petr Hosek , Matteo Migliavacca , Ioannis Papagiannis , David M. Eyers , David Evans , et al.
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.491-511, ⟨10.1007/978-3-642-25821-3_25⟩
Conference papers hal-01597759v1
Image document

Safe Parallel Programming with Session Java

 Nicholas Ng , Nobuko Yoshida , Olivier Pernet , Raymond Hu , Yiannos Kryftis
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.110-126, ⟨10.1007/978-3-642-21464-6_8⟩
Conference papers hal-01582999v1
Image document

Femtocell Coverage Optimisation Using Statistical Verification

 Tiejun Ma , Peter Pietzuch
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.343-354, ⟨10.1007/978-3-642-20757-0_27⟩
Conference papers hal-01583425v1
Image document

Adding Images to Psychometric Questionnaires to Improve User Engagement

 Mohammed Khwaja , Sarah Shepherd
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.621-625, ⟨10.1007/978-3-030-29390-1_49⟩
Conference papers hal-02878653v1
Image document

Using Trusted Execution Environments for Secure Stream Processing of Medical Data

 Carlos Segarra , Ricard Delgado-Gonzalo , Mathieu Lemay , Pierre-Louis Aublin , Peter Pietzuch , et al.
19th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2019, Kongens Lyngby, Denmark. pp.91-107, ⟨10.1007/978-3-030-22496-7_6⟩
Conference papers hal-02319566v1
Image document

Distributed Middleware Enforcement of Event Flow Security Policy

 Matteo Migliavacca , Ioannis Papagiannis , David M. Eyers , Brian Shand , Jean Bacon , et al.
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.334-354, ⟨10.1007/978-3-642-16955-7_17⟩
Conference papers hal-01055277v1
Image document

On Asynchronous Session Semantics

 Dimitrios Kouzapas , Nobuko Yoshida , Kohei Honda
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.228-243, ⟨10.1007/978-3-642-21461-5_15⟩
Conference papers hal-01583321v1
Image document

Exploiting Node Mobility for Coordinating Data Usage in Crisis Scenarios

 Giovanni Russello , Enrico Scalavino
4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP), Apr 2010, Passau, Germany. pp.355-367, ⟨10.1007/978-3-642-12368-9_29⟩
Conference papers hal-01056071v1
Image document

Architecturing Conflict Handling of Pervasive Computing Resources

 Henner Jakob , Charles Consel , Nicolas Loriant
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.92-105, ⟨10.1007/978-3-642-21387-8_8⟩
Conference papers inria-00581604v1
Image document

A Process Calculus for Dynamic Networks

 Dimitrios Kouzapas , Anna Philippou
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.213-227, ⟨10.1007/978-3-642-21461-5_14⟩
Conference papers hal-01583319v1
Image document

Simpler Coordination of JavaScript Web Workers

 Marco Krauweel , Sung-Shik Jongmans
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.40-58, ⟨10.1007/978-3-319-59746-1_3⟩
Conference papers hal-01657346v1
Image document

The Broker

 Bob Spence
2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.10-22, ⟨10.1007/978-3-642-19641-6_2⟩
Conference papers hal-01572653v1
Image document

Teaching Information Visualization via Creative Design

 Bob Spence
8th Workshop on Human-Computer Interaction and Visualization (HCIV), Sep 2011, Lisbon, Portugal. pp.3-7, ⟨10.1007/978-3-642-54894-9_1⟩
Conference papers hal-01414610v1
Page :