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

Filter your results

23 results
Page :
sorted by
Image document

Co-managing Software and Hardware Modules through the Juggle Middleware

 Jan S. Rellermeyer , Ramon Küpfer
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.431-450, ⟨10.1007/978-3-642-25821-3_22⟩
Conference papers hal-01597778v1

Software Engineering Techniques

 Zbigniew Huzar , Radek Koci , Bertrand Meyer , Bartosz Walter , Jaroslav Zendulka
Springer, LNCS-4980, 2011, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-22386-0⟩
Books hal-01572533v1
Image document

On the Vulnerability of Hardware Hash Tables to Sophisticated Attacks

 Udi Ben-Porat , Anat Bremler-Barr , Hanoch Levy , Bernhard Plattner
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.135-148, ⟨10.1007/978-3-642-30045-5_11⟩
Conference papers hal-01531139v1
Image document

A Cellular Automaton for Blocking Queen Games

 Matthew Cook , Urban Larsson , Turlough Neary
21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.71-84, ⟨10.1007/978-3-662-47221-7_6⟩
Conference papers hal-01442483v1
Image document

How Dangerous Is Internet Scanning?

 Elias Raftopoulos , Eduard Glatz , Xenofontas Dimitropoulos , Alberto Dainotti
7th Workshop on Traffic Monitoring and Analysis (TMA), Apr 2015, Barcelona, Spain. pp.158-172, ⟨10.1007/978-3-319-17172-2_11⟩
Conference papers hal-01411192v1
Image document

Playback Policies for Live and On-Demand P2P Video Streaming

 Fabio V. Hecht , Thomas Bocek , Flávio Roberto Santos , Burkhard Stiller
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.15-28, ⟨10.1007/978-3-642-30054-7_2⟩
Conference papers hal-01531950v1
Image document

Enabling Efficient Placement of Virtual Infrastructures in the Cloud

 Ioana Giurgiu , Claris Castillo , Asser Tantawi , Malgorzata Steinder
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.332-353, ⟨10.1007/978-3-642-35170-9_17⟩
Conference papers hal-01555551v1
Image document

Virtualizing Stream Processing

 Michael Duller , Jan S. Rellermeyer , Gustavo Alonso , Nesime Tatbul
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.269-288, ⟨10.1007/978-3-642-25821-3_14⟩
Conference papers hal-01597774v1
Image document

Static Type Analysis of Pattern Matching by Abstract Interpretation

 Pietro Ferrara
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.186-200, ⟨10.1007/978-3-642-13464-7_15⟩
Conference papers hal-01055154v1
Image document

Safe and Efficient Data Sharing for Message-Passing Concurrency

 Benjamin Morandi , Sebastian Nanz , Bertrand Meyer
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.99-114, ⟨10.1007/978-3-662-43376-8_7⟩
Conference papers hal-01290070v1
Image document

Forwarding Accountability: A Challenging Necessity of the Future Data Plane

 Christos Pappas , Raphael M. Reischuk , Adrian Perrig
International Workshop on Open Problems in Network Security (iNetSec), Oct 2015, Zurich, Switzerland. pp.3-10, ⟨10.1007/978-3-319-39028-4_1⟩
Conference papers hal-01445789v1
Image document

Treewidth Computation and Kernelization in the Parallel External Memory Model

 Riko Jacob , Tobias Lieber , Matthias Mnich
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.78-89, ⟨10.1007/978-3-662-44602-7_7⟩
Conference papers hal-01402030v1
Image document

GazeLens: Guiding Attention to Improve Gaze Interpretation in Hub-Satellite Collaboration

 Khanh-Duy Le , Ignacio Avellino , Cédric Fleury , Morten Fjeld , Andreas Kunz
INTERACT 2019 - 17th IFIP Conference on Human-Computer Interaction, Sep 2019, Paphos, Cyprus. pp.282-303, ⟨10.1007/978-3-030-29384-0_18⟩
Conference papers hal-02183386v1
Image document

Dynamic Software Deployment from Clouds to Mobile Devices

 Ioana Giurgiu , Oriana Riva , Gustavo Alonso
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.394-414, ⟨10.1007/978-3-642-35170-9_20⟩
Conference papers hal-01555562v1
Image document

Tag Systems and the Complexity of Simple Programs

 Turlough Neary , Damien Woods
21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.11-16, ⟨10.1007/978-3-662-47221-7_2⟩
Conference papers hal-01442479v1
Image document

On Building Onion Routing into Future Internet Architectures

 Daniele E. Asoni , Chen Chen , David Barrera , Adrian Perrig
International Workshop on Open Problems in Network Security (iNetSec), Oct 2015, Zurich, Switzerland. pp.71-81, ⟨10.1007/978-3-319-39028-4_6⟩
Conference papers hal-01445794v1
Image document

Primal Infon Logic with Conjunctions as Sets

 Carlos Cotrini , Yuri Gurevich , Ori Lahav , Artem Melentyev
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.236-249, ⟨10.1007/978-3-662-44602-7_19⟩
Conference papers hal-01402046v1
Image document

An Interference-Free Programming Model for Network Objects

 Bertrand Meyer , Mischael Schill , Christopher M. Poskitt
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.227-244, ⟨10.1007/978-3-319-39519-7_14⟩
Conference papers hal-01631712v1
Image document

Multi-threaded Active Objects

 Ludovic Henrio , Fabrice Huet , Zsolt István
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.90-104, ⟨10.1007/978-3-642-38493-6_7⟩
Conference papers hal-01486037v1
Image document

2-State 2-Symbol Turing Machines with Periodic Support Produce Regular Sets

 Turlough Neary
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.274-286, ⟨10.1007/978-3-319-60252-3_22⟩
Conference papers hal-01657010v1

Advances in Software Engineering Techniques

 David Hutchison , Takeo Kanade , Josef Kittler , Jon M. Kleinberg , Friedemann Mattern , et al.
Springer, LNCS-7054, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-28038-2⟩
Books hal-01527391v1
Image document

Randomly Partitioned Encryption for Cloud Databases

 Tahmineh Sanamrad , Lucas Braun , Donald Kossmann , Ramarathnam Venkatesan
28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2014, Vienna, Austria. pp.307-323, ⟨10.1007/978-3-662-43936-4_20⟩
Conference papers hal-01284865v1
Image document

Inline Data Integrity Signals for Passive Measurement

 Brian Trammell , David Gugelmann , Nevil Brownlee
6th International Workshop on Traffic Monitoring and Analysis (TMA), Apr 2014, London, United Kingdom. pp.15-25, ⟨10.1007/978-3-642-54999-1_2⟩
Conference papers hal-01396468v1
Page :