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.
Advances in rule interchange and applications : international symposium, ruleml 2007, orlando, florida, october 25-26, 2007 ; proceedings / / edited by Adrian Paschke, Yevgen Biletskiy
| Advances in rule interchange and applications : international symposium, ruleml 2007, orlando, florida, october 25-26, 2007 ; proceedings / / edited by Adrian Paschke, Yevgen Biletskiy |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XI, 248 p.) |
| Disciplina | 006.74 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Metadata - Standards
Decision making - Data processing Semantic Web Management information systems Document markup languages |
| ISBN | 3-540-75975-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- How Ontologies and Rules Help to Advance Automobile Development -- Are Your Rules Online? Four Web Rule Essentials -- Session: Business Process, Policy and IT Service Management and Modeling -- KISS – Knowledge-Intensive Service Support: An Approach for Agile Process Management -- Specifying Process-Aware Access Control Rules in SBVR -- A Rule-Based Approach to Prioritization of IT Work Requests Maximizing Net Benefit to the Business -- Session: Rule Languages and Interchange Standards -- A Generic Module System for Web Rule Languages: Divide and Rule -- Towards Semantically Grounded Decision Rules Using ORM?+? -- Towards Ontological Commitments with ?-RIDL Markup Language -- Session: Business Rules, Rule Engines and Applications -- Recovering Business Rules from Legacy Source Code for System Modernization -- An Approach for Bridging the Gap Between Business Rules and the Semantic Web -- Take - A Rule Compiler for Derivation Rules -- Session: RuleML-2007 Challenge -- The OO jDREW Engine of Rule Responder: Naf Hornlog RuleML Query Answering -- Querying the Semantic Web with SWRL -- Implementation of Production Rules for a RIF Dialect: A MISMO Proof-of-Concept for Loan Rates -- Session: Rules, Reasoning, and Ontologies -- Adapting the Rete-Algorithm to Evaluate F-Logic Rules -- Rule Definition for Managing Ontology Development -- Integrating Rules and Description Logics with Circumscription for the Semantic Web -- XML Data Compatibility from the Ground Up -- Session: Reaction Rules and Rule Applications -- Exploiting E-C-A Rules for Defining and Processing Context-Aware Push Messages -- The Use of Ontologies and Rules to Assist in Academic Advising -- Towards Knowledge Extraction from Weblogs and Rule-Based Semantic Querying -- Complex Information Management Using a Framework Supported by ECA Rules in XML -- AIM: An XML-Based ECA Rule Language for Supporting a Framework for Managing Complex Information. |
| Record Nr. | UNINA-9910484350303321 |
| Berlin, Germany ; ; New York, United States : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in rule interchange and applications : international symposium, ruleml 2007, orlando, florida, october 25-26, 2007 ; proceedings / / edited by Adrian Paschke, Yevgen Biletskiy
| Advances in rule interchange and applications : international symposium, ruleml 2007, orlando, florida, october 25-26, 2007 ; proceedings / / edited by Adrian Paschke, Yevgen Biletskiy |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XI, 248 p.) |
| Disciplina | 006.74 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Metadata - Standards
Decision making - Data processing Semantic Web Management information systems Document markup languages |
| ISBN | 3-540-75975-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- How Ontologies and Rules Help to Advance Automobile Development -- Are Your Rules Online? Four Web Rule Essentials -- Session: Business Process, Policy and IT Service Management and Modeling -- KISS – Knowledge-Intensive Service Support: An Approach for Agile Process Management -- Specifying Process-Aware Access Control Rules in SBVR -- A Rule-Based Approach to Prioritization of IT Work Requests Maximizing Net Benefit to the Business -- Session: Rule Languages and Interchange Standards -- A Generic Module System for Web Rule Languages: Divide and Rule -- Towards Semantically Grounded Decision Rules Using ORM?+? -- Towards Ontological Commitments with ?-RIDL Markup Language -- Session: Business Rules, Rule Engines and Applications -- Recovering Business Rules from Legacy Source Code for System Modernization -- An Approach for Bridging the Gap Between Business Rules and the Semantic Web -- Take - A Rule Compiler for Derivation Rules -- Session: RuleML-2007 Challenge -- The OO jDREW Engine of Rule Responder: Naf Hornlog RuleML Query Answering -- Querying the Semantic Web with SWRL -- Implementation of Production Rules for a RIF Dialect: A MISMO Proof-of-Concept for Loan Rates -- Session: Rules, Reasoning, and Ontologies -- Adapting the Rete-Algorithm to Evaluate F-Logic Rules -- Rule Definition for Managing Ontology Development -- Integrating Rules and Description Logics with Circumscription for the Semantic Web -- XML Data Compatibility from the Ground Up -- Session: Reaction Rules and Rule Applications -- Exploiting E-C-A Rules for Defining and Processing Context-Aware Push Messages -- The Use of Ontologies and Rules to Assist in Academic Advising -- Towards Knowledge Extraction from Weblogs and Rule-Based Semantic Querying -- Complex Information Management Using a Framework Supported by ECA Rules in XML -- AIM: An XML-Based ECA Rule Language for Supporting a Framework for Managing Complex Information. |
| Record Nr. | UNISA-996465548103316 |
| Berlin, Germany ; ; New York, United States : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Business Information Systems : 21st International Conference, BIS 2018, Berlin, Germany, July 18-20, 2018, Proceedings / / edited by Witold Abramowicz, Adrian Paschke
| Business Information Systems : 21st International Conference, BIS 2018, Berlin, Germany, July 18-20, 2018, Proceedings / / edited by Witold Abramowicz, Adrian Paschke |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIII, 426 p. 108 illus.) |
| Disciplina | 658.4038 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Application software
Management information systems Data mining Big data Software engineering Information Systems Applications (incl. Internet) Business Information Systems Data Mining and Knowledge Discovery Big Data/Analytics Enterprise Architecture Software Engineering |
| ISBN | 3-319-93931-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Big and Smart Data and Artificial Intelligence -- A hybrid approach to implement data driven optimization into production environments -- Human Perception of Enriched Topic Models -- Predictive Quality: Towards a New Understanding of Quality Assurance Using Machine Learning Tools -- Business and Enterprise Modelling -- Application of Inductive Reference Modeling Approaches to Enterprise Architecture Models -- Towards a Typology of Approaches for Evaluating Sustainability-oriented Business Models -- Towards Agility in IT Governance Frameworks -- Organizations in Transformation: Agility as Consequence or Prerequisite of Digitization -- Information Security Management Systems - A Maturity Model based on ISO/IEC 27001 -- Repairing Outlier Behaviour in Event Logs -- ICT Project Management -- Big Data enabled organizational transformation: The effect of inertia in adoption and diffusion -- Amalgamation of 3D Printing Technology and the Digitalized Industry – Development and Evaluation of an Open Innovation Business Process Model -- Process Management -- Fast Incremental Conformance Analysis for Interactive Process Discovery -- Business Process Compliance and Business Process Change: An Approach to Analyze the Interactions -- Mining Hybrid Business Process Models: A Quest for Better Precision -- Extending BPSim based on Workflow Resource Patterns -- Towards Implementing REST-enabled Business Process Choreographies -- Disambiguation of DMN Decision Tables -- Smart Infrastructures -- Using Blockchain Technology for Business Processes in Purchasing – Concept and Case Study-based Evidence -- Developing a Multiple-Objective Demand Response Algorithm for the Residential Context -- Toward Resilient Mobile Integration Processes -- Social Media and Web-based Business Information Systems Tight and Loose Coupling in Evolving Platform Ecosystems: The Cases of Airbnb and Uber -- On Feeding Business Systems with Linked Resources from the Web of Data -- Increasing the Explanatory Power of Investor Sentiment Analysis for Commodities in Online Media -- Comparative analysis of the informativeness and encyclopedic style of the popular Web information sources -- Applications, Evaluations, and Experiences -- Satellite Imagery Analysis for Operational Damage Assessment in Emergency Situations -- Qualitative Assessment of Machine Learning Techniques in the Context of Fault Diagnostics -- A Comparative Evaluation of Log-Based Process Performance Analysis Techniques -- Blockchain for Business Applications: A Systematic Literature Review -- ICT-based Support for the Collaboration of Formal and Informal Caregivers – A User-Centered Design Study -- Identifying Suitable Representation Techniques for the Prioritization of Requirements and Their Interdependencies for Multiple Software Product Lines. |
| Record Nr. | UNINA-9910299358103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business Information Systems Workshops : BIS 2018 International Workshops, Berlin, Germany, July 18–20, 2018, Revised Papers / / edited by Witold Abramowicz, Adrian Paschke
| Business Information Systems Workshops : BIS 2018 International Workshops, Berlin, Germany, July 18–20, 2018, Revised Papers / / edited by Witold Abramowicz, Adrian Paschke |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 708 p. 238 illus., 119 illus. in color.) |
| Disciplina | 658.4038011 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Business information services
Information storage and retrieval systems Application software Data protection Artificial intelligence Information technology - Management Business Information Systems Information Storage and Retrieval Computer and Information Systems Applications Data and Information Security Artificial Intelligence Computer Application in Administrative Data Processing |
| ISBN | 3-030-04849-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Speech -- Business information systems for the cost/energy management of water distribution networks: a critical appraisal of alternative optimization strategies -- AKTB Workshop -- Enhancing clinical decision support through information processing capabilities and strategic IT alignment -- Ontology-Based Fragmented Company Knowledge Integration: Possible Approaches -- Enhancing Teamwork Behavior of Services -- Business Rule Optimisation: Problem Definition, Proof-of-Concept and Application Areas -- Profiling User Colour Preferences with BFI-44 Personality Traits -- The benefits of modeling software-related exceptional paths of business processes -- Process Mining of Periodic Rating Scale Survey Data using Analytic Hierarchy Process -- BITA Workshop -- Determinants to Benefit from Enterprise Architecture Management - A Research Model -- Business and Information Technology Alignment Measurement - a recent Literature Review -- Using Business Process Modelling to Improve Student Recruitment in UK Higher Education -- Stakeholder-Oriented and Enterprise Architecture Driven Cloud Service Selection -- Business-IT alignment improvement in co-creation value networks: design of a reference model-based support -- Ontology Development Strategies in Industrial Contexts -- BSCT Workshop -- Blockchain Backed DNSSEC -- The Proposal of a Blockchain-based Architecture for Transparent Certificate Handling -- Blockchain-based Distributed Marketplace -- BlockChain based certificate verification platform -- Blockchain-Based Management of Shared Energy Assets Using a Smart Contract Ecosystem -- Research of Ethereum Mining Hash Rate Dependency on GPU Hardware Settings -- Practical deployability of Permissioned Blockchains -- Decentralized Energy Networks based on Blockchain: Background, Overview and Concept Discussion -- Enabling Data Markets using Smart Contracts and Multi-Party Computation -- Opportunities, Challenges, and Future Extensions for Smart-Contract Design Patterns -- A Multichain Architecture for Distributed Supply Chain Design in Industry 4.0 -- Invisible BlockChain and Plasticity of Money - Adam Smith Meets Darwin to Buy Crypto Currency -- Blockchain-based internet voting: systems' compliance with international standards -- Chaining Property to Blocks - On the Economic Efficiency of Blockchain-Based Property Enforcement -- On The Future Of Markets Driven by Blockchain -- Smart Contract-Based Role Management on the Blockchain -- Industrial Socio-Cyberphysical System's Consumables Tokenization for Smart Contracts in Blockchain -- SmartExchange: Decentralised Trustless Cryptocurrency Exchange -- A Public, Blockchain-Based Distributed Smart-Contract Platform Enabling Mobile Lite Wallets Using a Proof-of-Stake Consensus Algorithm -- Risk Engineering and Blockchain: Anticipating and Mitigating Risks -- IDEA Workshop -- IT infrastructure capability and health information exchange: The moderating role of electronic medical records' reach -- The IT department as a service broker: a qualitative research -- Foster strategic Orientation in the Digital Age -- TEA - A Technology Evaluation and Adoption Influence Framework for small and medium sized enterprises -- IDEATE Workshop -- Prescriptive Analytics: A Survey of Approaches and Methods -- Challenges from data-driven predictive maintenance in brownfield industrial settings -- Big Data Is Power Business Value From a Process Oriented Analytics Capability -- Scibo Water Workshop -- A multiple-layer clustering method for real-time decision support in a water distribution system -- Automated updating of land cover maps used in hydrological modeling -- High-performance computing applied in project UBEST -- A Comparative Study on Decision Support Approaches under Uncertainty -- Plastic Grabber: Underwater Autonomous Vehicle Simulation for Plastic Objects Retrieval Using Genetic Programming -- Adaptation of irrigation systems to current climate changes -- QOD Workshop -- ADEQUATe: A Community-driven Approach to Improve Open Data Quality -- Situation-dependent data quality analysis for geospatial data using Semantic technologies -- Indicating Studies' Quality based on Open Data in Digital Libraries -- Syntactical Heuristics for the Open Data Quality Assessment and their applications -- Access Control and Quality Attributes of Open Data: Applications and Techniques -- Doctoral Consortium -- Measures for Quality Assessment of Articles and Infoboxes in Multilingual Wikipedia -- Supply chain modelling using Data Science -- Behavioral biometrics in mobile banking and payment applications -- Modelling of Risk and Reliability of Maritime Transport Services -- Mixed Methods approach as requirements analysis of a method for process harmonization in Design Science Research -- Predicting Customer Churn in Electronic Banking -- Assessing Process Suitability for AI-based Automation. Research Idea and Design. . |
| Record Nr. | UNINA-9910337567203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
I-SEMANTICS 2010 : proceedings of the 6th International Conference on Semantic Systems : 1st-3rd, September 2010, Graz, Austria
| I-SEMANTICS 2010 : proceedings of the 6th International Conference on Semantic Systems : 1st-3rd, September 2010, Graz, Austria |
| Autore | Paschke Adrian |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2010 |
| Descrizione fisica | 1 online resource (281 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Proceedings of the 6th International Conference on Semantic Systems |
| Record Nr. | UNINA-9910376007203321 |
Paschke Adrian
|
||
| [Place of publication not identified], : ACM, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
On the Move to Meaningful Internet Systems. OTM 2017 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I / / edited by Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman
| On the Move to Meaningful Internet Systems. OTM 2017 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I / / edited by Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XXVII, 767 p. 280 illus.) |
| Disciplina | 004.678 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Artificial intelligence
Application software Software engineering Computer security Data mining Computer communication systems Artificial Intelligence Information Systems Applications (incl. Internet) Software Engineering Systems and Data Security Data Mining and Knowledge Discovery Computer Communication Networks |
| ISBN | 3-319-69462-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- General Co-chairs and Editors' Message for OnTheMove 2017 -- Organization -- OnTheMove 2017 Keynotes -- Pragmatic Semantics at Web Scale -- Evolution of the Industrial Internet of Things: Preparing for Change -- Contents - Part I -- Contents - Part II -- International Conference on Cooperative Information Systems (CoopIS) 2017 -- En -- Characterizing Regulatory Documents and Guidelines Based on Text Mining -- 1 Introduction -- 2 Methodology -- 3 Description of Documents -- 3.1 Description of ISO/IEC Documents -- 3.2 Description of Medical Document -- 4 Evaluation -- 4.1 Case Study 1: ISO Documents -- 4.2 Case Study 2: Medical Document -- 5 Limitations and Application Scenarios -- 6 Related Work -- 7 Conclusion and Future Work -- References -- A Scalable Smart Meter Data Generator Using Spark -- 1 Introduction -- 2 Methodology -- 2.1 Overview -- 2.2 Algorithm Description -- 2.3 Optimization -- 3 Implementation on Spark -- 4 Evaluation -- 4.1 Effectiveness -- 4.2 Scalability -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Network-Aware Stochastic Virtual Machine Placement in Geo-Distributed Data Centers -- 1 Introduction -- 2 Problem Formulation -- 2.1 Stochastic Optimization Model -- 2.2 Equivalent Optimization Formulation -- 2.3 Network-Aware Stochastic VM Placement Algorithm -- 3 Performance Evaluation -- 4 Conclusion -- References -- Finding Process Variants in Event Logs -- 1 Introduction -- 2 Preliminaries -- 3 Finding Process Variants in Event Logs -- 4 Implementation and Case Study -- 5 Related Work -- 6 Conclusions -- References -- Interactive and Incremental Business Process Model Repair -- 1 Introduction -- 2 Related Work -- 3 Behavioral Alignment -- 4 Extending Conformance Checking to Process Model Repair -- 4.1 Extension, Order and Impact of Differences -- 4.2 Visualization of Differences -- 5 Evaluation.
5.1 Experiment with Synthetic Datasets -- 5.2 Experiment with Real-Life Dataset -- 6 Conclusion -- References -- Control Flow Structure Preservation During Process Fragment Anonymization -- 1 Introduction -- 2 Control Flow Anonymization -- 3 Evaluation -- 4 Related Work -- 5 Conclusion and Discussion -- References -- Diversity-Aware Continuous Top-k Queries in Social Networks -- 1 Introduction and Related Work -- 2 Data and Processing Models -- 3 The DA-SANTA Algorithm -- 4 Experimental Evaluation -- References -- Modeling and Discovering Cancelation Behavior -- 1 Introduction -- 2 Related Work -- 2.1 Criteria for Comparison -- 2.2 Discussion of the Related Work -- 3 Event Logs and Process Trees -- 3.1 Preliminaries -- 3.2 Event Logs -- 3.3 Process Trees -- 3.4 Cancelation Process Trees -- 4 Heuristics for Error Oracle -- 5 Model Discovery -- 5.1 Directly Follows Graph and Cuts -- 5.2 Discovery Framework -- 5.3 Cancelation Discovery -- 6 Evaluation -- 6.1 Input and Methodology for Comparative Evaluation -- 6.2 Comparative Evaluation Results and Discussion -- 7 Conclusion -- References -- Introducing Collaboration for Locating Features in Models: Approach and Industrial Evaluation -- 1 Introduction -- 2 Background -- 3 Our Approach for Introducing Collaboration in FL -- 3.1 Automatic Query Reformulation -- 3.2 IR FL CORE -- 3.3 Linguistic Rules FL CORE -- 4 Evaluation -- 4.1 Definition -- 4.2 Data Set -- 4.3 Implementation Details -- 4.4 Planning and Execution -- 4.5 Results -- 4.6 Statistical Analysis -- 5 Threats to Validity -- 6 Related Work -- 7 Concluding Remarks -- References -- Context-Aware Access Control with Imprecise Context Characterization Through a Combined Fuzzy Logic and Ontology-Based Approach -- 1 Introduction -- 2 Significance of Our Research and General Requirements -- 2.1 Application Scenario -- 2.2 General Requirements. 3 Our Formal FCAAC Approach -- 3.1 Context Model -- 3.2 Policy Model -- 4 Ontology-Based FCAAC Approach -- 4.1 Modelling Contextual Conditions -- 4.2 Reasoning About Contextual Conditions -- 4.3 FCAAC Policy -- 5 Prototype and Evaluation -- 5.1 Practicality -- 5.2 Performance -- 6 Related Work and Discussion -- 7 Conclusion and Future Research -- References -- Semi-supervised Log Pattern Detection and Exploration Using Event Concurrence and Contextual Information -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 Patterns and Pattern Instances -- 4.1 Core-Activity, Pattern and Pattern Instance -- 4.2 Pattern Support, Confidence and Coverage -- 5 Pattern Detection and Pattern Instance Matching -- 5.1 Pattern Detection Approaches - Partially Ordered Traces to Patterns -- 5.2 Computing a Maximal Set of Pattern Instances -- 6 Evaluation and Discussion -- 7 Conclusion and Future Work -- References -- Cloud of Things Modeling for Efficient and Coordinated Resources Provisioning -- 1 Introduction -- 2 Existing Models and Standards -- 2.1 Internet of Things Environment -- 2.2 Cloud Infrastructure Management Initiatives -- 2.3 Synthesis of Existing Works on Cloud and IoT Models and Standards -- 3 Related Works -- 4 Cloud of Things Infrastructure Model -- 4.1 Network Graph Model -- 4.2 Sensor and Actuator Resources -- 4.3 Things Virtualization -- 4.4 Things Integration Patterns -- 5 Cloud of Things Platform Model -- 5.1 Cloud of Things Deployment Options -- 5.2 Data Components Sharing -- 6 Example Scenarios -- 6.1 Resources Description -- 6.2 Mapping Process -- 7 Cloud of Things Placement Problem Formulation -- 8 Simulation and Results -- 9 Conclusion and Perspectives -- References -- A Framework for Integrating Real-World Events and Business Processes in an IoT Environment -- 1 Introduction -- 2 Foundations -- 2.1 Business Process Management. 2.2 Complex Event Processing -- 3 Requirements Analysis -- 4 Related Work -- 5 Conceptual Framework -- 5.1 Event Generation and Aggregation -- 5.2 Event Binding Points -- 5.3 Event Subscription and Correlation -- 5.4 Reaction on Events -- 6 Implementation -- 6.1 Unicorn Event Processing Platform -- 6.2 Gryphon Case Modeler -- 6.3 Chimera Case Engine -- 7 Conclusion and Future Work -- References -- Methodological Support for Coordinating Tasks in Global Product Software Engineering -- 1 Introduction -- 2 Research Method: The Design Cycle -- 2.1 The Method Association Approach -- 2.2 Method Evaluation Approach -- 3 Problem Investigation -- 3.1 Literature Study -- 3.2 The Global Task Coordination Framework -- 3.3 Identifying Activity Groups -- 3.4 Identifying Method Fragments -- 4 Solution Design: Construction of a Global Task Coordination Method -- 4.1 Method Association -- 4.2 Method Assembly -- 4.3 Method Validation -- 5 Discussion -- 6 Conclusions and Future Research -- Appendix A The Global Task Coordination Method -- References -- Enhancing Process Models to Improve Business Performance: A Methodology and Case Studies -- 1 Introduction -- 2 Preliminaries -- 2.1 Petri Nets and Event Logs -- 2.2 Aligning Petri Nets and Event Logs and Repairing Event Logs -- 3 The Methodology -- 3.1 Deviation Analysis -- 3.2 Repair and Merge Log Clusters -- 3.3 Repair Model -- 4 Implementation and Evaluation -- 4.1 UWV Case Study -- 4.2 SAP Procurement Case Study -- 5 Related Work -- 6 Conclusion -- References -- TraDE - A Transparent Data Exchange Middleware for Service Choreographies -- 1 Introduction -- 2 Transparent Data Exchange Approach -- 2.1 Cross-Partner Data Objects and Cross-Partner Data Flows -- 2.2 Towards a TraDE Middleware -- 3 The TraDE Middleware -- 3.1 Metamodel -- 3.2 Architecture -- 3.3 Integration with Process Engines -- 4 Validation. 5 Evaluation -- 5.1 Evaluation Methodology and Experimental Setup -- 5.2 Experimental Results -- 6 Related Work -- 7 Conclusions and Outlook -- References -- Building the Most Creative and Innovative Collaborative Groups Using Bayes Classifiers -- Abstract -- 1 Introduction -- 2 Related Work on Collaborative Creativity -- 3 A Bayes Classifier-Based Model and Method for Building Optimally Creative and Innovative Groups -- 3.1 Bayesian Network Classifiers -- 3.2 General Model for Building "the Best" Collaborative Groups -- 3.3 Model Instantiation for Building the Most Creative Learning Groups -- 4 Case Study - A Real-World Scenario -- 5 Discussion -- 6 Conclusions and Future Work -- References -- A New Collaborative Paradigm of Computer Science Student Contests: An Experience -- Abstract -- 1 Introduction -- 2 Computer Science Contests -- 2.1 Computer Programming Contests -- 2.2 New Paradigms -- 3 Our Experience with Computer Science Contests -- 3.1 Evolution of Our Contest -- 3.2 A New Paradigm: Three-Words-from-a-Hat -- 3.3 Experiencing the New Paradigm -- 4 Is the New Paradigm Beneficial for Computer Science Education? -- 4.1 Is Competition Beneficial to Education? -- 4.2 Reflecting on the New Paradigm -- 5 Conclusions -- References -- Ranking-Based Evaluation of Process Model Matching -- 1 Introduction -- 2 Problem Statement -- 3 Probabilistic Evaluation of Process Model Matching -- 4 Evaluation Experiments -- 4.1 Setup -- 4.2 Results -- 5 Related Work -- 6 Conclusion -- References -- Analysis and Re-configuration of Decision Logic in Adaptive and Data-Intensive Processes (Short Paper) -- 1 Introduction -- 2 Challenges for Decision Logic Re-configuration: A Loan Approval Motivation Scenario -- 3 Supporting Decision Propagation in Business Processes -- 3.1 Feature-Oriented Representation of Decision Logic. 3.2 Constraint-Based Analysis of Decision Logic. |
| Record Nr. | UNISA-996465634603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
On the Move to Meaningful Internet Systems. OTM 2017 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II / / edited by Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman
| On the Move to Meaningful Internet Systems. OTM 2017 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II / / edited by Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XXVII, 515 p. 152 illus.) |
| Disciplina | 004.678 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Artificial intelligence
Software engineering Application software Database management Data mining Mathematical logic Artificial Intelligence Software Engineering Information Systems Applications (incl. Internet) Database Management Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages |
| ISBN | 3-319-69459-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- General Co-chairs and Editors' Message for OnTheMove 2017 -- Organization -- OnTheMove 2017 Keynotes -- Pragmatic Semantics at Web Scale -- Evolution of the Industrial Internet of Things: Preparing for Change -- Contents - Part II -- Contents - Part I -- Cloud and Trusted Computing (C&TC) 2017 -- En -- Property Preserving Encryption in NoSQL Wide Column Stores -- 1 Introduction -- 2 Related Work -- 3 Background -- 3.1 The Data Model of Wide Column Stores -- 3.2 Property-Preserving Encryption -- 4 Selecting Practical PPE Schemes -- 4.1 Deterministic Encryption -- 4.2 Order-Preserving Encryption -- 4.3 Searchable Encryption -- 5 Data Management on Server Side -- 5.1 An Onion Layer Model for WCSs -- 5.2 Querying the Encrypted Data -- 6 Evaluation -- 6.1 Implementation -- 6.2 Performance -- 7 Security -- 8 Extensions and Future Work -- 9 Conclusion -- References -- Towards a JSON-Based Fast Policy Evaluation Framework -- 1 Introduction -- 2 Fundamentals of JACPoL -- 3 Performance Evaluation -- 4 Conclusion -- References -- Gibbon: An Availability Evaluation Framework for Distributed Databases -- 1 Introduction -- 2 Background -- 2.1 Distributed Database Systems -- 2.2 Availability for DDBMSs -- 2.3 Cloud Infrastructure -- 3 Failure Impact Analysis -- 3.1 Replication for Availability -- 3.2 Failures and Recovery -- 4 Availability Metrics -- 4.1 Input Parameters -- 4.2 Output Metrics -- 5 Availability Evaluation -- 5.1 Evaluation Process -- 5.2 DB Gibbon Algorithm -- 6 Architecture -- 7 Discussion -- 7.1 Evaluation Scenario: MongoDB -- 7.2 Evaluation Results -- 8 Related Work -- 9 Conclusion and Future Work -- References -- Locality-Aware GC Optimisations for Big Data Workloads -- 1 Introduction -- 2 Background -- 2.1 NoSQL Databases and Object Locality -- 2.2 Garbage Collection Algorithms and Heap Layouts.
3 Gang Promotion in Heap Management -- 3.1 Identifying Relevant Object-Graphs -- 3.2 Gang GC on a Large Heap -- 4 Deployment of Gang Promotion on Hotspot JVM -- 4.1 Java Runtime Instrumentation -- 4.2 LAG1 --- Locality-Aware Extension of G1 -- 5 Evaluation -- 5.1 Evaluation Setup -- 5.2 Program Locality in System -- 5.3 Application Behaviour -- 6 Related Work -- 7 Conclusion -- References -- FairCloud: Truthful Cloud Scheduling with Continuous and Combinatorial Auctions -- 1 Introduction -- 2 Related Work -- 3 Architecture -- 3.1 Architecture Design Requirements -- 3.2 Bid Representation Language -- 3.3 Entities and Events -- 3.4 Auctioneer Algorithms -- 4 Implementation -- 5 Evaluation -- 6 Conclusion -- References -- A Novel WebGIS-Based Situational Awareness Platform for Trustworthy Big Data Integration and Analytics in Mobility Context -- 1 Introduction -- 2 The MAGNIFIER WebGIS-Based Situational Awareness Platform -- 3 The MAGNIFIER Technological Architecture -- 4 PRACTIONIST DSS -- 5 Conclusion and Future Works -- References -- On the Verification of Software Vulnerabilities During Static Code Analysis Using Data Mining Techniques -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Approach -- 4 Conclusion, Discussion, and Future Work -- References -- International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE) 2017 -- En -- Linked Data and Ontology Reference Model for Infectious Disease Reporting Systems -- 1 Introduction -- 2 Goal of Semantics Usage -- 3 Semantic Reference Model -- 3.1 Semantifying Relational Data -- 3.2 Consistent Model -- 4 Geo Political Ontology -- 5 Relevant Work -- 6 Evaluation Through Competency Questions -- 6.1 Use Case -- 6.2 Competency Questions -- References -- PFSgeo: Preference-Enriched Faceted Search for Geographical Data -- 1 Introduction -- 2 Related Work and Novelty. 3 The PFSgeo Approach -- 3.1 Extensions of the Language of PFS -- 3.2 Extensions of the System Hippalus -- 3.3 Algorithmic Perspective -- 4 Performance Evaluation -- 4.1 Testing Scalability -- 4.2 Analysis of the Performance -- 4.3 Comparative Experimental Results -- 5 Evaluation with Users -- 5.1 Preparation -- 6 Concluding Remarks -- References -- Speeding up Publication of Linked Data Using Data Chunking in LinkedPipes ETL -- 1 Introduction -- 2 Data Chunking -- 3 Data Chunking in LinkedPipes ETL -- 3.1 SPARQL Endpoint Extractor -- 3.2 Tabular Extractor and Files to RDF -- 3.3 SPARQL Transformers -- 3.4 Merger Component and Loaders -- 4 Datasets and Pipelines for Experiments -- 4.1 LISTID - List of Czech Business Entity IDs -- 4.2 ARES - Czech Business Registry -- 4.3 MONITOR - Budget Information of All Levels of Czech State Administration -- 4.4 RÚIAN - Registry of Territorial Identification, Addresses and Real Estate -- 5 Experiments -- 5.1 LISTID -- 5.2 ARES -- 5.3 MONITOR -- 5.4 RÚIAN -- 6 Related Work -- 7 Conclusions and Future Work -- References -- A Particle Swarm-Based Approach for Semantic Similarity Computation -- 1 Introduction -- 2 Background -- 2.1 Ontology-Based Similarity Measures -- 2.2 Ontology-Based Similarity Computation Scenarios -- 3 The Proposed Approach -- 3.1 Finding LCS as a Particle Swarm Optimization Problem -- 3.2 Fitness Scores of the LCS Evaluation -- 4 Experimental Evaluation -- 4.1 Benchmarks and Ontologies -- 4.2 Implementation -- 4.3 Experimental Results -- 5 Conclusion -- References -- Agent-Based Assistance in Ambient Assisted Living Through Reinforcement Learning and Semantic Technologies -- 1 Introduction -- 2 Related Work -- 3 Approach -- 3.1 Reinforcement Learning -- 3.2 Agent Semantics -- 3.3 Automated ``Semantification'' and Retrieval of Agent Policies -- 4 First Results and Conclusion -- References. On the Need for Applications Aware Adaptive Middleware in Real-Time RDF Data Analysis (Short Paper) -- 1 Introduction -- 2 Formalization of RSP Features -- 3 Evaluation of RSP Engines Based on Formalized RSP Features -- 3.1 Latency and Breaking Points -- 3.2 Memory Consumption -- 4 Adaptive Middleware for RSP -- 4.1 Adaptive Layer -- 5 Conclusion -- References -- Learning Probabilistic Relational Models Using an Ontology of Transformation Processes -- 1 Introduction -- 2 Backgrounds -- 2.1 The Ontology of Transformation Processes -- 2.2 Probabilistic Relational Models -- 2.3 Learning PRMs -- 3 Learning a PRM Using an Ontology -- 3.1 Relational Schema Mapping -- 3.2 Our ON2PRM Algorithm -- 4 Experiments -- 4.1 Databases Generation -- 4.2 Results -- 5 Conclusion -- References -- ORDAIN: An Ontology for Trust Management in the Internet of Things -- Abstract -- 1 Introduction -- 2 Defining Trust and Reputation -- 3 ORDAIN Ontology -- 3.1 Ontology Contents -- 3.2 Ontology Implementation -- 4 Related Work -- 5 Conclusions -- Acknowledgments -- References -- APOPSIS: A Web-Based Platform for the Analysis of Structured Dialogues -- 1 Introduction -- 2 Background and Related Work -- 2.1 Computational Argumentation -- 2.2 Machine Learning -- 2.3 Existing Tools for Online Debates -- 3 A Methodology and Platform for Opinion Analysis -- 3.1 A Platform Methodology -- 3.2 Knowledge Map Representation -- 3.3 The MACE - Ontology Domain -- 3.4 Evaluating Opinions -- 4 Methodology: Analysing User-Generated Opinions -- 4.1 Clustering Analysis -- 5 Apopsis Implementation and Architecture Details -- 5.1 Debating Functionality -- 5.2 Debating on Different Levels of Discussions -- 5.3 Voting Mechanism -- 5.4 Searching Mechanism -- 5.5 General Features -- 5.6 Technical Information and Architecture -- 6 Conclusion and Future Work -- References. Identifying Opinion Drivers on Social Media -- 1 Introduction -- 2 Related Literature -- 3 Driver Identification: Formal Model -- 4 Results and Evaluation -- 5 Conclusions -- References -- Representing Fashion Product Data with Schema.org: Approach and Use Cases -- Abstract -- 1 Introduction -- 2 Overview of Clothing-Related Information -- 2.1 Garment Sizes -- 2.2 Colors -- 2.3 Product Variants -- 2.4 Materials Information -- 2.5 Textile Care Recommendations -- 2.6 Certifications -- 3 Clothing Product Information with Schema.org -- 3.1 Method -- 3.2 Representation of Basic Product Information -- 3.3 Representation of Clothing-Related Information -- 3.4 Representation of Textile Care Recommendations -- 3.5 Representation of Certifications -- 3.6 Other Information -- 3.7 Formalization and Results -- 4 Evaluation -- 5 Discussion and Conclusion -- 5.1 Related Work -- 5.2 Our Approach -- 5.3 Future Work -- References -- Semantic Modeling and Inference with Episodic Organization for Managing Personal Digital Traces -- 1 Introduction -- 2 Related Work -- 3 A Conceptual Model for Entities and Atomic Actions -- 4 Conceptual Model for scripts -- 5 Recognizing Script Instances from Documents -- 6 Summary -- References -- Linked Open Data for Linguists: Publishing the Hartmann von Aue-Portal in RDF -- Abstract -- 1 Introduction -- 1.1 Context -- 1.2 Problem Statement -- 1.3 Relevance -- 1.4 Organization of the Paper -- 2 Linked Open Data -- 3 The Hartmann von Aue-Portal -- 3.1 Purpose and Current Status -- 3.2 Data Model -- 3.3 Text Corpus Statistics -- 4 Approach -- 4.1 Challenges -- 4.2 Method -- 4.3 Implementation -- 4.4 Results -- 5 Evaluation -- 5.1 Formal Validation -- 5.2 Usage for Data-Driven Research -- 5.3 Interlinking of Hartmann von Aue Datasets with DBPedia -- 5.4 Reverse-Engineering -- 6 Discussion and Conclusion -- 6.1 Related Work. 6.2 Our Contribution. |
| Record Nr. | UNISA-996465636403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
On the Move to Meaningful Internet Systems. OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II / / edited by Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman
| On the Move to Meaningful Internet Systems. OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II / / edited by Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XXVII, 515 p. 152 illus.) |
| Disciplina | 004.678 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Artificial intelligence
Software engineering Application software Database management Data mining Mathematical logic Artificial Intelligence Software Engineering Information Systems Applications (incl. Internet) Database Management Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages |
| ISBN | 3-319-69459-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- General Co-chairs and Editors' Message for OnTheMove 2017 -- Organization -- OnTheMove 2017 Keynotes -- Pragmatic Semantics at Web Scale -- Evolution of the Industrial Internet of Things: Preparing for Change -- Contents - Part II -- Contents - Part I -- Cloud and Trusted Computing (C&TC) 2017 -- En -- Property Preserving Encryption in NoSQL Wide Column Stores -- 1 Introduction -- 2 Related Work -- 3 Background -- 3.1 The Data Model of Wide Column Stores -- 3.2 Property-Preserving Encryption -- 4 Selecting Practical PPE Schemes -- 4.1 Deterministic Encryption -- 4.2 Order-Preserving Encryption -- 4.3 Searchable Encryption -- 5 Data Management on Server Side -- 5.1 An Onion Layer Model for WCSs -- 5.2 Querying the Encrypted Data -- 6 Evaluation -- 6.1 Implementation -- 6.2 Performance -- 7 Security -- 8 Extensions and Future Work -- 9 Conclusion -- References -- Towards a JSON-Based Fast Policy Evaluation Framework -- 1 Introduction -- 2 Fundamentals of JACPoL -- 3 Performance Evaluation -- 4 Conclusion -- References -- Gibbon: An Availability Evaluation Framework for Distributed Databases -- 1 Introduction -- 2 Background -- 2.1 Distributed Database Systems -- 2.2 Availability for DDBMSs -- 2.3 Cloud Infrastructure -- 3 Failure Impact Analysis -- 3.1 Replication for Availability -- 3.2 Failures and Recovery -- 4 Availability Metrics -- 4.1 Input Parameters -- 4.2 Output Metrics -- 5 Availability Evaluation -- 5.1 Evaluation Process -- 5.2 DB Gibbon Algorithm -- 6 Architecture -- 7 Discussion -- 7.1 Evaluation Scenario: MongoDB -- 7.2 Evaluation Results -- 8 Related Work -- 9 Conclusion and Future Work -- References -- Locality-Aware GC Optimisations for Big Data Workloads -- 1 Introduction -- 2 Background -- 2.1 NoSQL Databases and Object Locality -- 2.2 Garbage Collection Algorithms and Heap Layouts.
3 Gang Promotion in Heap Management -- 3.1 Identifying Relevant Object-Graphs -- 3.2 Gang GC on a Large Heap -- 4 Deployment of Gang Promotion on Hotspot JVM -- 4.1 Java Runtime Instrumentation -- 4.2 LAG1 --- Locality-Aware Extension of G1 -- 5 Evaluation -- 5.1 Evaluation Setup -- 5.2 Program Locality in System -- 5.3 Application Behaviour -- 6 Related Work -- 7 Conclusion -- References -- FairCloud: Truthful Cloud Scheduling with Continuous and Combinatorial Auctions -- 1 Introduction -- 2 Related Work -- 3 Architecture -- 3.1 Architecture Design Requirements -- 3.2 Bid Representation Language -- 3.3 Entities and Events -- 3.4 Auctioneer Algorithms -- 4 Implementation -- 5 Evaluation -- 6 Conclusion -- References -- A Novel WebGIS-Based Situational Awareness Platform for Trustworthy Big Data Integration and Analytics in Mobility Context -- 1 Introduction -- 2 The MAGNIFIER WebGIS-Based Situational Awareness Platform -- 3 The MAGNIFIER Technological Architecture -- 4 PRACTIONIST DSS -- 5 Conclusion and Future Works -- References -- On the Verification of Software Vulnerabilities During Static Code Analysis Using Data Mining Techniques -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Approach -- 4 Conclusion, Discussion, and Future Work -- References -- International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE) 2017 -- En -- Linked Data and Ontology Reference Model for Infectious Disease Reporting Systems -- 1 Introduction -- 2 Goal of Semantics Usage -- 3 Semantic Reference Model -- 3.1 Semantifying Relational Data -- 3.2 Consistent Model -- 4 Geo Political Ontology -- 5 Relevant Work -- 6 Evaluation Through Competency Questions -- 6.1 Use Case -- 6.2 Competency Questions -- References -- PFSgeo: Preference-Enriched Faceted Search for Geographical Data -- 1 Introduction -- 2 Related Work and Novelty. 3 The PFSgeo Approach -- 3.1 Extensions of the Language of PFS -- 3.2 Extensions of the System Hippalus -- 3.3 Algorithmic Perspective -- 4 Performance Evaluation -- 4.1 Testing Scalability -- 4.2 Analysis of the Performance -- 4.3 Comparative Experimental Results -- 5 Evaluation with Users -- 5.1 Preparation -- 6 Concluding Remarks -- References -- Speeding up Publication of Linked Data Using Data Chunking in LinkedPipes ETL -- 1 Introduction -- 2 Data Chunking -- 3 Data Chunking in LinkedPipes ETL -- 3.1 SPARQL Endpoint Extractor -- 3.2 Tabular Extractor and Files to RDF -- 3.3 SPARQL Transformers -- 3.4 Merger Component and Loaders -- 4 Datasets and Pipelines for Experiments -- 4.1 LISTID - List of Czech Business Entity IDs -- 4.2 ARES - Czech Business Registry -- 4.3 MONITOR - Budget Information of All Levels of Czech State Administration -- 4.4 RÚIAN - Registry of Territorial Identification, Addresses and Real Estate -- 5 Experiments -- 5.1 LISTID -- 5.2 ARES -- 5.3 MONITOR -- 5.4 RÚIAN -- 6 Related Work -- 7 Conclusions and Future Work -- References -- A Particle Swarm-Based Approach for Semantic Similarity Computation -- 1 Introduction -- 2 Background -- 2.1 Ontology-Based Similarity Measures -- 2.2 Ontology-Based Similarity Computation Scenarios -- 3 The Proposed Approach -- 3.1 Finding LCS as a Particle Swarm Optimization Problem -- 3.2 Fitness Scores of the LCS Evaluation -- 4 Experimental Evaluation -- 4.1 Benchmarks and Ontologies -- 4.2 Implementation -- 4.3 Experimental Results -- 5 Conclusion -- References -- Agent-Based Assistance in Ambient Assisted Living Through Reinforcement Learning and Semantic Technologies -- 1 Introduction -- 2 Related Work -- 3 Approach -- 3.1 Reinforcement Learning -- 3.2 Agent Semantics -- 3.3 Automated ``Semantification'' and Retrieval of Agent Policies -- 4 First Results and Conclusion -- References. On the Need for Applications Aware Adaptive Middleware in Real-Time RDF Data Analysis (Short Paper) -- 1 Introduction -- 2 Formalization of RSP Features -- 3 Evaluation of RSP Engines Based on Formalized RSP Features -- 3.1 Latency and Breaking Points -- 3.2 Memory Consumption -- 4 Adaptive Middleware for RSP -- 4.1 Adaptive Layer -- 5 Conclusion -- References -- Learning Probabilistic Relational Models Using an Ontology of Transformation Processes -- 1 Introduction -- 2 Backgrounds -- 2.1 The Ontology of Transformation Processes -- 2.2 Probabilistic Relational Models -- 2.3 Learning PRMs -- 3 Learning a PRM Using an Ontology -- 3.1 Relational Schema Mapping -- 3.2 Our ON2PRM Algorithm -- 4 Experiments -- 4.1 Databases Generation -- 4.2 Results -- 5 Conclusion -- References -- ORDAIN: An Ontology for Trust Management in the Internet of Things -- Abstract -- 1 Introduction -- 2 Defining Trust and Reputation -- 3 ORDAIN Ontology -- 3.1 Ontology Contents -- 3.2 Ontology Implementation -- 4 Related Work -- 5 Conclusions -- Acknowledgments -- References -- APOPSIS: A Web-Based Platform for the Analysis of Structured Dialogues -- 1 Introduction -- 2 Background and Related Work -- 2.1 Computational Argumentation -- 2.2 Machine Learning -- 2.3 Existing Tools for Online Debates -- 3 A Methodology and Platform for Opinion Analysis -- 3.1 A Platform Methodology -- 3.2 Knowledge Map Representation -- 3.3 The MACE - Ontology Domain -- 3.4 Evaluating Opinions -- 4 Methodology: Analysing User-Generated Opinions -- 4.1 Clustering Analysis -- 5 Apopsis Implementation and Architecture Details -- 5.1 Debating Functionality -- 5.2 Debating on Different Levels of Discussions -- 5.3 Voting Mechanism -- 5.4 Searching Mechanism -- 5.5 General Features -- 5.6 Technical Information and Architecture -- 6 Conclusion and Future Work -- References. Identifying Opinion Drivers on Social Media -- 1 Introduction -- 2 Related Literature -- 3 Driver Identification: Formal Model -- 4 Results and Evaluation -- 5 Conclusions -- References -- Representing Fashion Product Data with Schema.org: Approach and Use Cases -- Abstract -- 1 Introduction -- 2 Overview of Clothing-Related Information -- 2.1 Garment Sizes -- 2.2 Colors -- 2.3 Product Variants -- 2.4 Materials Information -- 2.5 Textile Care Recommendations -- 2.6 Certifications -- 3 Clothing Product Information with Schema.org -- 3.1 Method -- 3.2 Representation of Basic Product Information -- 3.3 Representation of Clothing-Related Information -- 3.4 Representation of Textile Care Recommendations -- 3.5 Representation of Certifications -- 3.6 Other Information -- 3.7 Formalization and Results -- 4 Evaluation -- 5 Discussion and Conclusion -- 5.1 Related Work -- 5.2 Our Approach -- 5.3 Future Work -- References -- Semantic Modeling and Inference with Episodic Organization for Managing Personal Digital Traces -- 1 Introduction -- 2 Related Work -- 3 A Conceptual Model for Entities and Atomic Actions -- 4 Conceptual Model for scripts -- 5 Recognizing Script Instances from Documents -- 6 Summary -- References -- Linked Open Data for Linguists: Publishing the Hartmann von Aue-Portal in RDF -- Abstract -- 1 Introduction -- 1.1 Context -- 1.2 Problem Statement -- 1.3 Relevance -- 1.4 Organization of the Paper -- 2 Linked Open Data -- 3 The Hartmann von Aue-Portal -- 3.1 Purpose and Current Status -- 3.2 Data Model -- 3.3 Text Corpus Statistics -- 4 Approach -- 4.1 Challenges -- 4.2 Method -- 4.3 Implementation -- 4.4 Results -- 5 Evaluation -- 5.1 Formal Validation -- 5.2 Usage for Data-Driven Research -- 5.3 Interlinking of Hartmann von Aue Datasets with DBPedia -- 5.4 Reverse-Engineering -- 6 Discussion and Conclusion -- 6.1 Related Work. 6.2 Our Contribution. |
| Record Nr. | UNINA-9910484246603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
On the Move to Meaningful Internet Systems. OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I / / edited by Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman
| On the Move to Meaningful Internet Systems. OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I / / edited by Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XXVII, 767 p. 280 illus.) |
| Disciplina | 004.678 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Artificial intelligence
Application software Software engineering Computer security Data mining Computer communication systems Artificial Intelligence Information Systems Applications (incl. Internet) Software Engineering Systems and Data Security Data Mining and Knowledge Discovery Computer Communication Networks |
| ISBN | 3-319-69462-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- General Co-chairs and Editors' Message for OnTheMove 2017 -- Organization -- OnTheMove 2017 Keynotes -- Pragmatic Semantics at Web Scale -- Evolution of the Industrial Internet of Things: Preparing for Change -- Contents - Part I -- Contents - Part II -- International Conference on Cooperative Information Systems (CoopIS) 2017 -- En -- Characterizing Regulatory Documents and Guidelines Based on Text Mining -- 1 Introduction -- 2 Methodology -- 3 Description of Documents -- 3.1 Description of ISO/IEC Documents -- 3.2 Description of Medical Document -- 4 Evaluation -- 4.1 Case Study 1: ISO Documents -- 4.2 Case Study 2: Medical Document -- 5 Limitations and Application Scenarios -- 6 Related Work -- 7 Conclusion and Future Work -- References -- A Scalable Smart Meter Data Generator Using Spark -- 1 Introduction -- 2 Methodology -- 2.1 Overview -- 2.2 Algorithm Description -- 2.3 Optimization -- 3 Implementation on Spark -- 4 Evaluation -- 4.1 Effectiveness -- 4.2 Scalability -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Network-Aware Stochastic Virtual Machine Placement in Geo-Distributed Data Centers -- 1 Introduction -- 2 Problem Formulation -- 2.1 Stochastic Optimization Model -- 2.2 Equivalent Optimization Formulation -- 2.3 Network-Aware Stochastic VM Placement Algorithm -- 3 Performance Evaluation -- 4 Conclusion -- References -- Finding Process Variants in Event Logs -- 1 Introduction -- 2 Preliminaries -- 3 Finding Process Variants in Event Logs -- 4 Implementation and Case Study -- 5 Related Work -- 6 Conclusions -- References -- Interactive and Incremental Business Process Model Repair -- 1 Introduction -- 2 Related Work -- 3 Behavioral Alignment -- 4 Extending Conformance Checking to Process Model Repair -- 4.1 Extension, Order and Impact of Differences -- 4.2 Visualization of Differences -- 5 Evaluation.
5.1 Experiment with Synthetic Datasets -- 5.2 Experiment with Real-Life Dataset -- 6 Conclusion -- References -- Control Flow Structure Preservation During Process Fragment Anonymization -- 1 Introduction -- 2 Control Flow Anonymization -- 3 Evaluation -- 4 Related Work -- 5 Conclusion and Discussion -- References -- Diversity-Aware Continuous Top-k Queries in Social Networks -- 1 Introduction and Related Work -- 2 Data and Processing Models -- 3 The DA-SANTA Algorithm -- 4 Experimental Evaluation -- References -- Modeling and Discovering Cancelation Behavior -- 1 Introduction -- 2 Related Work -- 2.1 Criteria for Comparison -- 2.2 Discussion of the Related Work -- 3 Event Logs and Process Trees -- 3.1 Preliminaries -- 3.2 Event Logs -- 3.3 Process Trees -- 3.4 Cancelation Process Trees -- 4 Heuristics for Error Oracle -- 5 Model Discovery -- 5.1 Directly Follows Graph and Cuts -- 5.2 Discovery Framework -- 5.3 Cancelation Discovery -- 6 Evaluation -- 6.1 Input and Methodology for Comparative Evaluation -- 6.2 Comparative Evaluation Results and Discussion -- 7 Conclusion -- References -- Introducing Collaboration for Locating Features in Models: Approach and Industrial Evaluation -- 1 Introduction -- 2 Background -- 3 Our Approach for Introducing Collaboration in FL -- 3.1 Automatic Query Reformulation -- 3.2 IR FL CORE -- 3.3 Linguistic Rules FL CORE -- 4 Evaluation -- 4.1 Definition -- 4.2 Data Set -- 4.3 Implementation Details -- 4.4 Planning and Execution -- 4.5 Results -- 4.6 Statistical Analysis -- 5 Threats to Validity -- 6 Related Work -- 7 Concluding Remarks -- References -- Context-Aware Access Control with Imprecise Context Characterization Through a Combined Fuzzy Logic and Ontology-Based Approach -- 1 Introduction -- 2 Significance of Our Research and General Requirements -- 2.1 Application Scenario -- 2.2 General Requirements. 3 Our Formal FCAAC Approach -- 3.1 Context Model -- 3.2 Policy Model -- 4 Ontology-Based FCAAC Approach -- 4.1 Modelling Contextual Conditions -- 4.2 Reasoning About Contextual Conditions -- 4.3 FCAAC Policy -- 5 Prototype and Evaluation -- 5.1 Practicality -- 5.2 Performance -- 6 Related Work and Discussion -- 7 Conclusion and Future Research -- References -- Semi-supervised Log Pattern Detection and Exploration Using Event Concurrence and Contextual Information -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 Patterns and Pattern Instances -- 4.1 Core-Activity, Pattern and Pattern Instance -- 4.2 Pattern Support, Confidence and Coverage -- 5 Pattern Detection and Pattern Instance Matching -- 5.1 Pattern Detection Approaches - Partially Ordered Traces to Patterns -- 5.2 Computing a Maximal Set of Pattern Instances -- 6 Evaluation and Discussion -- 7 Conclusion and Future Work -- References -- Cloud of Things Modeling for Efficient and Coordinated Resources Provisioning -- 1 Introduction -- 2 Existing Models and Standards -- 2.1 Internet of Things Environment -- 2.2 Cloud Infrastructure Management Initiatives -- 2.3 Synthesis of Existing Works on Cloud and IoT Models and Standards -- 3 Related Works -- 4 Cloud of Things Infrastructure Model -- 4.1 Network Graph Model -- 4.2 Sensor and Actuator Resources -- 4.3 Things Virtualization -- 4.4 Things Integration Patterns -- 5 Cloud of Things Platform Model -- 5.1 Cloud of Things Deployment Options -- 5.2 Data Components Sharing -- 6 Example Scenarios -- 6.1 Resources Description -- 6.2 Mapping Process -- 7 Cloud of Things Placement Problem Formulation -- 8 Simulation and Results -- 9 Conclusion and Perspectives -- References -- A Framework for Integrating Real-World Events and Business Processes in an IoT Environment -- 1 Introduction -- 2 Foundations -- 2.1 Business Process Management. 2.2 Complex Event Processing -- 3 Requirements Analysis -- 4 Related Work -- 5 Conceptual Framework -- 5.1 Event Generation and Aggregation -- 5.2 Event Binding Points -- 5.3 Event Subscription and Correlation -- 5.4 Reaction on Events -- 6 Implementation -- 6.1 Unicorn Event Processing Platform -- 6.2 Gryphon Case Modeler -- 6.3 Chimera Case Engine -- 7 Conclusion and Future Work -- References -- Methodological Support for Coordinating Tasks in Global Product Software Engineering -- 1 Introduction -- 2 Research Method: The Design Cycle -- 2.1 The Method Association Approach -- 2.2 Method Evaluation Approach -- 3 Problem Investigation -- 3.1 Literature Study -- 3.2 The Global Task Coordination Framework -- 3.3 Identifying Activity Groups -- 3.4 Identifying Method Fragments -- 4 Solution Design: Construction of a Global Task Coordination Method -- 4.1 Method Association -- 4.2 Method Assembly -- 4.3 Method Validation -- 5 Discussion -- 6 Conclusions and Future Research -- Appendix A The Global Task Coordination Method -- References -- Enhancing Process Models to Improve Business Performance: A Methodology and Case Studies -- 1 Introduction -- 2 Preliminaries -- 2.1 Petri Nets and Event Logs -- 2.2 Aligning Petri Nets and Event Logs and Repairing Event Logs -- 3 The Methodology -- 3.1 Deviation Analysis -- 3.2 Repair and Merge Log Clusters -- 3.3 Repair Model -- 4 Implementation and Evaluation -- 4.1 UWV Case Study -- 4.2 SAP Procurement Case Study -- 5 Related Work -- 6 Conclusion -- References -- TraDE - A Transparent Data Exchange Middleware for Service Choreographies -- 1 Introduction -- 2 Transparent Data Exchange Approach -- 2.1 Cross-Partner Data Objects and Cross-Partner Data Flows -- 2.2 Towards a TraDE Middleware -- 3 The TraDE Middleware -- 3.1 Metamodel -- 3.2 Architecture -- 3.3 Integration with Process Engines -- 4 Validation. 5 Evaluation -- 5.1 Evaluation Methodology and Experimental Setup -- 5.2 Experimental Results -- 6 Related Work -- 7 Conclusions and Outlook -- References -- Building the Most Creative and Innovative Collaborative Groups Using Bayes Classifiers -- Abstract -- 1 Introduction -- 2 Related Work on Collaborative Creativity -- 3 A Bayes Classifier-Based Model and Method for Building Optimally Creative and Innovative Groups -- 3.1 Bayesian Network Classifiers -- 3.2 General Model for Building "the Best" Collaborative Groups -- 3.3 Model Instantiation for Building the Most Creative Learning Groups -- 4 Case Study - A Real-World Scenario -- 5 Discussion -- 6 Conclusions and Future Work -- References -- A New Collaborative Paradigm of Computer Science Student Contests: An Experience -- Abstract -- 1 Introduction -- 2 Computer Science Contests -- 2.1 Computer Programming Contests -- 2.2 New Paradigms -- 3 Our Experience with Computer Science Contests -- 3.1 Evolution of Our Contest -- 3.2 A New Paradigm: Three-Words-from-a-Hat -- 3.3 Experiencing the New Paradigm -- 4 Is the New Paradigm Beneficial for Computer Science Education? -- 4.1 Is Competition Beneficial to Education? -- 4.2 Reflecting on the New Paradigm -- 5 Conclusions -- References -- Ranking-Based Evaluation of Process Model Matching -- 1 Introduction -- 2 Problem Statement -- 3 Probabilistic Evaluation of Process Model Matching -- 4 Evaluation Experiments -- 4.1 Setup -- 4.2 Results -- 5 Related Work -- 6 Conclusion -- References -- Analysis and Re-configuration of Decision Logic in Adaptive and Data-Intensive Processes (Short Paper) -- 1 Introduction -- 2 Challenges for Decision Logic Re-configuration: A Loan Approval Motivation Scenario -- 3 Supporting Decision Propagation in Business Processes -- 3.1 Feature-Oriented Representation of Decision Logic. 3.2 Constraint-Based Analysis of Decision Logic. |
| Record Nr. | UNINA-9910484365003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
| Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems |
| Autore | Behrend Andreas |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2012 |
| Descrizione fisica | 1 online resource (410 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-1315-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 6th Association for Computing Machinery International Conference on Distributed Event-Based Systems
DEBS '12 the 6th ACM International Conference on Distributed Event-based system, Berlin, Germany - July 16 - 20, 2012 |
| Record Nr. | UNINA-9910376322503321 |
|
Behrend Andreas
|
||
| [Place of publication not identified], : ACM, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
