The international conference on deep learning, big data and blockchain (DBB 2022) / / Irfan Awan [and three others] editors |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
Descrizione fisica | 1 online resource (140 pages) |
Disciplina | 005.7 |
Collana | Lecture Notes in Networks and Systems |
Soggetto topico |
Big data
Blockchains (Databases) |
ISBN | 3-031-16035-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910627269403321 |
Cham, Switzerland : , : Springer, , [2023] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The International Conference on Deep Learning, Big Data and Blockchain (Deep-BDB 2021) / / Irfan Awan [and three others] editors |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (182 pages) |
Disciplina | 006.31 |
Collana | Lecture notes in networks and systems |
Soggetto topico | Machine learning |
ISBN | 3-030-84337-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910523755403321 |
Cham, Switzerland : , : Springer, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Mobile Web and Intelligent Information Systems [[electronic resource] ] : 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14–16, 2023, Proceedings / / edited by Muhammad Younas, Irfan Awan, Tor-Morten Grønli |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (283 pages) |
Disciplina | 780.71 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer networks
Application software Artificial intelligence Computers Computer Communication Networks Computer and Information Systems Applications Artificial Intelligence Computing Milieux |
ISBN | 3-031-39764-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Smart and Intelligent Systems: Factors Affecting Mobile Augmented Reality Acceptance: A Study on Traveler Information in Public Transport -- RSITS: Road safety Intelligent Transport System in Deep Federated Learning Assisted Fog Cloud Networks -- Gamified DAOs as Blockchain-Based Catalysts for Prosocial and Environmentally Oriented Cities -- Digital Systems in Healthcare Services: Harnessing the Digital Revolution: A Comprehensive Review of mHealth Applications for Remote Monitoring in Transforming Healthcare Delivery -- Medical Test Results Management System based on Blockchain, Smart Contracts, and NFT Technologies -- Intelligent Identification of Respiratory Diseases: Covid-19 and Similar Virus Cases -- SDN, IoT and Edge Computing: Minimizing User Connectivity Costs and Latency between controllers and switch-controllers for Software Defined Networking -- Fuzzy Data Deduplication at Edge Nodes in Connected Environments -- Towards Liquid AI in IoT with Web Assembly: A Prototype Implementation -- Mobile Interfaces and Interactivity: Interactive Behavior Change Model (IBCM 8.0): Theory & Ontology -- A Comparison of YOLOv5 and YOLOv8 in the Context of Mobile UI Detection -- Urban Data Platforms as Added-value Systems for Citizens -- Machine Learning and Stochastic Methods: Optimisation of a Chemical Process by using Machine Learning Algorithms with Surrogate Modeling -- Granular Traceability between Requirements and Test Cases for Safety Critical Software Systems -- Maximizing Signal to Interference Noise Ratio for Massive MIMO: A Stochastic Neurodynamic Approach -- Advanced Mobile Applications: Towards a cash-on-delivery system based on Blockchain technology for developing countries: a case study in Vietnam -- MITRE ATT&CK threat modelling extensions for mobile threats -- Virtual Career Advisor System. |
Record Nr. | UNISA-996546854903316 |
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mobile Web and Intelligent Information Systems : 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14–16, 2023, Proceedings / / edited by Muhammad Younas, Irfan Awan, Tor-Morten Grønli |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (283 pages) |
Disciplina | 780.71 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer networks
Application software Artificial intelligence Computers Computer Communication Networks Computer and Information Systems Applications Artificial Intelligence Computing Milieux |
ISBN | 3-031-39764-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Smart and Intelligent Systems: Factors Affecting Mobile Augmented Reality Acceptance: A Study on Traveler Information in Public Transport -- RSITS: Road safety Intelligent Transport System in Deep Federated Learning Assisted Fog Cloud Networks -- Gamified DAOs as Blockchain-Based Catalysts for Prosocial and Environmentally Oriented Cities -- Digital Systems in Healthcare Services: Harnessing the Digital Revolution: A Comprehensive Review of mHealth Applications for Remote Monitoring in Transforming Healthcare Delivery -- Medical Test Results Management System based on Blockchain, Smart Contracts, and NFT Technologies -- Intelligent Identification of Respiratory Diseases: Covid-19 and Similar Virus Cases -- SDN, IoT and Edge Computing: Minimizing User Connectivity Costs and Latency between controllers and switch-controllers for Software Defined Networking -- Fuzzy Data Deduplication at Edge Nodes in Connected Environments -- Towards Liquid AI in IoT with Web Assembly: A Prototype Implementation -- Mobile Interfaces and Interactivity: Interactive Behavior Change Model (IBCM 8.0): Theory & Ontology -- A Comparison of YOLOv5 and YOLOv8 in the Context of Mobile UI Detection -- Urban Data Platforms as Added-value Systems for Citizens -- Machine Learning and Stochastic Methods: Optimisation of a Chemical Process by using Machine Learning Algorithms with Surrogate Modeling -- Granular Traceability between Requirements and Test Cases for Safety Critical Software Systems -- Maximizing Signal to Interference Noise Ratio for Massive MIMO: A Stochastic Neurodynamic Approach -- Advanced Mobile Applications: Towards a cash-on-delivery system based on Blockchain technology for developing countries: a case study in Vietnam -- MITRE ATT&CK threat modelling extensions for mobile threats -- Virtual Career Advisor System. |
Record Nr. | UNINA-9910736993603321 |
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Mobile web and intelligent information systems : 18th International Conference, MobiWIS 2022, Rome, Italy, August 22-24, 2022, proceedings / / editors, Irfan Awan, Muhammad Younas, and Aneta Poniszewska-Marańda |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (257 pages) |
Disciplina | 004.165 |
Collana | Lecture notes in computer science |
Soggetto topico |
Mobile computing
Ambient intelligence Computer networks |
ISBN | 3-031-14391-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Mobile Applications and Technologies -- Knowledge Behavior Gap Model: An Application for Technology Acceptance -- 1 Introduction -- 2 Theoretical Background of the Main Constructs -- 3 Knowledge Behavior Gap Model -- 4 Research Methodology and Data Collection -- 5 Data Analysis -- 6 Results -- 7 Discussion -- 8 Conclusions -- References -- UI-Re-Engineering of a Mobile Documentation Software in the Care Sector -- 1 Introduction -- 2 Related Work -- 3 INFODOQ -- 3.1 INFODOQ - Mobile -- 4 Eyetracking -- 4.1 Preparation -- 4.2 Execution -- 5 First Evaluation -- 6 Discussion -- 7 Redesign -- 8 Second Evaluation -- 9 Conclusion -- References -- GUI Element Detection from Mobile UI Images Using YOLOv5 -- 1 Introduction -- 2 Background -- 3 Methodology -- 3.1 Tools -- 3.2 Algorithms -- 3.3 Datasets -- 3.4 Object Detection Evaluation Metrics -- 4 Analysis and Design -- 5 Implementation -- 5.1 Preparing the Dataset -- 5.2 GUI Element Detection Model -- 6 Evaluation -- 7 Conclusion and Future Work -- References -- Mobile Devices and Autonomous Vehicles -- Active Federated YOLOR Model for Enhancing Autonomous Vehicles Safety -- 1 Introduction -- 1.1 Contributions -- 1.2 Organization -- 2 Related Work -- 2.1 Object Detection over Autonomous Vehicles -- 2.2 Federated Learning over Autonomous Vehicles -- 3 Methodology -- 3.1 Active Learning Workflow -- 3.2 Integrating Active and Federated Learning with YOLOR -- 4 Implementation and Experiments -- 4.1 Experimental Setup -- 4.2 Experimental Results -- 5 Conclusion -- References -- Neural Network for Public Transport Mode Inference on Mobile Devices -- 1 Introduction -- 2 Background -- 3 Approach -- 3.1 Data Collection -- 3.2 Custom Mobile Application -- 4 Analysis -- 4.1 Sensor Removal and Aggregation Function -- 4.2 Feature Selection -- 5 Classification.
5.1 Multiclass -- 5.2 Binary Classification -- 6 Discussion -- 7 Conclusion and Future Work -- References -- Data-Driven Federated Autonomous Driving -- 1 Introduction -- 1.1 Problem Statement and Objectives -- 1.2 Contributions -- 2 Federation Formation Mechanism -- 2.1 System Model and Problem Formulation -- 2.2 Decentralized Federation Formation Scheme -- 3 Numerical Example -- 4 Experimental Evaluation -- 5 Conclusion and Future Work -- References -- Security in Healthcare and Smart Cities Environment -- Case Study on a Session Hijacking Attack: The 2021 CVS Health Data Breach -- 1 Introduction -- 2 Background -- 2.1 CVS Health -- 2.2 CVS Websites -- 2.3 Recent Trend in Cybersecurity Attacks -- 3 Attack Methodology -- 3.1 Session Hijacking Attack -- 3.2 Storing Data on Third Party Vendor -- 3.3 Database Logs -- 4 Impact -- 4.1 Effects in Healthcare -- 4.2 Reactions from Customers -- 5 Defense Solution -- 5.1 Steps to Manage Healthcare Data Breach -- 5.2 CVS' Response -- 6 Conclusion -- References -- Blockchain for Cybersecure Healthcare -- 1 Introduction -- 1.1 Background -- 1.2 Digital Security in Healthcare -- 1.3 Objectives -- 2 Cyber Security Breaches in Healthcare -- 2.1 Ransomware -- 2.2 Data Breaches -- 2.3 Phishing Attacks, Email Spoofing -- 3 Blockchain for Cyber Secure Healthcare -- 3.1 Why Blockchain -- 3.2 Blockchain in Healthcare -- 4 Case Study -- 4.1 Blockchain for Transparency in Organ Transplant -- 4.2 Architectural Diagram -- 4.3 Deployment and Security Advantages -- 5 Conclusion -- References -- Design of a Method for Setting IoT Security Standards in Smart Cities -- 1 Introduction -- 2 Safety Standards and Legislation in IoT -- 3 Content Analysis for Processing IoT Security Standards -- 3.1 Methodological Procedure of Content Analysis -- 3.2 Content Analysis using MAXQDA software -- 4 Document Examination - Alternative Method. 5 Conclusion -- References -- Software-Defined Networks -- Mathematical Models for Minimizing Latency in Software-Defined Networks -- 1 Introduction -- 2 Mathematical Formulations -- 3 Computational Numerical Experiments -- 4 Conclusions -- References -- Analyzing the Impact of DNN Hardware Accelerators-Oriented Compression Techniques on General-Purpose Low-End Boards -- 1 Introduction and Background -- 2 Experimental Setup -- 2.1 Compression Data Flow Overview -- 2.2 Hardware and Software Setup -- 3 Results -- 4 Conclusions -- References -- Spatial Dependency in Software-Defined Networking In-Band Monitoring: Challenges and Future Perspective -- 1 Introduction -- 2 Research Background -- 3 Research Analysis and Challenges -- 4 Future Research Direction -- 5 Conclusion -- References -- Smart Systems and Applications -- What is a Smart Service? -- 1 Motivation, Research Problem and Methodology -- 2 The Current Understanding of a Smart Service -- 3 An Extended Definition of Smart Services -- 3.1 Current Limitations and Conclusion -- 3.2 Old and New Definition in Comparison -- 4 A Smart Service Checklist for Service Classification -- 4.1 Foundations -- 4.2 Explaining the Checklist -- 4.3 Demonstration of the Checklist: Automated Financial Statement Audit -- 5 Conclusion -- References -- SSSB: An Approach to Insurance for Cross-Border Exchange by Using Smart Contracts -- 1 Introduction -- 2 Related Work -- 3 SSSB-(Safe Seller Safe Buyer) Architecture -- 4 Implementation -- 4.1 Data Structure -- 4.2 Algorithm -- 4.3 Authorization -- 5 Evaluation -- 5.1 Environment Setting -- 5.2 Results -- 6 Conclusion -- References -- A Review: Sensors Used in Tool Wear Monitoring and Prediction -- 1 Introduction -- 2 Types of Sensors Used in Tool Wear Applications -- 2.1 Accelerometer -- 2.2 Acoustic Emission -- 2.3 Microphone -- 2.4 Current Sensor -- 2.5 Dynamometer. 3 Predominant Sensors in Literature and Their Models -- 4 Conclusion -- References -- Advanced Information Systems -- Towards the Use of IT Technologies for Health Literacy and Health Information Competences - A Case Study -- 1 Introduction -- 2 Case Study Presentation: ELILY2 Project -- 3 E-learning Course Concept of ELILY2 Project -- 3.1 Module 1: Introduction to Health Literacy and eHealth Literacy -- 3.2 Module 2: Patients with Limited Health Literacy -- 3.3 Module 3: Feasibility and Readability Issues and eHealth Challenges -- 3.4 Module 4: Health Literacy and Patient Safety -- 4 E-learning Course Platform Dedicated to ELILY2 Project -- 4.1 Module 1 of E-Learning Course Platform -- 4.2 Module 2 of E-Learning Course Platform -- 5 Conclusions -- References -- A Systematic Literature Review on Relationship Between Internet Usage Behavior and Internet QoS in Campus -- 1 Introduction -- 2 Motivation -- 2.1 Insufficient Bandwidth -- 2.2 Maximum Excess on Multimedia Files -- 3 Related Works -- 3.1 Survey of Internet Usage -- 3.2 Survey of User Profiling -- 3.3 Survey of Behavior Model -- 4 Research Methodology -- 4.1 Conceptual Study/knowledge Acquisition -- 4.2 Identify Factors -- 4.3 User Profiling -- 4.4 Model Development/construction -- 5 Result and Discussion -- 5.1 Qualitative Studies, Quantitative Studies and Tools Used -- 5.2 Countries -- 5.3 Relationship Between Internet Usage Behavior and Internet QoS -- 5.4 Characteristics of the Articles -- 5.5 Practical Implication -- 5.6 Theoretical Implications -- 6 Conclusions -- References -- Model Checking Intelligent Information Systems with 3-Valued Timed Commitments -- 1 Introduction -- 2 Related Work -- 3 Background -- 3.1 Intelligent Information Systems -- 3.2 Timed Conditional Commitments Logic (CTLcc) -- 4 Modeling Uncertainty in IIS with Conditional Commitments. 4.1 3-Valued Propositional Logic -- 4.2 3-Valued CTLcc -- 5 Model Checking 3v-CTLcc -- 5.1 Case Study: A Smart Hospital System -- 5.2 System Properties -- 5.3 Verification Results -- 6 Conclusion and Future Work -- References -- Author Index. |
Record Nr. | UNINA-9910586634103321 |
Cham, Switzerland : , : Springer, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Mobile web and intelligent information systems : 18th International Conference, MobiWIS 2022, Rome, Italy, August 22-24, 2022, proceedings / / editors, Irfan Awan, Muhammad Younas, and Aneta Poniszewska-Marańda |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (257 pages) |
Disciplina | 004.165 |
Collana | Lecture notes in computer science |
Soggetto topico |
Mobile computing
Ambient intelligence Computer networks |
ISBN | 3-031-14391-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Mobile Applications and Technologies -- Knowledge Behavior Gap Model: An Application for Technology Acceptance -- 1 Introduction -- 2 Theoretical Background of the Main Constructs -- 3 Knowledge Behavior Gap Model -- 4 Research Methodology and Data Collection -- 5 Data Analysis -- 6 Results -- 7 Discussion -- 8 Conclusions -- References -- UI-Re-Engineering of a Mobile Documentation Software in the Care Sector -- 1 Introduction -- 2 Related Work -- 3 INFODOQ -- 3.1 INFODOQ - Mobile -- 4 Eyetracking -- 4.1 Preparation -- 4.2 Execution -- 5 First Evaluation -- 6 Discussion -- 7 Redesign -- 8 Second Evaluation -- 9 Conclusion -- References -- GUI Element Detection from Mobile UI Images Using YOLOv5 -- 1 Introduction -- 2 Background -- 3 Methodology -- 3.1 Tools -- 3.2 Algorithms -- 3.3 Datasets -- 3.4 Object Detection Evaluation Metrics -- 4 Analysis and Design -- 5 Implementation -- 5.1 Preparing the Dataset -- 5.2 GUI Element Detection Model -- 6 Evaluation -- 7 Conclusion and Future Work -- References -- Mobile Devices and Autonomous Vehicles -- Active Federated YOLOR Model for Enhancing Autonomous Vehicles Safety -- 1 Introduction -- 1.1 Contributions -- 1.2 Organization -- 2 Related Work -- 2.1 Object Detection over Autonomous Vehicles -- 2.2 Federated Learning over Autonomous Vehicles -- 3 Methodology -- 3.1 Active Learning Workflow -- 3.2 Integrating Active and Federated Learning with YOLOR -- 4 Implementation and Experiments -- 4.1 Experimental Setup -- 4.2 Experimental Results -- 5 Conclusion -- References -- Neural Network for Public Transport Mode Inference on Mobile Devices -- 1 Introduction -- 2 Background -- 3 Approach -- 3.1 Data Collection -- 3.2 Custom Mobile Application -- 4 Analysis -- 4.1 Sensor Removal and Aggregation Function -- 4.2 Feature Selection -- 5 Classification.
5.1 Multiclass -- 5.2 Binary Classification -- 6 Discussion -- 7 Conclusion and Future Work -- References -- Data-Driven Federated Autonomous Driving -- 1 Introduction -- 1.1 Problem Statement and Objectives -- 1.2 Contributions -- 2 Federation Formation Mechanism -- 2.1 System Model and Problem Formulation -- 2.2 Decentralized Federation Formation Scheme -- 3 Numerical Example -- 4 Experimental Evaluation -- 5 Conclusion and Future Work -- References -- Security in Healthcare and Smart Cities Environment -- Case Study on a Session Hijacking Attack: The 2021 CVS Health Data Breach -- 1 Introduction -- 2 Background -- 2.1 CVS Health -- 2.2 CVS Websites -- 2.3 Recent Trend in Cybersecurity Attacks -- 3 Attack Methodology -- 3.1 Session Hijacking Attack -- 3.2 Storing Data on Third Party Vendor -- 3.3 Database Logs -- 4 Impact -- 4.1 Effects in Healthcare -- 4.2 Reactions from Customers -- 5 Defense Solution -- 5.1 Steps to Manage Healthcare Data Breach -- 5.2 CVS' Response -- 6 Conclusion -- References -- Blockchain for Cybersecure Healthcare -- 1 Introduction -- 1.1 Background -- 1.2 Digital Security in Healthcare -- 1.3 Objectives -- 2 Cyber Security Breaches in Healthcare -- 2.1 Ransomware -- 2.2 Data Breaches -- 2.3 Phishing Attacks, Email Spoofing -- 3 Blockchain for Cyber Secure Healthcare -- 3.1 Why Blockchain -- 3.2 Blockchain in Healthcare -- 4 Case Study -- 4.1 Blockchain for Transparency in Organ Transplant -- 4.2 Architectural Diagram -- 4.3 Deployment and Security Advantages -- 5 Conclusion -- References -- Design of a Method for Setting IoT Security Standards in Smart Cities -- 1 Introduction -- 2 Safety Standards and Legislation in IoT -- 3 Content Analysis for Processing IoT Security Standards -- 3.1 Methodological Procedure of Content Analysis -- 3.2 Content Analysis using MAXQDA software -- 4 Document Examination - Alternative Method. 5 Conclusion -- References -- Software-Defined Networks -- Mathematical Models for Minimizing Latency in Software-Defined Networks -- 1 Introduction -- 2 Mathematical Formulations -- 3 Computational Numerical Experiments -- 4 Conclusions -- References -- Analyzing the Impact of DNN Hardware Accelerators-Oriented Compression Techniques on General-Purpose Low-End Boards -- 1 Introduction and Background -- 2 Experimental Setup -- 2.1 Compression Data Flow Overview -- 2.2 Hardware and Software Setup -- 3 Results -- 4 Conclusions -- References -- Spatial Dependency in Software-Defined Networking In-Band Monitoring: Challenges and Future Perspective -- 1 Introduction -- 2 Research Background -- 3 Research Analysis and Challenges -- 4 Future Research Direction -- 5 Conclusion -- References -- Smart Systems and Applications -- What is a Smart Service? -- 1 Motivation, Research Problem and Methodology -- 2 The Current Understanding of a Smart Service -- 3 An Extended Definition of Smart Services -- 3.1 Current Limitations and Conclusion -- 3.2 Old and New Definition in Comparison -- 4 A Smart Service Checklist for Service Classification -- 4.1 Foundations -- 4.2 Explaining the Checklist -- 4.3 Demonstration of the Checklist: Automated Financial Statement Audit -- 5 Conclusion -- References -- SSSB: An Approach to Insurance for Cross-Border Exchange by Using Smart Contracts -- 1 Introduction -- 2 Related Work -- 3 SSSB-(Safe Seller Safe Buyer) Architecture -- 4 Implementation -- 4.1 Data Structure -- 4.2 Algorithm -- 4.3 Authorization -- 5 Evaluation -- 5.1 Environment Setting -- 5.2 Results -- 6 Conclusion -- References -- A Review: Sensors Used in Tool Wear Monitoring and Prediction -- 1 Introduction -- 2 Types of Sensors Used in Tool Wear Applications -- 2.1 Accelerometer -- 2.2 Acoustic Emission -- 2.3 Microphone -- 2.4 Current Sensor -- 2.5 Dynamometer. 3 Predominant Sensors in Literature and Their Models -- 4 Conclusion -- References -- Advanced Information Systems -- Towards the Use of IT Technologies for Health Literacy and Health Information Competences - A Case Study -- 1 Introduction -- 2 Case Study Presentation: ELILY2 Project -- 3 E-learning Course Concept of ELILY2 Project -- 3.1 Module 1: Introduction to Health Literacy and eHealth Literacy -- 3.2 Module 2: Patients with Limited Health Literacy -- 3.3 Module 3: Feasibility and Readability Issues and eHealth Challenges -- 3.4 Module 4: Health Literacy and Patient Safety -- 4 E-learning Course Platform Dedicated to ELILY2 Project -- 4.1 Module 1 of E-Learning Course Platform -- 4.2 Module 2 of E-Learning Course Platform -- 5 Conclusions -- References -- A Systematic Literature Review on Relationship Between Internet Usage Behavior and Internet QoS in Campus -- 1 Introduction -- 2 Motivation -- 2.1 Insufficient Bandwidth -- 2.2 Maximum Excess on Multimedia Files -- 3 Related Works -- 3.1 Survey of Internet Usage -- 3.2 Survey of User Profiling -- 3.3 Survey of Behavior Model -- 4 Research Methodology -- 4.1 Conceptual Study/knowledge Acquisition -- 4.2 Identify Factors -- 4.3 User Profiling -- 4.4 Model Development/construction -- 5 Result and Discussion -- 5.1 Qualitative Studies, Quantitative Studies and Tools Used -- 5.2 Countries -- 5.3 Relationship Between Internet Usage Behavior and Internet QoS -- 5.4 Characteristics of the Articles -- 5.5 Practical Implication -- 5.6 Theoretical Implications -- 6 Conclusions -- References -- Model Checking Intelligent Information Systems with 3-Valued Timed Commitments -- 1 Introduction -- 2 Related Work -- 3 Background -- 3.1 Intelligent Information Systems -- 3.2 Timed Conditional Commitments Logic (CTLcc) -- 4 Modeling Uncertainty in IIS with Conditional Commitments. 4.1 3-Valued Propositional Logic -- 4.2 3-Valued CTLcc -- 5 Model Checking 3v-CTLcc -- 5.1 Case Study: A Smart Hospital System -- 5.2 System Properties -- 5.3 Verification Results -- 6 Conclusion and Future Work -- References -- Author Index. |
Record Nr. | UNISA-996485668403316 |
Cham, Switzerland : , : Springer, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mobile Web and Intelligent Information Systems [[electronic resource] ] : 16th International Conference, MobiWIS 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings / / edited by Irfan Awan, Muhammad Younas, Perin Ünal, Markus Aleksy |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XI, 344 p. 213 illus., 103 illus. in color.) |
Disciplina | 005.365 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Computer communication systems Special purpose computers Artificial intelligence Computer security Optical data processing Information Systems Applications (incl. Internet) Computer Communication Networks Special Purpose and Application-Based Systems Artificial Intelligence Systems and Data Security Image Processing and Computer Vision |
ISBN | 3-030-27192-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mobile apps and services -- Web and mobile applications -- Security and privacy -- Wireless networks and cloud computing -- Intelligent mobile applications -- Mobile web and practical applications. |
Record Nr. | UNISA-996466455403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mobile Web and Intelligent Information Systems : 16th International Conference, MobiWIS 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings / / edited by Irfan Awan, Muhammad Younas, Perin Ünal, Markus Aleksy |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XI, 344 p. 213 illus., 103 illus. in color.) |
Disciplina |
005.365
004 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Computer communication systems Special purpose computers Artificial intelligence Computer security Optical data processing Information Systems Applications (incl. Internet) Computer Communication Networks Special Purpose and Application-Based Systems Artificial Intelligence Systems and Data Security Image Processing and Computer Vision |
ISBN | 3-030-27192-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mobile apps and services -- Web and mobile applications -- Security and privacy -- Wireless networks and cloud computing -- Intelligent mobile applications -- Mobile web and practical applications. |
Record Nr. | UNINA-9910349304103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Mobile Web and Intelligent Information Systems [[electronic resource] ] : 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings / / edited by Muhammad Younas, Irfan Awan, George Ghinea, Marisa Catalan Cid |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (X, 217 p. 77 illus.) |
Disciplina | 004.165 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Computer communication systems Special purpose computers Software engineering Coding theory Information theory User interfaces (Computer systems) Information Systems Applications (incl. Internet) Computer Communication Networks Special Purpose and Application-Based Systems Software Engineering/Programming and Operating Systems Coding and Information Theory User Interfaces and Human Computer Interaction |
ISBN | 3-319-97163-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mobile Web and Apps -- Wireless Sensor Networks -- Web and Cloud Services -- Web and Mobile Applications. |
Record Nr. | UNISA-996466195203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mobile Web and Intelligent Information Systems : 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings / / edited by Muhammad Younas, Irfan Awan, George Ghinea, Marisa Catalan Cid |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (X, 217 p. 77 illus.) |
Disciplina | 004.165 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Computer communication systems Special purpose computers Software engineering Coding theory Information theory User interfaces (Computer systems) Information Systems Applications (incl. Internet) Computer Communication Networks Special Purpose and Application-Based Systems Software Engineering/Programming and Operating Systems Coding and Information Theory User Interfaces and Human Computer Interaction |
ISBN | 3-319-97163-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mobile Web and Apps -- Wireless Sensor Networks -- Web and Cloud Services -- Web and Mobile Applications. |
Record Nr. | UNINA-9910349418403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|