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

Filter your results

30 results
Keywords : composition
Page :
sorted by
Image document

Merging Cellular Automata Rules to Optimise a Solution to the Modulo-n Problem

 Claudio M. Martins , Pedro De Oliveira
21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.196-209, ⟨10.1007/978-3-662-47221-7_15⟩
Conference papers hal-01442473v1
Image document

Compliance and Subtyping in Timed Session Types

 Massimo Bartoletti , Tiziana Cimoli , Maurizio Murgia , Alessandro Sebastian Podda , Livio Pompianu
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.161-177, ⟨10.1007/978-3-319-19195-9_11⟩
Conference papers hal-01767334v1
Image document

OntoCompo: A Tool to Enhance Application Composition

 Christian Brel , Anne-Marie Déry-Pinna , Philippe Renevier-Gonin , Michel Riveill
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbone, Portugal. pp.588-591, ⟨10.1007/978-3-642-23768-3_89⟩
Conference papers hal-01302169v1
Image document

Information-Gathering Events in Story Plots

 Fabio Silva , Antonio L. Furtado , Angelo Ciarlini , Cesar Tadeu Pozzer , Bruno Feijó , et al.
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.30-44, ⟨10.1007/978-3-642-33542-6_3⟩
Conference papers hal-01556132v1
Image document

Dynamic Choreographies Safe Runtime Updates of Distributed Applications

 Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩
Conference papers hal-01227612v1
Image document

Squeezing Streams and Composition of Self-stabilizing Algorithms

 Karine Altisen , Pierre Corbineau , Stéphane Devismes
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.21-38, ⟨10.1007/978-3-030-21759-4_2⟩
Conference papers hal-02313746v1
Image document

Economic Aspects of Service Composition: Price Negotiations and Quality Investments

 Sonja Brangewitz , Simon Hoof
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.201-215, ⟨10.1007/978-3-319-44482-6_13⟩
Conference papers hal-01638597v1
Image document

Reasoning About Firewall Policies Through Refinement and Composition

 Ultan Neville , Simon N. Foley
30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. pp.268-284, ⟨10.1007/978-3-319-41483-6_19⟩
Conference papers hal-01633676v1
Image document

Cooperative Data Access in Multi-cloud Environments

 Meixing Le , Krishna Kant , Sushil Jajodia
23th Data and Applications Security (DBSec), Jul 2011, Richmond, VA, United States. pp.14-28, ⟨10.1007/978-3-642-22348-8_4⟩
Conference papers hal-01586583v1
Image document

End-to-End Network Slicing in Support of Latency-Sensitive 5G Services

 Rafael Montero , Fernando Agraz , Albert Pagès , Salvatore Spadaro
23th International IFIP Conference on Optical Network Design and Modeling (ONDM), May 2019, Athens, Greece. pp.51-61, ⟨10.1007/978-3-030-38085-4_5⟩
Conference papers hal-03200689v1
Image document

Optimal Service Function Chain Composition in Network Functions Virtualization

 Andrés F. Ocampo , Juliver Gil-Herrera , Pedro H. Isolani , Miguel C. Neves , Juan F. Botero , et al.
11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.62-76, ⟨10.1007/978-3-319-60774-0_5⟩
Conference papers hal-01806068v1
Image document

Code Generation for a Bi-dimensional Composition Mechanism

 Jacky Estublier , Anca Daniela Ionita , Tam Nguyen
3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. pp.171-185, ⟨10.1007/978-3-642-22386-0_13⟩
Conference papers hal-01572540v1
Image document

Deployable Self-contained Workflow Models

 Benjamin Weder , Uwe Breitenbücher , Kálmán Képes , Frank Leymann , Michael Zimmermann
8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.85-96, ⟨10.1007/978-3-030-44769-4_7⟩
Conference papers hal-03203251v1
Image document

Multi-agent System Based Service Composition in the Internet of Things

 Samir Berrani , Ali Yachir , Badis Djamaa , Mohamed Aissani
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.521-532, ⟨10.1007/978-3-319-89743-1_45⟩
Conference papers hal-01913920v1
Image document

A Decentralized Approach to Network-Aware Service Composition

 Valeria Cardellini , Mirko D’angelo , Vincenzo Grassi , Moreno Marzolla , Raffaela Mirandola
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.34-48, ⟨10.1007/978-3-319-24072-5_3⟩
Conference papers hal-01757563v1
Image document

