Search - IFIP Open Digital Library Access content directly

Filter your results

15 results
Structure: Internal structure identifier : 237693
Image document

Using Diffusive Load Balancing to Improve Performance of Peer-to-Peer Systems for Hosting Services

Ying Qiao , Gregor V. Bochmann
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.124-135, ⟨10.1007/978-3-642-21484-4_15⟩
Conference papers hal-01585855v1
Image document

Weak Compactness in the Space of Operator Valued Measures and Optimal Control

Nasiruddin Ahmed
25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.49-58, ⟨10.1007/978-3-642-36062-6_5⟩
Conference papers hal-01347522v1
Image document

Conformance Testing with Respect to Partial-Order Specifications

Gregor Von Bochmann
28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.3-17, ⟨10.1007/978-3-319-47443-4_1⟩
Conference papers hal-01643719v1
Image document

A Personalized Location Aware Multi-Criteria Recommender System Based on Context-Aware User Preference Models

Salvador Valencia Rodríguez , Herna Lydia Viktor
9th Artificial Intelligence Applications and Innovations (AIAI), Sep 2013, Paphos, Greece. pp.30-39, ⟨10.1007/978-3-642-41142-7_4⟩
Conference papers hal-01459641v1
Image document

Reasoning with Key Performance Indicators

Daniele Barone , Lei Jiang , Daniel Amyot , John Mylopoulos
4th Practice of Enterprise Modeling (PoEM), Nov 2011, Oslo, Norway. pp.82-96, ⟨10.1007/978-3-642-24849-8_7⟩
Conference papers hal-01572391v1
Image document

Improved Usage Model for Web Application Reliability Testing

Gregor V. Bochmann , Guy-Vincent Jourdan , Bo Wan
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.15-31, ⟨10.1007/978-3-642-24580-0_3⟩
Conference papers hal-01583914v1
Image document

Modeling Practices in Open Source Software

Omar Badreddin , Timothy C. Lethbridge , Maged Elassar
9th Open Source Software (OSS), Jun 2013, Koper-Capodistria, Slovenia. pp.127-139, ⟨10.1007/978-3-642-38928-3_9⟩
Conference papers hal-01467586v1
Image document

Reconstructing Interactions with Rich Internet Applications from HTTP Traces

Sara Baghbanzadeh , Salman Hooshmand , Gregor Bochmann , Guy-Vincent Jourdan , Seyed Mirtaheri , et al.
12th IFIP International Conference on Digital Forensics (DF), Jan 2016, New Delhi, India. pp.147-164, ⟨10.1007/978-3-319-46279-0_8⟩
Conference papers hal-01758682v1
Image document

Virtual Reference Feedback Tuning of MIMO Data-Driven Model-Free Adaptive Control Algorithms

Raul-Cristian Roman , Mircea-Bogdan Radac , Radu-Emil Precup , Emil M. Petriu
7th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2016, Costa de Caparica, Portugal. pp.253-260, ⟨10.1007/978-3-319-31165-4_25⟩
Conference papers hal-01438250v1
Image document

Maximizing Lifetime of Connected-Dominating-Set in Cognitive Radio Networks

Zhiyong Lin , Hai Liu , Xiaowen Chu , Yiu-Wing Leung , Ivan Stojmenovic
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.316-330, ⟨10.1007/978-3-642-30054-7_25⟩
Conference papers hal-01531957v1
Image document

An Electrohydrodynamic Equilibrium Shape Problem for Polymer Electrolyte Membranes in Fuel Cells

Sven-Joachim Kimmerle , Peter Berg , Arian Novruzi
25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.387-396, ⟨10.1007/978-3-642-36062-6_39⟩
Conference papers hal-01347560v1
Image document

ContracT – from Legal Contracts to Formal Specifications: Preliminary Results

Michele Soavi , Nicola Zeni , John Mylopoulos , Luisa Mich
13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020), Nov 2020, Riga, Latvia. pp.124-137, ⟨10.1007/978-3-030-63479-7_9⟩
Conference papers hal-03434644v1
Image document

Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation

Canan Güniçen , Guy-Vincent Jourdan , Hüsnü Yenigün
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.19-34, ⟨10.1007/978-3-319-25945-1_2⟩
Conference papers hal-01470155v1
Image document

Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility

Arnaud Casteigts , Paola Flocchini , Bernard Mans , Nicola Santoro
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.111-124, ⟨10.1007/978-3-642-15240-5_9⟩
Conference papers hal-01054440v1
Image document

A Battle of Wit: Applying Computational Humour to Game Design

Dormann Claire
14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.72-85, ⟨10.1007/978-3-319-24589-8_6⟩
Conference papers hal-01758416v1