Search - IFIP - Lecture Notes in Computer Science

443 results

Deposit type : Fulltext

level0_domain_s : Computer Science [cs]

	For these 443 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page : Page précédente 2 3 4 5 6 7 8 9 10 11 Page suivante	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		A Distributed Coordination Infrastructure for Attribute-Based Interaction Yehia Abd Alrahman , Rocco De Nicola , Giulio Garbi , Michele Loreti 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.1-20, ⟨10.1007/978-3-319-92612-4_1⟩ Conference papers hal-01824810v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Hierarchies and Undecidability Results for Iterative Arrays with Sparse Communication Andreas Malcher 24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.100-112, ⟨10.1007/978-3-319-92675-9_8⟩ Conference papers hal-01824868v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Labeled Network Stack: A Co-designed Stack for Low Tail-Latency and High Concurrency in Datacenter Services Wenli Zhang , Ke Liu , Hui Song , Lan Yu , Mingyu Chen 15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.132-136, ⟨10.1007/978-3-030-05677-3_12⟩ Conference papers hal-02279543v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		A Fuzzy Multi-criteria Decision Making Approach for Analyzing the Risks and Benefits of Opening Data Ahmad Luthfi , Zeenat Rehena , Marijn Janssen , Joep Crompvoets 17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.397-412, ⟨10.1007/978-3-030-02131-3_36⟩ Conference papers hal-02274163v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Aspects that Need to Be Addressed During the Development of Location-Based Games Jacques Barnard , Magda Huisman , Günther Drevin 17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.64-75, ⟨10.1007/978-3-319-99426-0_6⟩ Conference papers hal-02128622v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Trade-Off Between System Effectiveness and Context Constraints in the Design of an IoT System Giving Access to Health Care in African Rural Villages Joseph Aneke , Carmelo Ardito , Danilo Caivano , Lucio Colizzi , Loredana Verardi Cristian Bogdan; Kati Kuusinen; Marta Kristín Lárusdóttir; Philippe Palanque; Marco Winckler. 7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. Springer International Publishing, Lecture Notes in Computer Science, LNCS-11262, pp.343-351, 2019, Human-Centered Software Engineering. ⟨10.1007/978-3-030-05909-5_23⟩ Conference poster hal-02270702v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		A Layered Graphical Model for Cloud Forensic Mission Attack Impact Analysis Changwei Liu , Anoop Singhal , Duminda Wijesekera 14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.263-289, ⟨10.1007/978-3-319-99277-8_15⟩ Conference papers hal-01988841v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Integrating HCD into BizDevOps by Using the Subject-Oriented Approach Peter Forbrig , Anke Dittmar Cristian Bogdan; Kati Kuusinen; Marta Kristín Lárusdóttir; Philippe Palanque; Marco Winckler. 7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. Springer International Publishing, Lecture Notes in Computer Science, LNCS-11262, pp.327-334, 2019, Human-Centered Software Engineering. ⟨10.1007/978-3-030-05909-5_21⟩ Conference poster hal-02270707v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Clinical Text Mining for Context Sequences Identification Svetla Boytcheva 2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.223-236, ⟨10.1007/978-3-319-99740-7_15⟩ Conference papers hal-02060045v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Machine Learning Approach to Analyze and Predict the Popularity of Tweets with Images Nimish Joseph , Amir Sultan , Arpan Kumar Kar , P. Vigneswara Ilavarasan 17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.567-576, ⟨10.1007/978-3-030-02131-3_49⟩ Conference papers hal-02274178v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs Stefano Berardi , Makoto Tatsuta 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.13-33, ⟨10.1007/978-3-030-00389-0_3⟩ Conference papers hal-02044649v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Electronic Financial Disclosure: Islamic Banking vs Conventional Banking in GCC Adel M. Sarea , Abdalmuttaleb Musleh Al-Sartawi , Azam Abdelhakeem Khalid 17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.279-291, ⟨10.1007/978-3-030-02131-3_25⟩ Conference papers hal-02274193v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Automatic Ontology Learning from Heterogeneous Relational Databases: Application in Alimentation Risks Field Aicha Aggoune 6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.199-210, ⟨10.1007/978-3-319-89743-1_18⟩ Conference papers hal-01913894v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		On the Grammatical Complexity of Finite Languages Markus Holzer , Simon Wolfsteiner 20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.151-162, ⟨10.1007/978-3-319-94631-3_13⟩ Conference papers hal-01905630v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Linear-Time Limited Automata Bruno Guillon , Luca Prigioniero 20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.126-138, ⟨10.1007/978-3-319-94631-3_11⟩ Conference papers hal-01905632v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		The War on Corruption: The Role of Electronic Government João Martins , Bruno Fernandes , Ibrahim Rohman , Linda Veiga 17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.98-109, ⟨10.1007/978-3-319-98690-6_9⟩ Conference papers hal-01961520v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		A Multi-device Assistive System for Industrial Maintenance Operations Mario Heinz , Hitesh Dhiman , Carsten Röcker 2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.239-247, ⟨10.1007/978-3-319-99740-7_16⟩ Conference papers hal-02060051v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency Kim Völlinger , Samira Akili 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.161-180, ⟨10.1007/978-3-319-92612-4_9⟩ Conference papers hal-01824815v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		The Programmable Drone for STEM Education Patrik Voštinár , Dana Horváthová , Nika Klimová 17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.205-210, ⟨10.1007/978-3-319-99426-0_18⟩ Conference papers hal-02128591v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Designing ‘Wall Mounted Level’ – A Cooperative Mixed-Reality Game About Reconciliation Kyoung Swearingen , Scott Swearingen Esteban Clua; Licinio Roque; Artur Lugmayr; Pauliina Tuomi. 17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. Springer International Publishing, Lecture Notes in Computer Science, LNCS-11112, pp.284-288, 2018, Entertainment Computing – ICEC 2018. ⟨10.1007/978-3-319-99426-0_30⟩ Conference poster hal-02128585v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Implementation of Information Security in the EU Information Systems Maris Järvsoo , Alexander Norta , Valentyna Tsap , Ingrid Pappel , Dirk Draheim 17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.150-163, ⟨10.1007/978-3-030-02131-3_15⟩ Conference papers hal-02274159v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Acceptance and Use of Mobile Devices and Apps by Elderly People Blanka Klimova 17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.30-36, ⟨10.1007/978-3-030-02131-3_4⟩ Conference papers hal-02274186v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Generic Business Process Model for SMEs in M-Commerce Based on Talabat’s Case Study Fadi Safieddine , Imad Nakhoul 17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.264-278, ⟨10.1007/978-3-030-02131-3_24⟩ Conference papers hal-02274190v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Design of a Mixed-Reality Serious Game to Tackle a Public Health Problem Tiago França Melo Lima , João Paulo Ferreira Beltrame , Carlos Ramos Niquini , Breno Gonçalves Barbosa , Clodoveu Augusto Davis Esteban Clua; Licinio Roque; Artur Lugmayr; Pauliina Tuomi. 17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. Springer International Publishing, Lecture Notes in Computer Science, LNCS-11112, pp.305-309, 2018, Entertainment Computing – ICEC 2018. ⟨10.1007/978-3-319-99426-0_35⟩ Conference poster hal-02128602v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		On a New Method to Build Group Equivariant Operators by Means of Permutants Francesco Camporesi , Patrizio Frosini , Nicola Quercioli 2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.265-272, ⟨10.1007/978-3-319-99740-7_18⟩ Conference papers hal-02060057v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Workshop on Robot Competitions David Obdržálek , Richard Balogh , Artur Lugmayr Esteban Clua; Licinio Roque; Artur Lugmayr; Pauliina Tuomi. 17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. Springer International Publishing, Lecture Notes in Computer Science, LNCS-11112, pp.324-326, 2018, Entertainment Computing – ICEC 2018. ⟨10.1007/978-3-319-99426-0_38⟩ Conference poster hal-02128635v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Computational Ontologies for a Semantic Representation of the Islamic Knowledge Bendjamaa Fairouz , Taleb Nora 6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.37-46, ⟨10.1007/978-3-319-89743-1_4⟩ Conference papers hal-01913891v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Strategy of Effective Decision-Making in Planning and Elimination of Consequences of Emergency Situations Igor Grebennik , Viktor Reshetnik , Ata Ovezgeldyyev , Valerii Ivanov , Inna Urniaieva 3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.66-75, ⟨10.1007/978-3-030-32169-7_6⟩ Conference papers hal-02799290v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More

