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

Filter your results

443 results
Deposit type : Fulltext
level0_domain_s : Computer Science [cs]
Page :
sorted by
Image document

Most Complex Deterministic Union-Free Regular Languages

 Janusz A. Brzozowski , Sylvie Davies
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.37-48, ⟨10.1007/978-3-319-94631-3_4⟩
Conference papers hal-01905640v1
Image document

Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs

 Miguel Ferreira , Nelma Moreira , Rogério Reis
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.88-100, ⟨10.1007/978-3-319-94631-3_8⟩
Conference papers hal-01905623v1
Image document

Finite Automata with Undirected State Graphs

 Martin Kutrib , Andreas Malcher , Christian Schneider
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.212-223, ⟨10.1007/978-3-319-94631-3_18⟩
Conference papers hal-01905634v1
Image document

Ontology Based Data Management: A Study in a Brazilian Federal Agency

 Márcia Myuki Takenaka Fujimoto , Edna Dias Canedo
17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.144-154, ⟨10.1007/978-3-319-98690-6_13⟩
Conference papers hal-01961528v1
Image document

An Obstacle-Aware Clustering Protocol for Wireless Sensor Networks with Irregular Terrain

 Riham Elhabyan , Wei Shi , Marc St-Hilaire
International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2018, Boston, MA, United States. pp.54-66, ⟨10.1007/978-3-030-02931-9_5⟩
Conference papers hal-02269728v1
Image document

Parameterized Strategies Specification in Maude

 Rubén Rubio , Narciso Martí-Oliet , Isabel Pita , Alberto Verdejo
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.27-44, ⟨10.1007/978-3-030-23220-7_2⟩
Conference papers hal-02364577v1
Image document

Selecting Web Service Compositions Under Uncertain QoS

 Remaci Zeyneb Yasmina , Hadjila Fethallah , Didi Fedoua
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.622-634, ⟨10.1007/978-3-319-89743-1_53⟩
Conference papers hal-01913865v1
Image document

Using a Social-Based Collaborative Filtering with Classification Techniques

 Lamia Berkani
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.267-278, ⟨10.1007/978-3-319-89743-1_24⟩
Conference papers hal-01913883v1
Image document

Effective Streaming Evolutionary Feature Selection Using Dynamic Optimization

 Abdennour Boulesnane , Souham Meshoul
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.329-340, ⟨10.1007/978-3-319-89743-1_29⟩
Conference papers hal-01913889v1
Image document

Examining the Factors Affecting Behavioural Intention to Adopt Mobile Health in Jordan

 Ali Alalwan , Abdullah M. Baabdullah , Nripendra Rana , Yogesh Dwivedi , Fadia Hudaib , et al.
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.459-467, ⟨10.1007/978-3-030-02131-3_41⟩
Conference papers hal-02274160v1
Image document

A Critical Review of Empirical Research Examining SMEs Adoption from Selected Journals

 S. S. Abed
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.577-587, ⟨10.1007/978-3-030-02131-3_50⟩
Conference papers hal-02274176v1
Image document

Business Modeling and Flexibility in Software-Intensive Product Development - A Systematic Literature Review

 Magnus Wilson , Krzysztof Wnuk
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.292-304, ⟨10.1007/978-3-030-02131-3_26⟩
Conference papers hal-02274151v1
Image document

Urban Media Trends for Enabling Citizen Participation in Urban Planning: Old Wine in New Barrels?

 Bert P. Groot , Robin Effing , Mettina Veenstra
10th International Conference on Electronic Participation (ePart), Sep 2018, Krems, Austria. pp.51-63, ⟨10.1007/978-3-319-98578-7_5⟩
Conference papers hal-01985604v1
Image document

A Method for Optimizing Complex Graphical Interfaces for Fast and Correct Perception of System States

 Marie-Christin Harre , Sebastian Feuerstack , Bertram Wortelen
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.65-87, ⟨10.1007/978-3-030-05909-5_5⟩
Conference papers hal-02270711v1
Image document

Organizational Features in Disaster Risk Management Systems

 Yury Manyoma , Nicolas Reyes , Luz Esperanza Bohorquez
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.155-174, ⟨10.1007/978-3-030-32169-7_12⟩
Conference papers hal-02799291v1
Image document

