Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
On the Move to Meaningful Internet Systems. OTM 2018 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I / / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman
| On the Move to Meaningful Internet Systems. OTM 2018 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I / / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXX, 683 p. 204 illus.) |
| Disciplina | 004.678 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Data mining Artificial intelligence Computer security Computer system failures Computer communication systems Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Artificial Intelligence Systems and Data Security System Performance and Evaluation Computer Communication Networks |
| ISBN | 3-030-02610-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Systems Applications (incl. Internet) -- Information Storage and Retrieval -- Software Engineering Artificial Intelligence (incl. Robotics) -- Systems and Data Security -- Computer Appl. in Administrative Data Processing Ontologies -- Databases -- Semantics.-Cooperative Information Systems -- Cloud Computing -- Trust, Security, Privacy And Risk Management. |
| Record Nr. | UNISA-996466457503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
On the Move to Meaningful Internet Systems. OTM 2018 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II / / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman
| On the Move to Meaningful Internet Systems. OTM 2018 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II / / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXX, 605 p. 691 illus., 91 illus. in color.) |
| Disciplina | 004.678 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Information storage and retrieval Artificial intelligence Software engineering Mathematical logic E-commerce Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Software Engineering Mathematical Logic and Formal Languages e-Commerce/e-business |
| ISBN | 3-030-02671-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Systems Applications (incl. Internet) -- Information Storage and Retrieval -- Software Engineering Artificial Intelligence (incl. Robotics) -- Systems and Data Security -- Computer Appl. in Administrative Data Processing Ontologies -- Databases -- Semantics -- Cooperative Information Systems.-Cloud Computing -- Trust, Security, Privacy And Risk Management. |
| Record Nr. | UNISA-996466457903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
On the Move to Meaningful Internet Systems: OTM 2015 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / / edited by Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, Georg Weichhart, Yuan An, Claudio Agostino Ardagna
| On the Move to Meaningful Internet Systems: OTM 2015 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / / edited by Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, Georg Weichhart, Yuan An, Claudio Agostino Ardagna |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXV, 678 p. 236 illus. in color.) |
| Disciplina | 005.758 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Software engineering Artificial intelligence Computer security Information Systems Applications (incl. Internet) Information Storage and Retrieval Software Engineering Artificial Intelligence Systems and Data Security Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-26148-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- General Co-Chairs' Message for OnThe Move 2015,Rhodes, Greece -- Organization -- OnThe Move 2015 Keynotes -- Data Semantics in the Days of Big Data -- Reusable Coordination Components: A SilverBullet for Reliable Development of Cooperative Information Systems? -- Durable Modeling and Ever-Changing Implementation Technologies -- From (Security) Research to Innovation -- Contents -- CoopIS 2015 PC Co-Chairs' Message -- CoopIS 2015 PC Co-Chairs' Message -- Collaborative Autonomic Management of Distributed Component-Based Applications -- 1 Introduction -- 2 Autonomic Container for the Management of Component-Based Applications -- 2.1 Architectural Description of Component-Based Applications -- 2.2 Structure of the Autonomic Container -- The Proxy Component: -- The Monitoring Component: -- The Knowledge Component: -- The Analysis Component: -- The Planning Component: -- The Execution Component: -- 2.3 Covered Autonomic Loops -- Reactive Autonomic Loop: -- Deliberative Autonomic Loop: -- 3 Use Case Study -- 3.1 Reactive Loop Scenario -- 3.2 Deliberative Loop: Horizontal Collaboration Scenario -- 3.3 Deliberative Loop: Vertical Collaboration Scenario -- 4 Implementation -- 5 Evaluation -- 6 Related Work -- 7 Conclusion -- References -- An Efficient Optimization Algorithm of Autonomic Managers in Service-Based Applications -- 1 Introduction -- 2 Autonomic Management of Service-Based Applications -- 2.1 The MAPE-K Control Loop -- 2.2 Service-Based Application -- 2.3 SBA Graphs -- 2.4 Problem Statement -- 3 Algorithm for an Efficient Optimization of MAPE-K Loops in SBAs -- 3.1 Approach Overview -- 3.2 Predecessor Procedure -- 3.3 LowerBound Procedure -- 3.4 ServiceRelatedParallelSets Procedure -- 3.5 AutonomicLoopsAssignement Procedure -- 4 Experiments -- 4.1 Experiments on Architecture-Based Compositions -- Complexity. -- Quality.
4.2 Experiments on Behavior-Based Compositions -- Complexity. -- Quality. -- 5 Related Work -- 5.1 Autonomic Computing -- 5.2 Optimization of Cloud Resources -- 6 Conclusion and Future Work -- References -- TrustedMR: A Trusted MapReduce System Based on Tamper Resistance Hardware -- 1 Introduction -- 2 Related Works -- 2.1 Security in MapReduce -- 2.2 Security in Other Systems -- 3 Context of the Study -- 3.1 Architecture -- 3.2 Threat Model -- 4 Proposed Solutions -- 4.1 MapReduce Job Execution Phases -- 4.2 Proposed Solution -- 4.3 How Our Proposed Solution Meets the Requirements -- 5 Privacy Analysis -- 5.1 Security of Basic Encryption Schemes -- 5.2 Information Exposure with Coefficient -- 6 Performance Evaluation -- 6.1 Unit Test on Development Board -- 6.2 Experimental Setup -- 6.3 Scaling with Parallel Computing -- 6.4 Scaling Depth versu us Scaling Width -- 7 Conclusion -- References -- Similarity and Trust to Form Groups in Online Social Networks -- 1 Introduction -- 2 Trust, Similarity and Compactness -- 2.1 Similarity and Compactness -- 3 Associating Users and Groups -- 3.1 The Algorithms U2G and U2G-O -- 3.2 Algorithm G2U -- 4 Experimental Evaluation -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Supporting Peer Help in Collaborative Learning Environments: A Discussion Based on Two Case Studies -- 1 Introduction -- 2 Background -- 2.1 Peer-Help Systems -- 2.2 Collaborative Learning Environments -- 3 User Studies -- 3.1 Case Study 1: Helping to Focus on the Questions -- 3.2 Case Study 2: Helping Focusing on the Pair Formation -- 4 Discussion -- 5 Conclusion -- References -- Finding Collective Decisions: Change Negotiation in Collaborative Business Processes -- 1 Introduction -- 2 Change Negotiation Scenarios and Motivating Example -- 2.1 Change Negotiation Scenarios -- 2.2 Motivating Example -- 3 Problem Formulation. 3.1 Process Changes -- 3.2 Goals and Preferences -- 4 Collective Decision -- 5 Implementation and Analysis -- 6 Related Work -- 7 Conclusion -- References -- Real-Time Relevance Matching of News and Tweets -- 1 Introduction -- Challenges. -- Present Work. -- Contributions. -- 2 Related Work -- Analysis of Twitter. -- News and Twitter. -- Potential of Twitter. -- 3 Problem Formulation -- Problem. -- 4 Existing Techniques -- 4.1 DAAT for Pub-Sub -- Approach. -- Algorithm. -- Example. -- 4.2 DAAT for Pub-Sub with Skipping -- Main Idea. -- Approach. -- 5 Proposed Method -- 5.1 Predicting Threshold -- Main Idea. -- Approach. -- Algorithm. -- Example. -- 5.2 Matching Method -- Main Idea. -- Algorithm. -- Example. -- 6 Experimental Evaluation -- Condition. -- Datasets. -- 6.1 Similarity Comparison -- Setup. -- Results and Discussion. -- 6.2 Accuracy -- Setup. -- Results and Discussion. -- 6.3 Update Time -- Setup. -- Results and Discussion. -- 6.4 Matching Time -- Setup. -- Results and Discussion. -- 7 Conclusion -- References -- Context-Aware Process Injection -- 1 Introduction -- 2 Backgrounds -- 3 Context-Aware Process Injection in a Nutshell -- 4 Components of Context-Aware Process Families -- 4.1 Extension Areas -- 4.2 Process Parameters -- 4.3 Contextual Situations -- 4.4 Injection Specifications -- 5 The Process of Context-aware Process Injection -- 5.1 The Modeling of Context-aware Process Families -- 5.2 The Execution of Context-Aware Process Families -- 6 Validation -- 6.1 Proof-of-Concept Prototype -- 6.2 Case Study -- 7 Related Work -- 8 Conclusion -- References -- A Multi-view Learning Approach to the Discovery of Deviant Process Instances -- 1 Introduction -- 2 Related Work -- 3 Preliminaries and Formal Framework -- 4 Problem Statement and Solution Approach -- 4.1 Target Deviance-Detection Model (HO-DDM) -- 4.2 Algorithm HO-DDM-mine. 4.3 Implementation -- 5 Experiments -- 5.1 Dataset -- 5.2 Evaluation Metrics -- 5.3 Parameter Settings -- 5.4 Test Results -- 6 Conclusion -- References -- A Genetic Algorithm for Automatic Business Process Test Case Selection -- 1 Introduction -- 2 Coverage Metrics -- 2.1 Optimal Coverage: Optimal Number of Test Cases per Node -- 2.2 Test Coverage Metrics: Coverage of all Enabled Test Cases -- 3 Genetic Selection Algorithm -- 4 Evaluation -- 5 Related Work -- 6 Conclusions -- References -- Discovering BPMN Models with Sub-Processes and Multi-instance Markers -- 1 Introduction -- 2 Preliminaries -- 3 Instance Tree and Hierarchy Tree -- 4 Procedure to Discover BPMN Models -- 5 Experimental Evaluation -- 5.1 Evaluation Based on Real-Life Logs -- 5.2 Evaluation Based o on Artificial Logs -- 6 Related Work -- 7 Conclusion -- References -- Information Quality in Dynamic Networked Business Process Management -- 1 Introduction -- 2 Research Approach -- 2.1 Development Phase -- 2.2 Evaluation Phase -- 3 Exploration of IQ Issues in DNBP -- 3.1 Characterization of Dynamism in Networked Business Processes -- 3.2 Characterization of Different Dimensions of IQ -- 3.3 Exploration of IQ Issues Resulting from DNBP -- 4 The Evaluation of the Practical Significance of the Explored IQ Issues -- 5 Related Work -- 6 Conclusion -- References -- Utilizing the Hive Mind -- How to Manage Knowledge in Fully Distributed Environments -- 1 Introduction -- 2 System Model and Problem Formulation -- 3 Confidence -- 3.1 Clustering -- 3.2 Cluster-Based Confidence -- 3.3 Discussion -- 4 Routing -- 4.1 Knowledge Aggregation Based Routing -- Routing a Query. -- 4.2 Query Learning Based Routing -- Routing a Query. -- Discussion. -- 5 Evaluation -- 5.1 Knowledge Aggregation Routing (KAR) -- 5.2 Query Learning Based Routing (QLR) -- 6 Related Work -- 7 Conclusion. ∂u∂u Multi-Tenanted Framework: Distributed Near Duplicate Detection for Big Data -- 1 Introduction -- 2 Background and Related Work -- 2.1 Near Duplicate Detection -- 2.2 In-Memory Data Grids -- 3 Solution Architecture -- 3.1 ∂u∂u Multi-tenanted Parallel Executions -- 3.2 Distributed Execution Framework -- 3.3 Near Duplicate Detection for Big Data -- 4 ∂u∂u Prototype -- 5 Evaluation -- 6 Conclusion and Future Work -- References -- Multilevel Mapping of Ecosystem Descriptions -- 1 Ecosystem Interoperability -- 2 The SLICER Relationship Framework -- 3 Lifecycle Management -- 4 Conclusion -- References -- Determining the Quality of Product Data Integration -- 1 Introduction -- 2 A Framework for Product Data Integration -- 2.1 Local and Global Product Ontology -- 2.2 Schema Concept Rules and Actions -- 2.3 Integration Set -- 2.4 Initial Integration -- 3 Requirements -- 4 Measuring the Quality of Product Data Integration -- 4.1 Local-to-Global Mapping -- 4.2 Global-to-Local Mapping -- 4.3 Reference Values -- 5 Proof-of-Concept Prototype -- 6 Case Study -- 7 Related Work -- 8 Summary and Outlook -- References -- Inference Control in Data Integration Systems -- 1 Introduction -- 2 Related Work -- 2.1 Formal Concept Analysis and Access Control -- 2.2 Views, Access Control and Inferences -- 2.3 Inference Problem -- 3 Example -- 4 Inference Detection: A Formal Concept Analysis Based Approach -- 4.1 Synthesizing the Global Schema, the Global Policy and the Global Functional Dependencies -- 4.2 Discovery Phase -- 4.3 Policy Healing -- 5 Experiments -- 6 Conclusion -- References -- Integrated Process Oriented Requirements Management -- 1 Introduction -- 2 Literature Review and Goals -- 3 Method -- 4 Industrial Application -- 5 Conclusion and Research Perspective -- References -- Supporting Structural Consistency Checking in Adaptive Case Management. 1 Introduction. |
| Record Nr. | UNINA-9910484456903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
On the Move to Meaningful Internet Systems: OTM 2015 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / / edited by Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, Georg Weichhart, Yuan An, Claudio Agostino Ardagna
| On the Move to Meaningful Internet Systems: OTM 2015 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / / edited by Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, Georg Weichhart, Yuan An, Claudio Agostino Ardagna |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXV, 678 p. 236 illus. in color.) |
| Disciplina | 005.758 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Software engineering Artificial intelligence Computer security Information Systems Applications (incl. Internet) Information Storage and Retrieval Software Engineering Artificial Intelligence Systems and Data Security Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-26148-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- General Co-Chairs' Message for OnThe Move 2015,Rhodes, Greece -- Organization -- OnThe Move 2015 Keynotes -- Data Semantics in the Days of Big Data -- Reusable Coordination Components: A SilverBullet for Reliable Development of Cooperative Information Systems? -- Durable Modeling and Ever-Changing Implementation Technologies -- From (Security) Research to Innovation -- Contents -- CoopIS 2015 PC Co-Chairs' Message -- CoopIS 2015 PC Co-Chairs' Message -- Collaborative Autonomic Management of Distributed Component-Based Applications -- 1 Introduction -- 2 Autonomic Container for the Management of Component-Based Applications -- 2.1 Architectural Description of Component-Based Applications -- 2.2 Structure of the Autonomic Container -- The Proxy Component: -- The Monitoring Component: -- The Knowledge Component: -- The Analysis Component: -- The Planning Component: -- The Execution Component: -- 2.3 Covered Autonomic Loops -- Reactive Autonomic Loop: -- Deliberative Autonomic Loop: -- 3 Use Case Study -- 3.1 Reactive Loop Scenario -- 3.2 Deliberative Loop: Horizontal Collaboration Scenario -- 3.3 Deliberative Loop: Vertical Collaboration Scenario -- 4 Implementation -- 5 Evaluation -- 6 Related Work -- 7 Conclusion -- References -- An Efficient Optimization Algorithm of Autonomic Managers in Service-Based Applications -- 1 Introduction -- 2 Autonomic Management of Service-Based Applications -- 2.1 The MAPE-K Control Loop -- 2.2 Service-Based Application -- 2.3 SBA Graphs -- 2.4 Problem Statement -- 3 Algorithm for an Efficient Optimization of MAPE-K Loops in SBAs -- 3.1 Approach Overview -- 3.2 Predecessor Procedure -- 3.3 LowerBound Procedure -- 3.4 ServiceRelatedParallelSets Procedure -- 3.5 AutonomicLoopsAssignement Procedure -- 4 Experiments -- 4.1 Experiments on Architecture-Based Compositions -- Complexity. -- Quality.
4.2 Experiments on Behavior-Based Compositions -- Complexity. -- Quality. -- 5 Related Work -- 5.1 Autonomic Computing -- 5.2 Optimization of Cloud Resources -- 6 Conclusion and Future Work -- References -- TrustedMR: A Trusted MapReduce System Based on Tamper Resistance Hardware -- 1 Introduction -- 2 Related Works -- 2.1 Security in MapReduce -- 2.2 Security in Other Systems -- 3 Context of the Study -- 3.1 Architecture -- 3.2 Threat Model -- 4 Proposed Solutions -- 4.1 MapReduce Job Execution Phases -- 4.2 Proposed Solution -- 4.3 How Our Proposed Solution Meets the Requirements -- 5 Privacy Analysis -- 5.1 Security of Basic Encryption Schemes -- 5.2 Information Exposure with Coefficient -- 6 Performance Evaluation -- 6.1 Unit Test on Development Board -- 6.2 Experimental Setup -- 6.3 Scaling with Parallel Computing -- 6.4 Scaling Depth versu us Scaling Width -- 7 Conclusion -- References -- Similarity and Trust to Form Groups in Online Social Networks -- 1 Introduction -- 2 Trust, Similarity and Compactness -- 2.1 Similarity and Compactness -- 3 Associating Users and Groups -- 3.1 The Algorithms U2G and U2G-O -- 3.2 Algorithm G2U -- 4 Experimental Evaluation -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Supporting Peer Help in Collaborative Learning Environments: A Discussion Based on Two Case Studies -- 1 Introduction -- 2 Background -- 2.1 Peer-Help Systems -- 2.2 Collaborative Learning Environments -- 3 User Studies -- 3.1 Case Study 1: Helping to Focus on the Questions -- 3.2 Case Study 2: Helping Focusing on the Pair Formation -- 4 Discussion -- 5 Conclusion -- References -- Finding Collective Decisions: Change Negotiation in Collaborative Business Processes -- 1 Introduction -- 2 Change Negotiation Scenarios and Motivating Example -- 2.1 Change Negotiation Scenarios -- 2.2 Motivating Example -- 3 Problem Formulation. 3.1 Process Changes -- 3.2 Goals and Preferences -- 4 Collective Decision -- 5 Implementation and Analysis -- 6 Related Work -- 7 Conclusion -- References -- Real-Time Relevance Matching of News and Tweets -- 1 Introduction -- Challenges. -- Present Work. -- Contributions. -- 2 Related Work -- Analysis of Twitter. -- News and Twitter. -- Potential of Twitter. -- 3 Problem Formulation -- Problem. -- 4 Existing Techniques -- 4.1 DAAT for Pub-Sub -- Approach. -- Algorithm. -- Example. -- 4.2 DAAT for Pub-Sub with Skipping -- Main Idea. -- Approach. -- 5 Proposed Method -- 5.1 Predicting Threshold -- Main Idea. -- Approach. -- Algorithm. -- Example. -- 5.2 Matching Method -- Main Idea. -- Algorithm. -- Example. -- 6 Experimental Evaluation -- Condition. -- Datasets. -- 6.1 Similarity Comparison -- Setup. -- Results and Discussion. -- 6.2 Accuracy -- Setup. -- Results and Discussion. -- 6.3 Update Time -- Setup. -- Results and Discussion. -- 6.4 Matching Time -- Setup. -- Results and Discussion. -- 7 Conclusion -- References -- Context-Aware Process Injection -- 1 Introduction -- 2 Backgrounds -- 3 Context-Aware Process Injection in a Nutshell -- 4 Components of Context-Aware Process Families -- 4.1 Extension Areas -- 4.2 Process Parameters -- 4.3 Contextual Situations -- 4.4 Injection Specifications -- 5 The Process of Context-aware Process Injection -- 5.1 The Modeling of Context-aware Process Families -- 5.2 The Execution of Context-Aware Process Families -- 6 Validation -- 6.1 Proof-of-Concept Prototype -- 6.2 Case Study -- 7 Related Work -- 8 Conclusion -- References -- A Multi-view Learning Approach to the Discovery of Deviant Process Instances -- 1 Introduction -- 2 Related Work -- 3 Preliminaries and Formal Framework -- 4 Problem Statement and Solution Approach -- 4.1 Target Deviance-Detection Model (HO-DDM) -- 4.2 Algorithm HO-DDM-mine. 4.3 Implementation -- 5 Experiments -- 5.1 Dataset -- 5.2 Evaluation Metrics -- 5.3 Parameter Settings -- 5.4 Test Results -- 6 Conclusion -- References -- A Genetic Algorithm for Automatic Business Process Test Case Selection -- 1 Introduction -- 2 Coverage Metrics -- 2.1 Optimal Coverage: Optimal Number of Test Cases per Node -- 2.2 Test Coverage Metrics: Coverage of all Enabled Test Cases -- 3 Genetic Selection Algorithm -- 4 Evaluation -- 5 Related Work -- 6 Conclusions -- References -- Discovering BPMN Models with Sub-Processes and Multi-instance Markers -- 1 Introduction -- 2 Preliminaries -- 3 Instance Tree and Hierarchy Tree -- 4 Procedure to Discover BPMN Models -- 5 Experimental Evaluation -- 5.1 Evaluation Based on Real-Life Logs -- 5.2 Evaluation Based o on Artificial Logs -- 6 Related Work -- 7 Conclusion -- References -- Information Quality in Dynamic Networked Business Process Management -- 1 Introduction -- 2 Research Approach -- 2.1 Development Phase -- 2.2 Evaluation Phase -- 3 Exploration of IQ Issues in DNBP -- 3.1 Characterization of Dynamism in Networked Business Processes -- 3.2 Characterization of Different Dimensions of IQ -- 3.3 Exploration of IQ Issues Resulting from DNBP -- 4 The Evaluation of the Practical Significance of the Explored IQ Issues -- 5 Related Work -- 6 Conclusion -- References -- Utilizing the Hive Mind -- How to Manage Knowledge in Fully Distributed Environments -- 1 Introduction -- 2 System Model and Problem Formulation -- 3 Confidence -- 3.1 Clustering -- 3.2 Cluster-Based Confidence -- 3.3 Discussion -- 4 Routing -- 4.1 Knowledge Aggregation Based Routing -- Routing a Query. -- 4.2 Query Learning Based Routing -- Routing a Query. -- Discussion. -- 5 Evaluation -- 5.1 Knowledge Aggregation Routing (KAR) -- 5.2 Query Learning Based Routing (QLR) -- 6 Related Work -- 7 Conclusion. ∂u∂u Multi-Tenanted Framework: Distributed Near Duplicate Detection for Big Data -- 1 Introduction -- 2 Background and Related Work -- 2.1 Near Duplicate Detection -- 2.2 In-Memory Data Grids -- 3 Solution Architecture -- 3.1 ∂u∂u Multi-tenanted Parallel Executions -- 3.2 Distributed Execution Framework -- 3.3 Near Duplicate Detection for Big Data -- 4 ∂u∂u Prototype -- 5 Evaluation -- 6 Conclusion and Future Work -- References -- Multilevel Mapping of Ecosystem Descriptions -- 1 Ecosystem Interoperability -- 2 The SLICER Relationship Framework -- 3 Lifecycle Management -- 4 Conclusion -- References -- Determining the Quality of Product Data Integration -- 1 Introduction -- 2 A Framework for Product Data Integration -- 2.1 Local and Global Product Ontology -- 2.2 Schema Concept Rules and Actions -- 2.3 Integration Set -- 2.4 Initial Integration -- 3 Requirements -- 4 Measuring the Quality of Product Data Integration -- 4.1 Local-to-Global Mapping -- 4.2 Global-to-Local Mapping -- 4.3 Reference Values -- 5 Proof-of-Concept Prototype -- 6 Case Study -- 7 Related Work -- 8 Summary and Outlook -- References -- Inference Control in Data Integration Systems -- 1 Introduction -- 2 Related Work -- 2.1 Formal Concept Analysis and Access Control -- 2.2 Views, Access Control and Inferences -- 2.3 Inference Problem -- 3 Example -- 4 Inference Detection: A Formal Concept Analysis Based Approach -- 4.1 Synthesizing the Global Schema, the Global Policy and the Global Functional Dependencies -- 4.2 Discovery Phase -- 4.3 Policy Healing -- 5 Experiments -- 6 Conclusion -- References -- Integrated Process Oriented Requirements Management -- 1 Introduction -- 2 Literature Review and Goals -- 3 Method -- 4 Industrial Application -- 5 Conclusion and Research Perspective -- References -- Supporting Structural Consistency Checking in Adaptive Case Management. 1 Introduction. |
| Record Nr. | UNISA-996466443203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
On the Move to Meaningful Internet Systems: OTM 2015 Workshops [[electronic resource] ] : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / / edited by Ioana Ciuciu, Hervé Panetto, Christophe Debruyne, Alexis Aubry, Peter Bollen, Rafael Valencia-Garcia, Alok Mishra, Anna Fensel, Fernando Ferri
| On the Move to Meaningful Internet Systems: OTM 2015 Workshops [[electronic resource] ] : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / / edited by Ioana Ciuciu, Hervé Panetto, Christophe Debruyne, Alexis Aubry, Peter Bollen, Rafael Valencia-Garcia, Alok Mishra, Anna Fensel, Fernando Ferri |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXIX, 578 p. 193 illus. in color.) |
| Disciplina | 004.6 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Artificial intelligence Software engineering Computer communication systems Algorithms Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Software Engineering Computer Communication Networks Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-26138-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- General Co-Chairs' Message for On TheMove 2015, Rhodes, Greece -- Organization -- On TheMove 2015 Keynotes -- Data Semantics in the Days of Big Data -- Reusable Coordination Components: A Silver Bullet for Reliable Development of Cooperative Information Systems? -- Durable Modeling and Ever-Changing Implementation Technologies -- From (Security) Research to Innovation -- Contents -- On The Move Academy (OTMA) 2015 -- The 12th OnTheMove Academy PC Chairs' Message -- Adaptation Mechanisms for Role-Based Software Systems -- 1 Introduction and Related Work -- 2 Discussion -- References -- Time Management in Workflows with Loops -- 1 Introduction -- 2 Related Work -- 3 Research Goals -- 4 Work Plan and Research Methodology -- References -- Intercloud Communication for Value-Added Smart Home and Smart Grid Services -- 1 Introduction -- 2 Related Work -- 3 Research Hypotheses -- 4 Research Methods and Material -- 5 Discussion and Future Work -- 6 Conclusion -- References -- Dynamics in Linked Data Environments -- 1 Introduction -- 2 Related Work -- 3 Research Hypotheses -- 4 Material -- 5 Methods/Work Plan -- 6 Preliminary Results -- 7 Future/Planned Work -- 8 Conclusion -- References -- Industry Case Studies Program (ICSP) 2015 -- ICSP 2015 PC Chair's Message -- Continuous Data Collection Framework for Manufacturing Industries -- 1 Introduction -- 2 Background -- 2.1 Motivation -- 3 Continuous Data Collection Framework -- 3.1 DCF Architectural Principles - Cloud Computing Paradigm -- 3.2 DCF Architecture -- 4 Application Scenario in Manufacturing Industry -- 4.1 Technology Adoption -- 5 Conclusion -- References -- Determination of Manufacturing Unit Root-Cause Analysis Based on Conditional Monitoring Parameters Using In-Memory Paradigm and Data-Hub Rule Based Optimization Platform -- 1 Introduction -- 2 Data Hub and Information Infrastructure.
3 Root Cause Analysis use Case -- 4 Conclusion -- References -- "Wear" Is the Manufacturing Future: The Latest Fashion Hitting the Workplace -- 1 Introduction -- 2 Data Expansion and Miniaturisation of Devices -- 3 Flexible Cyber Physical Systems -- 3.1 Google Glass / Alphabet -- 3.2 Facebook and Oculus Rift in the Automotive Industry -- 3.3 Microsoft's Venture into the World of Wearables -- 4 The Wearable Future -- 5 Interoperability for Cyber Physical Systems -- 6 Next Steps -- Evaluating the Utilization of the ProcessGene Repository for Generating Enterprise-Specific Business Processes Models -- 1 Introduction -- 2 The ProcessGene Process Repository -- 3 Experiments -- 3.1 Data -- 3.2 Evaluation Methodology -- 3.3 Results and Analysis -- 4 Conclusions -- References -- Impact of Internet of Things in the Retail Industry -- 1 Introduction -- 2 IoT and Retail Industry -- 3 Architecture -- 4 Value Proposition for Business Process in IoT - Case Study -- References -- An Internet of Things (IoT) Based Cyber Physical Framework for Advanced Manufacturing -- 1 Introduction -- 2 Benefits of IoT Based Frameworks and Emergence of the Next Internet -- 3 Overview of IoT Based Cyber Physical Framework -- 4 Discussion and Test Cases -- 5 Conclusion -- References -- International Workshop on Enterprise Integration, Interoperability and Networking (EI2N) 2015 -- EI2N'2015 Co-Chairs' Message -- Subject-Oriented BPM as the Glue for Integrating Enterprise Processes in Smart Factories -- 1 Introduction -- 2 Subject-Oriented Business Process Management -- 2.1 Notation -- 2.2 Encapsulation -- 3 Vertical Process Integration Based on S-BPM -- 4 Prototype -- 5 Conclusion -- References -- Extended Service Modelling Language for Enterprise Network Integration -- 1 Introduction -- 2 State of Art -- 3 Service Oriented Modelling Framework for Enterprise Networks Integration. 4 Business Process Modelling Language for Enterprise Networks Integration -- 5 Service Process Modelling in Collaboration Point -- 6 Operation Process Modelling and Model Mapping Method -- 7 Cases Studying -- 8 Summary and Conclusion -- References -- SAIL: A Domain-Specific Language for Semantic-Aided Automation of Interface Mapping in Enterprise Integration -- 1 Introduction -- 2 Related Work -- 3 The Mapping Process -- Mapping Criteria. -- Conflict Detection and Resolution. -- Expression Building. -- 4 Framework Architecture and Implementation -- 5 Parametrisation Using SAIL -- Property Accessors. -- Conditional Expressions. -- Matchers. -- Conflict Detectors. -- Expression Builders. -- 6 Conclusion and Future Work -- References -- Propelling SMEs Business Intelligence Through Linked Data Production and Consumption -- 1 Introduction -- 2 A Glimpse at the LinDA Workbench -- 3 Real-Life Scenario - Linked Data for the Pharmaceutical Sector -- 3.1 Pharmaceutical Sce enario Implementation -- 4 Delivering the Real Value of Linked Data to SMEs -- 5 Conclusions -- References -- A Domain Specific Language for Organisational Interoperability -- 1 Introduction -- 2 CAS Extended Ontology of Enterprise Interoperability (OoEICAS) -- 3 A OoEICAS Domain Specific Language Supporting the SUddEN Frame of Reference -- 3.1 Scala Implementation -- 3.2 Multi Actor Systems -- 3.3 Multi Agent System Infrastructure -- 3.4 Process Simulation for Interoperability -- 4 Conclusions -- Understanding Personal Mobility Patterns for Proactive Recommendations -- 1 Introduction -- 2 Related Work -- 3 Methodology fo r Extracting Frequent Locations -- 4 Extracting Frequent Locations -- 5 Assessment -- 6 Conclusions and Future Work -- References -- A Real-Time Architecture for Proactive Decision Making in Manufacturing Enterprises -- 1 Introduction and Motivation. 2 Enabling Technologies and Related Work -- 3 A Conceptual Architecture for Decision Making in the Proactive Manufacturing Enterprise -- 4 Envisaged Scenario -- 5 Conclusions and Future Work -- References -- Osmotic Event Detection and Processing for the Sensing-Liquid Enterprise -- 1 Introduction -- 2 Osmotic Sensing-Liquid Enterprise Framework -- 2.1 The OSMOSE Metaphor -- 2.2 Osmotic Event-Driven Architecture and Implementation -- 2.3 Osmotic Knowledge and Context Management Approach -- 3 Semantic Web Enabled Complex Event Processing -- 4 Osmotic Event Detection and Processing -- 4.1 Osmotic Process Modeling -- 4.2 Semantic Event De etection and Decision Making -- 4.3 Runtime Osmotic E Event Processing -- 5 Sensing-Liquid Enterprise Application in the OSMOSE Project -- 6 Conclusion and Future Work -- References -- PiE - Processes in Events: Interconnections in Ambient Assisted Living -- 1 Introduction -- 2 State of the Art -- 3 Running Example -- 4 Events Classification -- 5 Multiple Process Annotation -- 5.1 Events to Processes Mapping -- 5.2 Events Correlation Discovery -- 5.3 Process to Process Interconnection -- 5.4 The AAL Example: Interconnections Between Processes -- 6 Process Analysis: Mining Information from Events -- 7 Final Remarks -- References -- International Workshop on Fact Based Modeling (FBM) 2015 -- FBM PC Co-Chairs' Message -- Developing and Maintaining Durable Specifications for Law or Regulation Based Services -- 1 Introduction -- 2 Dutch Tax and Customs Administration -- 2.1 DTCA's Approach 'Agile Execution of Legislation' -- 3 Case "Tax Assessment" -- 3.1 Analysis of Legislation -- 4 Conclusions and d Future Work -- References -- Fact Based Legal Benefits Services -- 1 Introduction -- 2 Dutch Tax and Customs Administration -- 2.1 DTCA's Approach 'Agile Execution of Legislation' -- 2.2 Collaboration with 'The Blue Chamber'. 2.3 An Overview of e the Approach -- 3 The Benefits Services -- 3.1 The Derivation of t the Legal Consequences -- 4 Conclusions and d Future Work -- References -- Integrating Modelling Disciplines at Conceptual Semantic Level -- 1 Introduction -- 2 Major Pitfall of the Disconnected Approach -- 2.1 Insight and Understanding Requires a Semantic Approach -- 3 A Fully Integrated Modelling Approach -- 4 Processes as an Ordering of Rules -- 4.1 Exchange Rules -- 5 Conclusions and Future Research -- References -- Using Fact-Based Modelling to Develop a Common Language A Use Case -- 1 Introduction -- 2 The Role of the Semantic Information Model -- 3 The Elements of the Meta Model of the Semantic Information Model -- 3.1 Business Concepts and Business Facts -- 3.2 Business Terms -- 3.3 Definitions -- 4 The Protocol -- 4.1 Definition Developm ment and Validation Process -- 5 Quality Criteria -- 6 Conclusions and d Future Work -- References -- Achieving Interoperability at Semantic Level -- 1 Introduction -- 2 Fact-Based Modelling -- 2.1 The Knowledge Triangle -- 3 Fact-Based Modelling and Semantic Interoperability -- 3.1 Conceptual Model at Global Level -- 3.2 Achieving Interoperability -- 4 FAMOUS-2 as Supporting Tool -- 5 Conclusions -- References -- The Great Work of Michael Senko as a Part of a Durable Application Model -- 1 Introduction -- 2 The Modeling Constructs in NLM for Capturing the Durable Application Model -- 2.1 The Natural Language Axiom -- 2.2 Variables and Roles: Both are Needed -- 2.3 Naming Convention Fact Types -- 2.4 Compound Reference Schemes -- 2.5 The Basic Durable Application Model -- 3 The NLM Representation Ontology -- 4 Conclusion: A Hierarchy in the NLM Durable Semantic Modeling Constructs -- References -- The Evolution Towards a Uniform Referencing Mode in Fact-Based Modeling -- 1 Introduction. 1.1 The Running Example: University Staff Languages Spoken Abroad. |
| Record Nr. | UNINA-9910484729503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
On the Move to Meaningful Internet Systems: OTM 2015 Workshops [[electronic resource] ] : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / / edited by Ioana Ciuciu, Hervé Panetto, Christophe Debruyne, Alexis Aubry, Peter Bollen, Rafael Valencia-Garcia, Alok Mishra, Anna Fensel, Fernando Ferri
| On the Move to Meaningful Internet Systems: OTM 2015 Workshops [[electronic resource] ] : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / / edited by Ioana Ciuciu, Hervé Panetto, Christophe Debruyne, Alexis Aubry, Peter Bollen, Rafael Valencia-Garcia, Alok Mishra, Anna Fensel, Fernando Ferri |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXIX, 578 p. 193 illus. in color.) |
| Disciplina | 004.6 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Artificial intelligence Software engineering Computer communication systems Algorithms Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Software Engineering Computer Communication Networks Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-26138-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- General Co-Chairs' Message for On TheMove 2015, Rhodes, Greece -- Organization -- On TheMove 2015 Keynotes -- Data Semantics in the Days of Big Data -- Reusable Coordination Components: A Silver Bullet for Reliable Development of Cooperative Information Systems? -- Durable Modeling and Ever-Changing Implementation Technologies -- From (Security) Research to Innovation -- Contents -- On The Move Academy (OTMA) 2015 -- The 12th OnTheMove Academy PC Chairs' Message -- Adaptation Mechanisms for Role-Based Software Systems -- 1 Introduction and Related Work -- 2 Discussion -- References -- Time Management in Workflows with Loops -- 1 Introduction -- 2 Related Work -- 3 Research Goals -- 4 Work Plan and Research Methodology -- References -- Intercloud Communication for Value-Added Smart Home and Smart Grid Services -- 1 Introduction -- 2 Related Work -- 3 Research Hypotheses -- 4 Research Methods and Material -- 5 Discussion and Future Work -- 6 Conclusion -- References -- Dynamics in Linked Data Environments -- 1 Introduction -- 2 Related Work -- 3 Research Hypotheses -- 4 Material -- 5 Methods/Work Plan -- 6 Preliminary Results -- 7 Future/Planned Work -- 8 Conclusion -- References -- Industry Case Studies Program (ICSP) 2015 -- ICSP 2015 PC Chair's Message -- Continuous Data Collection Framework for Manufacturing Industries -- 1 Introduction -- 2 Background -- 2.1 Motivation -- 3 Continuous Data Collection Framework -- 3.1 DCF Architectural Principles - Cloud Computing Paradigm -- 3.2 DCF Architecture -- 4 Application Scenario in Manufacturing Industry -- 4.1 Technology Adoption -- 5 Conclusion -- References -- Determination of Manufacturing Unit Root-Cause Analysis Based on Conditional Monitoring Parameters Using In-Memory Paradigm and Data-Hub Rule Based Optimization Platform -- 1 Introduction -- 2 Data Hub and Information Infrastructure.
3 Root Cause Analysis use Case -- 4 Conclusion -- References -- "Wear" Is the Manufacturing Future: The Latest Fashion Hitting the Workplace -- 1 Introduction -- 2 Data Expansion and Miniaturisation of Devices -- 3 Flexible Cyber Physical Systems -- 3.1 Google Glass / Alphabet -- 3.2 Facebook and Oculus Rift in the Automotive Industry -- 3.3 Microsoft's Venture into the World of Wearables -- 4 The Wearable Future -- 5 Interoperability for Cyber Physical Systems -- 6 Next Steps -- Evaluating the Utilization of the ProcessGene Repository for Generating Enterprise-Specific Business Processes Models -- 1 Introduction -- 2 The ProcessGene Process Repository -- 3 Experiments -- 3.1 Data -- 3.2 Evaluation Methodology -- 3.3 Results and Analysis -- 4 Conclusions -- References -- Impact of Internet of Things in the Retail Industry -- 1 Introduction -- 2 IoT and Retail Industry -- 3 Architecture -- 4 Value Proposition for Business Process in IoT - Case Study -- References -- An Internet of Things (IoT) Based Cyber Physical Framework for Advanced Manufacturing -- 1 Introduction -- 2 Benefits of IoT Based Frameworks and Emergence of the Next Internet -- 3 Overview of IoT Based Cyber Physical Framework -- 4 Discussion and Test Cases -- 5 Conclusion -- References -- International Workshop on Enterprise Integration, Interoperability and Networking (EI2N) 2015 -- EI2N'2015 Co-Chairs' Message -- Subject-Oriented BPM as the Glue for Integrating Enterprise Processes in Smart Factories -- 1 Introduction -- 2 Subject-Oriented Business Process Management -- 2.1 Notation -- 2.2 Encapsulation -- 3 Vertical Process Integration Based on S-BPM -- 4 Prototype -- 5 Conclusion -- References -- Extended Service Modelling Language for Enterprise Network Integration -- 1 Introduction -- 2 State of Art -- 3 Service Oriented Modelling Framework for Enterprise Networks Integration. 4 Business Process Modelling Language for Enterprise Networks Integration -- 5 Service Process Modelling in Collaboration Point -- 6 Operation Process Modelling and Model Mapping Method -- 7 Cases Studying -- 8 Summary and Conclusion -- References -- SAIL: A Domain-Specific Language for Semantic-Aided Automation of Interface Mapping in Enterprise Integration -- 1 Introduction -- 2 Related Work -- 3 The Mapping Process -- Mapping Criteria. -- Conflict Detection and Resolution. -- Expression Building. -- 4 Framework Architecture and Implementation -- 5 Parametrisation Using SAIL -- Property Accessors. -- Conditional Expressions. -- Matchers. -- Conflict Detectors. -- Expression Builders. -- 6 Conclusion and Future Work -- References -- Propelling SMEs Business Intelligence Through Linked Data Production and Consumption -- 1 Introduction -- 2 A Glimpse at the LinDA Workbench -- 3 Real-Life Scenario - Linked Data for the Pharmaceutical Sector -- 3.1 Pharmaceutical Sce enario Implementation -- 4 Delivering the Real Value of Linked Data to SMEs -- 5 Conclusions -- References -- A Domain Specific Language for Organisational Interoperability -- 1 Introduction -- 2 CAS Extended Ontology of Enterprise Interoperability (OoEICAS) -- 3 A OoEICAS Domain Specific Language Supporting the SUddEN Frame of Reference -- 3.1 Scala Implementation -- 3.2 Multi Actor Systems -- 3.3 Multi Agent System Infrastructure -- 3.4 Process Simulation for Interoperability -- 4 Conclusions -- Understanding Personal Mobility Patterns for Proactive Recommendations -- 1 Introduction -- 2 Related Work -- 3 Methodology fo r Extracting Frequent Locations -- 4 Extracting Frequent Locations -- 5 Assessment -- 6 Conclusions and Future Work -- References -- A Real-Time Architecture for Proactive Decision Making in Manufacturing Enterprises -- 1 Introduction and Motivation. 2 Enabling Technologies and Related Work -- 3 A Conceptual Architecture for Decision Making in the Proactive Manufacturing Enterprise -- 4 Envisaged Scenario -- 5 Conclusions and Future Work -- References -- Osmotic Event Detection and Processing for the Sensing-Liquid Enterprise -- 1 Introduction -- 2 Osmotic Sensing-Liquid Enterprise Framework -- 2.1 The OSMOSE Metaphor -- 2.2 Osmotic Event-Driven Architecture and Implementation -- 2.3 Osmotic Knowledge and Context Management Approach -- 3 Semantic Web Enabled Complex Event Processing -- 4 Osmotic Event Detection and Processing -- 4.1 Osmotic Process Modeling -- 4.2 Semantic Event De etection and Decision Making -- 4.3 Runtime Osmotic E Event Processing -- 5 Sensing-Liquid Enterprise Application in the OSMOSE Project -- 6 Conclusion and Future Work -- References -- PiE - Processes in Events: Interconnections in Ambient Assisted Living -- 1 Introduction -- 2 State of the Art -- 3 Running Example -- 4 Events Classification -- 5 Multiple Process Annotation -- 5.1 Events to Processes Mapping -- 5.2 Events Correlation Discovery -- 5.3 Process to Process Interconnection -- 5.4 The AAL Example: Interconnections Between Processes -- 6 Process Analysis: Mining Information from Events -- 7 Final Remarks -- References -- International Workshop on Fact Based Modeling (FBM) 2015 -- FBM PC Co-Chairs' Message -- Developing and Maintaining Durable Specifications for Law or Regulation Based Services -- 1 Introduction -- 2 Dutch Tax and Customs Administration -- 2.1 DTCA's Approach 'Agile Execution of Legislation' -- 3 Case "Tax Assessment" -- 3.1 Analysis of Legislation -- 4 Conclusions and d Future Work -- References -- Fact Based Legal Benefits Services -- 1 Introduction -- 2 Dutch Tax and Customs Administration -- 2.1 DTCA's Approach 'Agile Execution of Legislation' -- 2.2 Collaboration with 'The Blue Chamber'. 2.3 An Overview of e the Approach -- 3 The Benefits Services -- 3.1 The Derivation of t the Legal Consequences -- 4 Conclusions and d Future Work -- References -- Integrating Modelling Disciplines at Conceptual Semantic Level -- 1 Introduction -- 2 Major Pitfall of the Disconnected Approach -- 2.1 Insight and Understanding Requires a Semantic Approach -- 3 A Fully Integrated Modelling Approach -- 4 Processes as an Ordering of Rules -- 4.1 Exchange Rules -- 5 Conclusions and Future Research -- References -- Using Fact-Based Modelling to Develop a Common Language A Use Case -- 1 Introduction -- 2 The Role of the Semantic Information Model -- 3 The Elements of the Meta Model of the Semantic Information Model -- 3.1 Business Concepts and Business Facts -- 3.2 Business Terms -- 3.3 Definitions -- 4 The Protocol -- 4.1 Definition Developm ment and Validation Process -- 5 Quality Criteria -- 6 Conclusions and d Future Work -- References -- Achieving Interoperability at Semantic Level -- 1 Introduction -- 2 Fact-Based Modelling -- 2.1 The Knowledge Triangle -- 3 Fact-Based Modelling and Semantic Interoperability -- 3.1 Conceptual Model at Global Level -- 3.2 Achieving Interoperability -- 4 FAMOUS-2 as Supporting Tool -- 5 Conclusions -- References -- The Great Work of Michael Senko as a Part of a Durable Application Model -- 1 Introduction -- 2 The Modeling Constructs in NLM for Capturing the Durable Application Model -- 2.1 The Natural Language Axiom -- 2.2 Variables and Roles: Both are Needed -- 2.3 Naming Convention Fact Types -- 2.4 Compound Reference Schemes -- 2.5 The Basic Durable Application Model -- 3 The NLM Representation Ontology -- 4 Conclusion: A Hierarchy in the NLM Durable Semantic Modeling Constructs -- References -- The Evolution Towards a Uniform Referencing Mode in Fact-Based Modeling -- 1 Introduction. 1.1 The Running Example: University Staff Languages Spoken Abroad. |
| Record Nr. | UNISA-996466444103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
On the Move to Meaningful Internet Systems: OTM 2016 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings / / edited by Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, eva Kühn, Declan O'Sullivan, Claudio Agostino Ardagna
| On the Move to Meaningful Internet Systems: OTM 2016 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings / / edited by Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, eva Kühn, Declan O'Sullivan, Claudio Agostino Ardagna |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXVIII, 977 p. 330 illus.) |
| Disciplina | 005.758 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Software engineering Computer security Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Software Engineering Systems and Data Security Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-48472-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | OnTheMove 2014 Keynotes -- International Conference on Cooperative Information Systems (CoopIS) 2016 -- International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE) 2016 -- Cloud and Trusted Computing (C&TC) 2016. . |
| Record Nr. | UNISA-996465279803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
On the Move to Meaningful Internet Systems: OTM 2016 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings / / edited by Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, eva Kühn, Declan O'Sullivan, Claudio Agostino Ardagna
| On the Move to Meaningful Internet Systems: OTM 2016 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings / / edited by Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, eva Kühn, Declan O'Sullivan, Claudio Agostino Ardagna |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXVIII, 977 p. 330 illus.) |
| Disciplina | 005.758 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Software engineering Computer security Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Software Engineering Systems and Data Security Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-48472-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | OnTheMove 2014 Keynotes -- International Conference on Cooperative Information Systems (CoopIS) 2016 -- International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE) 2016 -- Cloud and Trusted Computing (C&TC) 2016. . |
| Record Nr. | UNINA-9910484736803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
On the Move to Meaningful Internet Systems: OTM 2016 Workshops [[electronic resource] ] : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24–28, 2016, Revised Selected Papers / / edited by Ioana Ciuciu, Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Anna Fensel, Maria-Esther Vidal
| On the Move to Meaningful Internet Systems: OTM 2016 Workshops [[electronic resource] ] : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24–28, 2016, Revised Selected Papers / / edited by Ioana Ciuciu, Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Anna Fensel, Maria-Esther Vidal |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XXIV, 342 p. 136 illus.) |
| Disciplina | 005.758 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Artificial intelligence Software engineering Computer communication systems Mathematical logic Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Software Engineering Computer Communication Networks Mathematical Logic and Formal Languages |
| ISBN | 3-319-55961-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | OnTheMove 2016 Keynotes -- International Workshop on Enterprise Integration, Interoperability and Networking (EI2N) 2016 -- Fact Based Modeling (FBM) 2016 -- Industry Case Studies Program (ICSP) 2016 -- International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society(Meta4eS) 2016 -- OnTheMove Academy (OTMA) 2016. |
| Record Nr. | UNISA-996466175703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
On the Move to Meaningful Internet Systems: OTM 2016 Workshops [[electronic resource] ] : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24–28, 2016, Revised Selected Papers / / edited by Ioana Ciuciu, Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Anna Fensel, Maria-Esther Vidal
| On the Move to Meaningful Internet Systems: OTM 2016 Workshops [[electronic resource] ] : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24–28, 2016, Revised Selected Papers / / edited by Ioana Ciuciu, Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Anna Fensel, Maria-Esther Vidal |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XXIV, 342 p. 136 illus.) |
| Disciplina | 005.758 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Artificial intelligence Software engineering Computer communication systems Mathematical logic Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Software Engineering Computer Communication Networks Mathematical Logic and Formal Languages |
| ISBN | 3-319-55961-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | OnTheMove 2016 Keynotes -- International Workshop on Enterprise Integration, Interoperability and Networking (EI2N) 2016 -- Fact Based Modeling (FBM) 2016 -- Industry Case Studies Program (ICSP) 2016 -- International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society(Meta4eS) 2016 -- OnTheMove Academy (OTMA) 2016. |
| Record Nr. | UNINA-9910484284003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