Filter your results

A Distributed Coordination Infrastructure for Attribute-Based Interaction

Hierarchies and Undecidability Results for Iterative Arrays with Sparse Communication

Labeled Network Stack: A Co-designed Stack for Low Tail-Latency and High Concurrency in Datacenter Services

A Fuzzy Multi-criteria Decision Making Approach for Analyzing the Risks and Benefits of Opening Data

Preserving Contract Satisfiability Under Non-monotonic Composition

Realtime Musical Composition System for Automatic Driving Vehicles

Aspects that Need to Be Addressed During the Development of Location-Based Games

Trade-Off Between System Effectiveness and Context Constraints in the Design of an IoT System Giving Access to Health Care in African Rural Villages

A Layered Graphical Model for Cloud Forensic Mission Attack Impact Analysis

Integrating HCD into BizDevOps by Using the Subject-Oriented Approach

Clinical Text Mining for Context Sequences Identification

Machine Learning Approach to Analyze and Predict the Popularity of Tweets with Images

Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs

Electronic Financial Disclosure: Islamic Banking vs Conventional Banking in GCC

Automatic Ontology Learning from Heterogeneous Relational Databases: Application in Alimentation Risks Field

On the Grammatical Complexity of Finite Languages

Linear-Time Limited Automata

The War on Corruption: The Role of Electronic Government

A Multi-device Assistive System for Industrial Maintenance Operations

On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency

The Programmable Drone for STEM Education

Designing ‘Wall Mounted Level’ – A Cooperative Mixed-Reality Game About Reconciliation

Implementation of Information Security in the EU Information Systems

Acceptance and Use of Mobile Devices and Apps by Elderly People

Generic Business Process Model for SMEs in M-Commerce Based on Talabat’s Case Study

Design of a Mixed-Reality Serious Game to Tackle a Public Health Problem

On a New Method to Build Group Equivariant Operators by Means of Permutants

Workshop on Robot Competitions

Computational Ontologies for a Semantic Representation of the Islamic Knowledge

Strategy of Effective Decision-Making in Planning and Elimination of Consequences of Emergency Situations