Raising a Model for Fake News Detection Using Machine Learning in Python

 Gerardo Agudelo , Octavio Parra , Julio Barón Velandia
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.596-604, ⟨10.1007/978-3-030-02131-3_52⟩
Conference papers hal-02274166v1
Image document

Hashing Incomplete and Unordered Network Streams

 Chao Zheng , Xiang Li , Qingyun Liu , Yong Sun , Binxing Fang
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.199-224, ⟨10.1007/978-3-319-99277-8_12⟩
Conference papers hal-01988840v1
Image document

Open Government Data Driven Co-creation: Moving Towards Citizen-Government Collaboration

 Keegan Mcbride , Maarja Toots , Tarmo Kalvet , Robert Krimmer
17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.184-195, ⟨10.1007/978-3-319-98690-6_16⟩
Conference papers hal-01961521v1
Image document

An Intelligent Parking Scheduling Algorithm Based on Traffic and Driver Behavior Predictions

 Jiazao Lin , Shi-Yong Chen , Chih-Yung Chang , Guilin Chen
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.185-189, ⟨10.1007/978-3-030-05677-3_22⟩
Conference papers hal-02279559v1
Image document

Detection of Bitcoin-Based Botnets Using a One-Class Classifier

 Bruno Bogaz Zarpelão , Rodrigo Sanches Miani , Muttukrishnan Rajarajan
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.174-189, ⟨10.1007/978-3-030-20074-9_13⟩
Conference papers hal-02294596v1
Image document

The Determinants of RFID Use and Its Benefits in Hospitals: An Empirical Study Examining Beyond Adoption

 Mohammad Alamgir Hossain , Azizah Ahmad
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.468-479, ⟨10.1007/978-3-030-02131-3_42⟩
Conference papers hal-02274175v1
Image document

Identifying Social Media’s Capability for Recognizing Entrepreneurial Opportunity: An Exploratory Study

 Abdus-Samad Temitope Olanrewaju , Mohammad Alamgir Hossain , Paul Mercieca , Naomi Whiteside
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.344-354, ⟨10.1007/978-3-030-02131-3_31⟩
Conference papers hal-02274169v1
Image document

Strome: Energy-Aware Data-Stream Processing

 Christopher Eibel , Christian Gulden , Wolfgang Schröder-Preikschat , Tobias Distler
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.40-57, ⟨10.1007/978-3-319-93767-0_4⟩
Conference papers hal-01824631v1
Image document

Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

 Ulrich Dorsch , Stefan Milius , Lutz Schröder , Thorsten Wissmann
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.56-77, ⟨10.1007/978-3-030-00389-0_5⟩
Conference papers hal-02044640v1
Image document

Analysis of the Banking Sector in the Czech Republic

 Martina Hedvičáková , Pavel Prazak
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.413-424, ⟨10.1007/978-3-030-02131-3_37⟩
Conference papers hal-02274182v1
Image document

Solutions for Higher Competence in Financial Literacy of Pupils at Secondary School in the Czech Republic

 Martina Hedvičáková , Libuše Svobodová
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.387-396, ⟨10.1007/978-3-030-02131-3_35⟩
Conference papers hal-02274195v1
Image document

Factors Determining Optimal Social Media Network Portfolio for Accounting Firms: The Case of the Czech Republic

 Libuše Svobodová , Martina Hedvičáková
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.425-435, ⟨10.1007/978-3-030-02131-3_38⟩
Conference papers hal-02274177v1
Image document

Investigating Open Government Data Barriers: A Literature Review and Conceptualization

 Jonathan Crusoe , Ulf Melin
17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.169-183, ⟨10.1007/978-3-319-98690-6_15⟩
Conference papers hal-01961518v1
Image document

Content Unification: A Trend Reshaping the iTV Ecosystem

 Jorge Abreu , Pedro Almeida , Sílvia Fernandes , Ana Velhinho , Ana Rodrigues
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.297-300, 2018, Entertainment Computing – ICEC 2018. ⟨10.1007/978-3-319-99426-0_33⟩
Conference poster hal-02128632v1
Image document

Parameter Synthesis Algorithms for Parametric Interval Markov Chains

 Laure Petrucci , Jaco van De Pol
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.121-140, ⟨10.1007/978-3-319-92612-4_7⟩
Conference papers hal-01824814v1
Page :