Realtime Musical Composition System for Automatic Driving Vehicles

 Yoichi Nagashima
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.217-222, ⟨10.1007/978-3-319-99426-0_20⟩
Conference papers hal-02128642v1
Image document

Test-Enhanced Life Cycle for Composed IoT-Based Services

 Daniel Kuemper , Eike Steffen Reetz , Daniel Hölker , Ralf Tönjes
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.314-319, ⟨10.1007/978-3-642-40552-5_32⟩
Conference papers hal-01497032v1
Image document

Preserving Contract Satisfiability Under Non-monotonic Composition

 Jonas Westman , Mattias Nyberg
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.181-195, ⟨10.1007/978-3-319-92612-4_10⟩
Conference papers hal-01824811v1
Image document

WS-SM: Web Services - Secured Messaging Framework with Pluggable APIs

 Kanchana Rajaram , Chitra Babu
3rd International Conference on Computational Intelligence in Data Science (ICCIDS), Feb 2020, Chennai, India. pp.233-247, ⟨10.1007/978-3-030-63467-4_19⟩
Conference papers hal-03434801v1
Image document

Towards Conflict Management in User Interface Composition Driven by Business Needs

 Audrey Occello , Anne-Marie Déry-Pinna , Michel Riveill
4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.233-250, ⟨10.1007/978-3-642-34347-6_14⟩
Conference papers hal-01342108v1
Image document

Verification of concurrent design patterns with data

 Simon Bliudze , Ludovic Henrio , Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers hal-02143782v1
Image document

A Heterogeneous Approach for Developing Applications with FIWARE GEs

 Simone Di Cola , Cuong Tran , Kung-Kiu Lau , Antonio Celesti , Maria Fazio
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.65-79, ⟨10.1007/978-3-319-24072-5_5⟩
Conference papers hal-01757575v1
Image document

The Polynomial Composition Problem in (ℤ/nℤ)[X]

 Marc Joye , David Naccache , Stéphanie Porte
9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.1-12, ⟨10.1007/978-3-642-12510-2_1⟩
Conference papers hal-01056103v1
Image document

Experiments in Model Driven Composition of User Interfaces

 Audrey Occello , Cedric Joffroy , Anne-Marie Déry-Pinna , Philippe Renevier-Gonin , Michel Riveill
10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.98-111, ⟨10.1007/978-3-642-13645-0_8⟩
Conference papers hal-01307121v1
Image document

TIDE: Lightweight Device Composition for Enhancing Tabletop Environments with Smartphone Applications

 Léo Sicard , Aurélien Tabard , Juan David Hincapié-Ramos , Jakob E. Bardram
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.177-194, ⟨10.1007/978-3-642-40498-6_13⟩
Conference papers hal-01510534v1
Image document

Optimizing the Delivery Chain in Heterogenous Networks

 Xavier Sanchez-Loro , Josep Paradells , Jordi Casademont , José Luís Ferrer
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.207-219, ⟨10.1007/978-3-642-21560-5_18⟩
Conference papers hal-01583646v1
Image document

Dynamic Composition of Cross-Organizational Features in Distributed Software Systems

 Stefan Walraven , Bert Lagaisse , Eddy Truyen , Wouter Joosen
10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.183-197, ⟨10.1007/978-3-642-13645-0_14⟩
Conference papers hal-01061086v1
Image document

ToCoPlay: Graphical Multi-touch Interaction for Composing and Playing Music

 Sheelagh Carpendale , Sean Lynch , Miguel A. Nacenta
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.306-322, ⟨10.1007/978-3-642-23765-2_22⟩
Conference papers hal-01591798v1
Image document

Application Composition Driven by UI Composition

 Christian Brel , Philippe Renevier-Gonin , Audrey Occello , Anne-Marie Déry-Pinna , Catherine Faron Zucker , et al.
Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.198-205, ⟨10.1007/978-3-642-16488-0_17⟩
Conference papers hal-01302948v1
Image document

Types for Deadlock-Free Higher-Order Programs

 Luca Padovani , Luca Novara
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.3-18, ⟨10.1007/978-3-319-19195-9_1⟩
Conference papers hal-01767327v1
Page :