Filter your results
- 86
- 6
- 86
- 6
- 91
- 1
- 1
- 1
- 5
- 7
- 10
- 3
- 14
- 10
- 8
- 3
- 8
- 15
- 4
- 4
- 92
- 24
- 12
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 18
- 10
- 9
- 8
- 7
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
5G-Ready in the Industrial IoT-EnvironmentIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2019, Austin, TX, United States. pp.408-413, ⟨10.1007/978-3-030-30000-5_51⟩
Conference papers
hal-02419263v1
|
||
|
|
A Mechanised Proof of an Adaptive State Counting Algorithm31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.176-193, ⟨10.1007/978-3-030-31280-0_11⟩
Conference papers
hal-02526349v1
|
||
|
|
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.146-161, ⟨10.1007/978-3-642-24580-0_11⟩
Conference papers
hal-01583919v1
|
||
|
|
Adaptive Difficulty with Dynamic Range of Motion Adjustments in Exergames for Parkinson’s Disease Patients11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.429-432, ⟨10.1007/978-3-642-33542-6_45⟩
Conference papers
hal-01556123v1
|
||
|
|
Addressing the Challenges of COVID-19 Social Distancing Through Passive Wi-Fi and Ubiquitous Analytics: A Real World Deployment18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.3-24, ⟨10.1007/978-3-030-85616-8_1⟩
Conference papers
hal-04196882v1
|
||
|
|
Addressing the Challenges of E-Healthcare in Future Mobile Networks19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.90-99, ⟨10.1007/978-3-642-40552-5_9⟩
Conference papers
hal-01497053v1
|
||
|
|
Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable ManufacturingSpringer International Publishing, AICT-513, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-66922-9. ⟨10.1007/978-3-319-66923-6⟩
Books
hal-01666197v1
|
||
|
|
An Approach to Detecting Inter-Session Data Flow Induced by Object Pooling27th Information Security and Privacy Conference (SEC), Jun 2012, Heraklion, Crete, Greece. pp.25-36, ⟨10.1007/978-3-642-30436-1_3⟩
Conference papers
hal-01518238v1
|
||
|
|
An Architecture of IoT-Based Product Tracking with Blockchain in Multi-sided B2B PlatformIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2019, Austin, TX, United States. pp.458-465, ⟨10.1007/978-3-030-30000-5_57⟩
Conference papers
hal-02419244v1
|
||
|
|
An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.236-254, ⟨10.1007/978-3-030-64881-7_15⟩
Conference papers
hal-03239826v1
|
||
|
|
An IoT Fueled DSS for MOL Marine Auxiliaries Management13th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2016, Columbia, SC, United States. pp.621-630, ⟨10.1007/978-3-319-54660-5_55⟩
Conference papers
hal-01699710v1
|
||
|
|
Analyzing Accessibility Barriers Using Cost-Benefit Analysis to Design Reliable Navigation Services for Wheelchair Users17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.202-223, ⟨10.1007/978-3-030-29381-9_13⟩
Conference papers
hal-02544586v1
|
||
|
|
Applicability of Agile Methods for Dynamic Requirements in Smart PSS DevelopmentIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2019, Austin, TX, United States. pp.666-673, ⟨10.1007/978-3-030-30000-5_81⟩
Conference papers
hal-02419272v1
|
||
|
|
Application of Virtual Reality Technologies for Achieving Energy Efficient Manufacturing: Literature Analysis and FindingsIFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.479-486, ⟨10.1007/978-3-030-57993-7_54⟩
Conference papers
hal-03630924v1
|
||
|
|
Applying Closed-Loop Product Lifecycle Management to Enable Fact Based Design of Boats14th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2017, Seville, Spain. pp.522-531, ⟨10.1007/978-3-319-72905-3_46⟩
Conference papers
hal-01764183v1
|
||
|
|
Applying Gamification for Developing Formal Knowledge Models: Challenges and RequirementsIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2016, Iguassu Falls, Brazil. pp.713-720, ⟨10.1007/978-3-319-51133-7_84⟩
Conference papers
hal-01615794v1
|
||
|
|
Assessing Privacy Policies of Internet of Things Services33th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Sep 2018, Poznan, Poland. pp.156-169, ⟨10.1007/978-3-319-99828-2_12⟩
Conference papers
hal-02023740v1
|
||
|
|
Business Model Development for a Dynamic Production Network PlatformIFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.749-757, ⟨10.1007/978-3-030-57997-5_86⟩
Conference papers
hal-03635620v1
|
||
|
|
Challenges for Requirements Engineering of Cyber-Physical Systems in Distributed EnvironmentsIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2015, Tokyo, Japan. pp.49-58, ⟨10.1007/978-3-319-22759-7_6⟩
Conference papers
hal-01431151v1
|
||
|
|
Challenges of Heavy Load Logistics in Global Maritime Supply ChainsIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2015, Tokyo, Japan. pp.175-182, ⟨10.1007/978-3-319-22759-7_20⟩
Conference papers
hal-01431092v1
|
||
|
|
Classification of Player Roles in the Team-Based Multi-player Game Dota 214th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.112-125, ⟨10.1007/978-3-319-24589-8_9⟩
Conference papers
hal-01758447v1
|
||
|
|
Computer-Based Large-Scale Assessments in Germany10th Next Generation of Information Technology in Educational Management (ITEM), Aug 2012, Bremen, Germany. pp.41-54, ⟨10.1007/978-3-642-38411-0_4⟩
Conference papers
hal-01468478v1
|
||
|
|
Considerations on a Lifecycle Model for Cyber-Physical System PlatformsIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.85-92, ⟨10.1007/978-3-662-44739-0_11⟩
Conference papers
hal-01388212v1
|
||
|
|
Datafication in Education: A Multi-Level Challenge for IT in Educational Management1st International Conference on Stakeholders and Information Technology in Education (SAITE), Jul 2016, Guimarães, Portugal. pp.95-103, ⟨10.1007/978-3-319-54687-2_9⟩
Conference papers
hal-01625383v1
|
||
|
|
Deriving Information from Sensor Data14th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2017, Seville, Spain. pp.623-631, ⟨10.1007/978-3-319-72905-3_55⟩
Conference papers
hal-01764160v1
|
||
|
|
Design and Evaluation of Parametrizable Multi-genre Game Mechanics11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.45-52, ⟨10.1007/978-3-642-33542-6_4⟩
Conference papers
hal-01556140v1
|
||
|
|
Development of a Virtual Electric Wheelchair - Simulation and Assessment of Physical Fidelity Using the Unreal Engine 39th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.286-293, ⟨10.1007/978-3-642-15399-0_29⟩
Conference papers
hal-01055633v1
|
||
|
|
Development Projects in SMEsIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2017, Hamburg, Germany. pp.193-201, ⟨10.1007/978-3-319-66926-7_23⟩
Conference papers
hal-01707287v1
|
||
|
|
Dynamic Spectrum Trade and Game-Theory Based Network Selection in LTE Virtualization Using Uniform Auctioning9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.39-55, ⟨10.1007/978-3-642-21560-5_4⟩
Conference papers
hal-01583632v1
|
||
|
|
Effective Infinite-State Model Checking by Input Equivalence Class Partitioning29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.38-53, ⟨10.1007/978-3-319-67549-7_3⟩
Conference papers
hal-01678956v1
|