Business Process Management [[electronic resource] ] : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011, Proceedings / / edited by Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (420 p. 129 illus., 84 illus. in color.) |
Disciplina | 005.7 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
User interfaces (Computer systems) Software engineering Computer logic Information technology Business—Data processing Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Software Engineering Logics and Meanings of Programs Computer Appl. in Administrative Data Processing IT in Business |
ISBN | 3-642-23059-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466010603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Database and Expert Systems Applications [[electronic resource] ] : 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part I / / edited by Qiming Chen, Abdelkader Hameurlain, Farouk Toumani, Roland Wagner, Hendrik Decker |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXXI, 578 p. 175 illus.) |
Disciplina | 004 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Data mining
Database management Information storage and retrieval Artificial intelligence Data Mining and Knowledge Discovery Database Management Information Storage and Retrieval Artificial Intelligence |
ISBN | 3-319-22849-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996199937003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Database and Expert Systems Applications [[electronic resource] ] : 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part II / / edited by Qiming Chen, Abdelkader Hameurlain, Farouk Toumani, Roland Wagner, Hendrik Decker |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXVI, 538 p. 174 illus.) |
Disciplina | 005.74 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Data mining
Database management Information storage and retrieval Artificial intelligence Data Mining and Knowledge Discovery Database Management Information Storage and Retrieval Artificial Intelligence |
ISBN | 3-319-22852-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Organization of the Special Section Globe 2015(8th International Conference on Data Management in Cloud, Grid and P2P Systems) -- Contents - Part II -- Contents - Part I -- Knowledge Management and Consistency -- A Logic Based Approach for Restoring Consistency in P2P Deductive Databases -- 1 Introduction -- 2 Background -- 3 P2P Systems: Syntax and Semantics -- 3.1 Syntax -- 3.2 The Minimal Weak Model Semantics -- 3.3 Prioritized Programs and Preferred Minimal Models -- 4 Computing the Minimal Weak Model Semantics -- 5 Complexity Results -- References -- Expert System with Web Interface Based on Logic of Plausible Reasoning -- 1 Introduction -- 2 Related Research -- 3 Outline of the Logic of Plausible Reasoning -- 4 LIIS System -- 5 Experimental Results -- 6 Conclusions and Further Works -- References -- Extending Knowledge-Based Profile Matching in the Human Resources Domain -- 1 Introduction -- 2 Profile Matching in Description Logic -- 3 Representation of Profile Knowledge -- 4 Matching Theory -- 4.1 Aggregates on Filters -- 4.2 Aggregates on Categories -- 4.3 Over-Qualification in Profile Matching -- 4.4 Blow-Up Operators -- 5 Conclusion and Further Work -- References -- Sensitive Business Process Modeling for Knowledge Management -- Abstract -- 1 Introduction -- 2 Related Works -- 3 Sensitive Business Process -- 3.1 SBP Fundamentals -- 3.2 Representation Approaches for SBP -- 4 Proposition of a Business Process Meta-model for Knowledge Identification -- 5 A Practical Example -- 6 Conclusion and Future Works -- References -- Mobility, Privacy and Security -- Partial Order Preserving Encryption Search Trees -- Abstract -- 1 Introduction -- 2 Fully Order Preserving Encryption Schemes and Their Main Disadvantages -- 3 Relaxing the Full Order Preserving Property -- 3.1 Dealing with Duplicates.
3.2 Supporting Limited Range Queries on Encrypted Data -- 3.3 Securing the Scheme Against a Strong Adversary -- 4 Conclusions -- Acknowledgment -- References -- mobiSurround: An Auditory User Interface for Geo-Service Delivery -- Abstract -- 1 Introduction -- 2 Previous Work -- 2.1 Location-Based Services -- 2.2 Mobile Spatial Interaction -- 3 mobiSurround -- 3.1 Geodata Mapping and Delivery Matrix -- 3.2 Content Modelling -- 4 Conclusions and Future Work -- References -- A Diversity-Seeking Mobile News App Based on Difference Analysis of News Articles -- 1 Introduction -- 2 Related Works -- 3 Entity-Oriented Ranking Measures of News Articles -- 3.1 Extraction of Entities and Entity-Related Descriptions -- 3.2 Ranking Measures -- 4 Diversity-Seeking Mobile News App -- 4.1 News Server: Gathering and Analyzing News Articles -- 4.2 News Client: Presenting News Articles -- 4.3 Context-Aware Re-ranking -- 5 Experiments -- 5.1 Crowdsource Experiment on Ranking -- 5.2 Experiment on Context-Aware Re-Ranking Method -- 6 Conclusion -- References -- KUR-Algorithm: From Position to Trajectory Privacy Protection in Location-Based Applications -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 The Proposed Solution -- 4.1 The Whole Scheme -- 4.2 KUR-Algorithm -- 5 Privacy Analysis -- 6 Summary -- References -- Data Streams, Web Services -- Candidate Pruning Technique for Skyline Computation Over Frequent Update Streams -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 3.1 Data Model and Its Update Model -- 3.2 Summarizing Consecutive Data Snapshots with Minimum Bounding Rectangles (MBRs) -- 3.3 Dominance Region and Anti-dominance Region -- 3.4 Pruning Candidates for Skyline Calculation Using MBRs -- 3.5 Changes of MBRs When Considering a New Data Snapshot -- 4 Proposed Algorithms -- 4.1 Overview -- 4.2 Intialization (t=0). 4.3 Data Updates at Snapshot t> -- 0 -- 4.4 Post-computation Maintenance -- 5 Performance Evaluation -- 5.1 Datasets -- 5.2 Comparison Methods -- 5.3 Results of the Synthetic Datasets -- 5.4 Results of the Real Datasets -- 6 Conclusion -- References -- Mining Frequent Closed Flows Based on Approximate Support with a Sliding Window over Packet Streams -- 1 Introduction -- 2 Related Work -- 3 ACL-SWin: Closed Flows Mining Over a Sliding Window -- 3.1 The Estimation Mechanism -- 3.2 The Data Structures of ACL-SWin -- 3.3 The ACL-SWin Algorithm -- 4 Experimental Results -- 5 Conclusion -- References -- D-FOPA: A Dynamic Final Object Pruning Algorithm to Efficiently Produce Skyline Points Over Data Streams -- 1 Introduction -- 2 Preliminaries -- 3 Motivating Example -- 4 Our Approach -- 4.1 D-FOPA: The Dynamic Final Object Pruning Algorithm -- 4.2 Lazy+: The Modified Lazy Strategy -- 5 Experimental Study -- 5.1 Experiment Configuration -- 5.2 Experiment Results -- 6 Related Work -- 7 Conclusions and Future Work -- References -- GraphEvol: A Graph Evolution Technique for Web Service Composition -- 1 Introduction -- 2 Related Work -- 3 GraphEvol -- 3.1 Graph Building Algorithm -- 3.2 Mutation -- 3.3 Crossover -- 3.4 Fitness Function -- 4 Experiments -- 5 Conclusions -- References -- Distributed, Parallel and Cloud Databases -- Can Data Integration Quality Be Enhanced on Multi-cloud Using SLA? -- 1 Introduction -- 2 Data Integration Challenges: Classification Scheme -- 2.1 Searching and Screening Papers -- 2.2 Defining Classification Facets -- 3 Quantitative Analysis -- 4 Conclusion and Final Remarks -- References -- An Efficient Gear-Shifting Power-Proportional Distributed File System -- 1 Introduction -- 2 Related Work -- 3 System Description -- 3.1 NDCouplingHDFS Architecture -- 3.2 Accordion Data Placement -- 3.3 Gear Controller. 3.4 Updated Data Reflection Process -- 4 Experimental Evaluation -- 4.1 Experimental Method -- 4.2 Framework of the Experiments -- 4.3 Experimental Results -- 5 Conclusion and Future Work -- References -- Highly Efficient Parallel Framework: A Divide-and-Conquer Approach -- 1 Introduction -- 2 The EM Algorithm -- 2.1 Hierarchical PMM -- 2.2 Parallelization Approach -- 3 Related Work -- 3.1 Shared Memory -- 3.2 Distributed Shared Memory -- 4 Load Balancing -- 4.1 FIFO Scheduler -- 4.2 Work-Stealing Scheduler -- 4.3 Divide and Conquer EM -- 4.4 Joint Spatial Database -- 5 Experimental Results -- 6 Discussion -- 7 Conclusion -- References -- Ontology-Driven Data Partitioning and Recovery for Flexible Query Answering -- 1 Introduction -- 1.1 Organization of the Article -- 2 Background and Example -- 2.1 Query Generalization -- 2.2 Ontology-Driven Partitioning -- 2.3 Derived Partitioning -- 3 Ontology-Driven Query Answering -- 3.1 Metadata and Test Dataset -- 3.2 Identifying Matching Clusters -- 3.3 Query Rewriting Strategies -- 4 Query Answering with Derived Partitions -- 5 Insertions -- 6 Deletions -- 7 Recovery -- 8 Related Work -- 8.1 Flexible Query Answering -- 8.2 Data Partitioning and Replication -- 9 Conclusion and Future Work -- References -- Information Retrieval -- Detecting Near-Duplicate Documents Using Sentence Level Features -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Proposed Approach -- 3.1 Generating Surrogates of Two Documents -- 3.2 Finding Common Sentence Blocks in Two Documents -- 3.3 Validation -- 3.4 Similarity Calculation -- 3.5 Complexity Analysis -- 4 Experiments -- 4.1 Effectiveness -- 4.2 Efficiency -- 5 Conclusions -- References -- A Dwell Time-Based Technique for Personalised Ranking Model -- Abstract -- 1 Introduction -- 2 Related Studies -- 3 Personalised Ranking Model -- 3.1 Pereliminaries. 3.2 Problem Definition -- 4 Experiment Results and Discussions -- 4.1 Data Set -- 4.2 Data Analysis and Relevance Estimation Evaluation -- 5 Conclusions -- References -- An Evaluation of Diversification Techniques -- 1 Introduction -- 2 Diversification Techniques -- 3 Benchmark Methodology -- 3.1 Framework -- 3.2 Datasets -- 3.3 Evaluation Procedure -- 3.4 Benchmarking Tool -- 4 Experimental Evaluation -- 4.1 Computation Time -- 4.2 Effect of Number of Displayed Items -- 4.3 Stability of the Algorithms -- 4.4 Effects of #subtopics -- 4.5 Effects of Dissimilarity Distribution -- 4.6 Effects of Relevance Distribution -- 4.7 Effects of Subtopic Density Difference -- 5 Conclusions and Future Work -- References -- XML and Semi-structured Data -- TOIX: Temporal Object Indexing for XML Documents -- 1 Introduction -- 2 Related Work -- 3 Index Structure Definitions -- 4 Temporal Twig Query Evaluation -- 4.1 TOIX Algorithm -- 4.2 Optimization -- 5 Experiments and Results -- 6 Conclusion -- References -- Expressing and Processing Path-Centric XML Queries -- 1 Introduction -- 2 SPath: Extending XQuery for Path-Centric Queries -- 2.1 SPath Expressions -- 2.2 XQuery Extension -- 3 Intra-path Aggregation: A Practical Case -- 3.1 Expression -- 3.2 Execution -- 4 Experiments -- 5 Related Work -- 6 Conclusion -- References -- A Logical Framework for XML Reference Specification -- 1 Introduction -- 2 Motivating Example -- 3 XHyb: Hybrid Logic for XML Reference Constraints -- 3.1 Syntax -- 3.2 Semantics -- 4 From XML to XHyb -- 5 Expressing XML Constraints by XHyb -- 6 Conclusions -- References -- XQuery Testing from XML Schema Based Random Test Cases -- 1 Introduction -- 1.1 Example -- 2 Test Case Generation -- 3 Property-Based Testing -- 3.1 Examples -- 4 Evaluation -- 5 Conclusions and Future Work -- References -- Data Partitioning, Indexing. Grid-File: Towards to a Flash Efficient Multi-dimensional Index. |
Record Nr. | UNISA-996199936903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Database and Expert Systems Applications : 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part II / / edited by Qiming Chen, Abdelkader Hameurlain, Farouk Toumani, Roland Wagner, Hendrik Decker |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXVI, 538 p. 174 illus.) |
Disciplina | 005.74 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Data mining
Database management Information storage and retrieval Artificial intelligence Data Mining and Knowledge Discovery Database Management Information Storage and Retrieval Artificial Intelligence |
ISBN | 3-319-22852-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Organization of the Special Section Globe 2015(8th International Conference on Data Management in Cloud, Grid and P2P Systems) -- Contents - Part II -- Contents - Part I -- Knowledge Management and Consistency -- A Logic Based Approach for Restoring Consistency in P2P Deductive Databases -- 1 Introduction -- 2 Background -- 3 P2P Systems: Syntax and Semantics -- 3.1 Syntax -- 3.2 The Minimal Weak Model Semantics -- 3.3 Prioritized Programs and Preferred Minimal Models -- 4 Computing the Minimal Weak Model Semantics -- 5 Complexity Results -- References -- Expert System with Web Interface Based on Logic of Plausible Reasoning -- 1 Introduction -- 2 Related Research -- 3 Outline of the Logic of Plausible Reasoning -- 4 LIIS System -- 5 Experimental Results -- 6 Conclusions and Further Works -- References -- Extending Knowledge-Based Profile Matching in the Human Resources Domain -- 1 Introduction -- 2 Profile Matching in Description Logic -- 3 Representation of Profile Knowledge -- 4 Matching Theory -- 4.1 Aggregates on Filters -- 4.2 Aggregates on Categories -- 4.3 Over-Qualification in Profile Matching -- 4.4 Blow-Up Operators -- 5 Conclusion and Further Work -- References -- Sensitive Business Process Modeling for Knowledge Management -- Abstract -- 1 Introduction -- 2 Related Works -- 3 Sensitive Business Process -- 3.1 SBP Fundamentals -- 3.2 Representation Approaches for SBP -- 4 Proposition of a Business Process Meta-model for Knowledge Identification -- 5 A Practical Example -- 6 Conclusion and Future Works -- References -- Mobility, Privacy and Security -- Partial Order Preserving Encryption Search Trees -- Abstract -- 1 Introduction -- 2 Fully Order Preserving Encryption Schemes and Their Main Disadvantages -- 3 Relaxing the Full Order Preserving Property -- 3.1 Dealing with Duplicates.
3.2 Supporting Limited Range Queries on Encrypted Data -- 3.3 Securing the Scheme Against a Strong Adversary -- 4 Conclusions -- Acknowledgment -- References -- mobiSurround: An Auditory User Interface for Geo-Service Delivery -- Abstract -- 1 Introduction -- 2 Previous Work -- 2.1 Location-Based Services -- 2.2 Mobile Spatial Interaction -- 3 mobiSurround -- 3.1 Geodata Mapping and Delivery Matrix -- 3.2 Content Modelling -- 4 Conclusions and Future Work -- References -- A Diversity-Seeking Mobile News App Based on Difference Analysis of News Articles -- 1 Introduction -- 2 Related Works -- 3 Entity-Oriented Ranking Measures of News Articles -- 3.1 Extraction of Entities and Entity-Related Descriptions -- 3.2 Ranking Measures -- 4 Diversity-Seeking Mobile News App -- 4.1 News Server: Gathering and Analyzing News Articles -- 4.2 News Client: Presenting News Articles -- 4.3 Context-Aware Re-ranking -- 5 Experiments -- 5.1 Crowdsource Experiment on Ranking -- 5.2 Experiment on Context-Aware Re-Ranking Method -- 6 Conclusion -- References -- KUR-Algorithm: From Position to Trajectory Privacy Protection in Location-Based Applications -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 The Proposed Solution -- 4.1 The Whole Scheme -- 4.2 KUR-Algorithm -- 5 Privacy Analysis -- 6 Summary -- References -- Data Streams, Web Services -- Candidate Pruning Technique for Skyline Computation Over Frequent Update Streams -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 3.1 Data Model and Its Update Model -- 3.2 Summarizing Consecutive Data Snapshots with Minimum Bounding Rectangles (MBRs) -- 3.3 Dominance Region and Anti-dominance Region -- 3.4 Pruning Candidates for Skyline Calculation Using MBRs -- 3.5 Changes of MBRs When Considering a New Data Snapshot -- 4 Proposed Algorithms -- 4.1 Overview -- 4.2 Intialization (t=0). 4.3 Data Updates at Snapshot t> -- 0 -- 4.4 Post-computation Maintenance -- 5 Performance Evaluation -- 5.1 Datasets -- 5.2 Comparison Methods -- 5.3 Results of the Synthetic Datasets -- 5.4 Results of the Real Datasets -- 6 Conclusion -- References -- Mining Frequent Closed Flows Based on Approximate Support with a Sliding Window over Packet Streams -- 1 Introduction -- 2 Related Work -- 3 ACL-SWin: Closed Flows Mining Over a Sliding Window -- 3.1 The Estimation Mechanism -- 3.2 The Data Structures of ACL-SWin -- 3.3 The ACL-SWin Algorithm -- 4 Experimental Results -- 5 Conclusion -- References -- D-FOPA: A Dynamic Final Object Pruning Algorithm to Efficiently Produce Skyline Points Over Data Streams -- 1 Introduction -- 2 Preliminaries -- 3 Motivating Example -- 4 Our Approach -- 4.1 D-FOPA: The Dynamic Final Object Pruning Algorithm -- 4.2 Lazy+: The Modified Lazy Strategy -- 5 Experimental Study -- 5.1 Experiment Configuration -- 5.2 Experiment Results -- 6 Related Work -- 7 Conclusions and Future Work -- References -- GraphEvol: A Graph Evolution Technique for Web Service Composition -- 1 Introduction -- 2 Related Work -- 3 GraphEvol -- 3.1 Graph Building Algorithm -- 3.2 Mutation -- 3.3 Crossover -- 3.4 Fitness Function -- 4 Experiments -- 5 Conclusions -- References -- Distributed, Parallel and Cloud Databases -- Can Data Integration Quality Be Enhanced on Multi-cloud Using SLA? -- 1 Introduction -- 2 Data Integration Challenges: Classification Scheme -- 2.1 Searching and Screening Papers -- 2.2 Defining Classification Facets -- 3 Quantitative Analysis -- 4 Conclusion and Final Remarks -- References -- An Efficient Gear-Shifting Power-Proportional Distributed File System -- 1 Introduction -- 2 Related Work -- 3 System Description -- 3.1 NDCouplingHDFS Architecture -- 3.2 Accordion Data Placement -- 3.3 Gear Controller. 3.4 Updated Data Reflection Process -- 4 Experimental Evaluation -- 4.1 Experimental Method -- 4.2 Framework of the Experiments -- 4.3 Experimental Results -- 5 Conclusion and Future Work -- References -- Highly Efficient Parallel Framework: A Divide-and-Conquer Approach -- 1 Introduction -- 2 The EM Algorithm -- 2.1 Hierarchical PMM -- 2.2 Parallelization Approach -- 3 Related Work -- 3.1 Shared Memory -- 3.2 Distributed Shared Memory -- 4 Load Balancing -- 4.1 FIFO Scheduler -- 4.2 Work-Stealing Scheduler -- 4.3 Divide and Conquer EM -- 4.4 Joint Spatial Database -- 5 Experimental Results -- 6 Discussion -- 7 Conclusion -- References -- Ontology-Driven Data Partitioning and Recovery for Flexible Query Answering -- 1 Introduction -- 1.1 Organization of the Article -- 2 Background and Example -- 2.1 Query Generalization -- 2.2 Ontology-Driven Partitioning -- 2.3 Derived Partitioning -- 3 Ontology-Driven Query Answering -- 3.1 Metadata and Test Dataset -- 3.2 Identifying Matching Clusters -- 3.3 Query Rewriting Strategies -- 4 Query Answering with Derived Partitions -- 5 Insertions -- 6 Deletions -- 7 Recovery -- 8 Related Work -- 8.1 Flexible Query Answering -- 8.2 Data Partitioning and Replication -- 9 Conclusion and Future Work -- References -- Information Retrieval -- Detecting Near-Duplicate Documents Using Sentence Level Features -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Proposed Approach -- 3.1 Generating Surrogates of Two Documents -- 3.2 Finding Common Sentence Blocks in Two Documents -- 3.3 Validation -- 3.4 Similarity Calculation -- 3.5 Complexity Analysis -- 4 Experiments -- 4.1 Effectiveness -- 4.2 Efficiency -- 5 Conclusions -- References -- A Dwell Time-Based Technique for Personalised Ranking Model -- Abstract -- 1 Introduction -- 2 Related Studies -- 3 Personalised Ranking Model -- 3.1 Pereliminaries. 3.2 Problem Definition -- 4 Experiment Results and Discussions -- 4.1 Data Set -- 4.2 Data Analysis and Relevance Estimation Evaluation -- 5 Conclusions -- References -- An Evaluation of Diversification Techniques -- 1 Introduction -- 2 Diversification Techniques -- 3 Benchmark Methodology -- 3.1 Framework -- 3.2 Datasets -- 3.3 Evaluation Procedure -- 3.4 Benchmarking Tool -- 4 Experimental Evaluation -- 4.1 Computation Time -- 4.2 Effect of Number of Displayed Items -- 4.3 Stability of the Algorithms -- 4.4 Effects of #subtopics -- 4.5 Effects of Dissimilarity Distribution -- 4.6 Effects of Relevance Distribution -- 4.7 Effects of Subtopic Density Difference -- 5 Conclusions and Future Work -- References -- XML and Semi-structured Data -- TOIX: Temporal Object Indexing for XML Documents -- 1 Introduction -- 2 Related Work -- 3 Index Structure Definitions -- 4 Temporal Twig Query Evaluation -- 4.1 TOIX Algorithm -- 4.2 Optimization -- 5 Experiments and Results -- 6 Conclusion -- References -- Expressing and Processing Path-Centric XML Queries -- 1 Introduction -- 2 SPath: Extending XQuery for Path-Centric Queries -- 2.1 SPath Expressions -- 2.2 XQuery Extension -- 3 Intra-path Aggregation: A Practical Case -- 3.1 Expression -- 3.2 Execution -- 4 Experiments -- 5 Related Work -- 6 Conclusion -- References -- A Logical Framework for XML Reference Specification -- 1 Introduction -- 2 Motivating Example -- 3 XHyb: Hybrid Logic for XML Reference Constraints -- 3.1 Syntax -- 3.2 Semantics -- 4 From XML to XHyb -- 5 Expressing XML Constraints by XHyb -- 6 Conclusions -- References -- XQuery Testing from XML Schema Based Random Test Cases -- 1 Introduction -- 1.1 Example -- 2 Test Case Generation -- 3 Property-Based Testing -- 3.1 Examples -- 4 Evaluation -- 5 Conclusions and Future Work -- References -- Data Partitioning, Indexing. Grid-File: Towards to a Flash Efficient Multi-dimensional Index. |
Record Nr. | UNINA-9910483132103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Database and Expert Systems Applications : 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part I / / edited by Qiming Chen, Abdelkader Hameurlain, Farouk Toumani, Roland Wagner, Hendrik Decker |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXXI, 578 p. 175 illus.) |
Disciplina | 004 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Data mining
Database management Information storage and retrieval Artificial intelligence Data Mining and Knowledge Discovery Database Management Information Storage and Retrieval Artificial Intelligence |
ISBN | 3-319-22849-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483132003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Service-Oriented Computing [[electronic resource] ] : 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings / / edited by Chengfei Liu, Heiko Ludwig, Farouk Toumani, Qi Yu |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XX, 795 p. 258 illus.) |
Disciplina | 004/.36 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer communication systems Application software Information storage and retrieval Management information systems Computer science Information technology Business—Data processing Software Engineering Computer Communication Networks Information Systems Applications (incl. Internet) Information Storage and Retrieval Management of Computing and Information Systems IT in Business |
Soggetto genere / forma | Conference proceedings. |
ISBN | 3-642-34321-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Research Papers -- Service Engineering 1 -- Specification and Detection of SOA Antipatterns -- Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction -- Service Component Architecture Extensions for Dynamic Systems -- Service Management 1 -- Who Do You Call? Problem Resolution through Social Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service Tickets in Shared Delivery -- Cloud Programming Hybrid Services in the Cloud -- QoS- Aware Cloud Service Composition Based on Economic Models -- Cloud Service Selection Based on Variability Modeling -- Service Engineering 2 -- Extending Enterprise Service Design Knowledge Using Clustering -- Participatory Service Design through Composed and Coordinated Service Feature Models -- PerCAS: An Approach to Enabling Dynamic and Personalized Adaptation for Context-Aware Services -- Service Management 2-A Method for Assessing Influence Relationships among KPIs of Service Systems -- Dynamic Performance Management in Multi-tenanted Business Process Servers Using Nonlinear Control -- An Optimized Derivation of Event Queries to Monitor Choreography Violations -- Service QoS -- Dynamic Service Selection with End-to-End Constrained Uncertain QoS Attributes.-A Constraint-Based Approach to Quality Assurance in Service Choreographies.-Structural Optimization of Reduced Ordered Binary Decision Diagrams for SLA Negotiation in IaaS of Cloud Computing.-Service Engineering 3 A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking, and Qualitative Preference Analysis -- WCP-Nets:A Weighted Extension to CP-Nets for Web Service Selection -- WS-Finder:A Framework for Similarity Search of Web Services -- Service Security, Privacy and Personalization -- A Framework for Trusted Services -- Configuring Private Data Management as Access Restrictions: From Design to Enforcement -- Modeling User’s Non-functional Preferences for Personalized Service Ranking.-Service Applications in Business and Society.-An Adaptive Mediation Framework for Mobile P2P Social Content Sharing -- Socially-Enriched Semantic Mashup of Web APIs -- Application of Business-Driven Decision Making to RESTful Business Processes -- Service Composition and Choreography Declarative Choreographies for Artifacts -- Managing Resource Contention in Embedded Service- Oriented Systems with Dynamic Orchestration -- Semantic Service Composition Framework for Multidomain Ubiquitous Computing Applications -- Service Scaling and Cloud Sparse Functional Representation for Large-Scale Service Clustering -- Updatable Process Views for User-Centered Adaption of Large Process Models -- Management-Based License Discovery for the Cloud (Short Paper) -- Research Papers–Short.-Service Composition and Choreography Ensuring Well-Formed Conversations between Control and Operational Behaviors of Web Services.-Variability in Service-Oriented Systems: An Analysis of Existing Approaches -- A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies -- Service Composition Management Using Risk Analysis and Tracking.-Process Management Assisting Business Process Design by Activity Neighborhood Context Matching.-Adaptive Case Management in the Social Enterprise.-Automating Form-Based Processes through Annotation -- PASOAC-Net:A Petri-Net Model to Manage Authorization in Service-Based Business Process.-Service Description and Discovery.-WSTRank:Ranking Tags to Facilitate Web Service Mining. Maintaining Motivation Models (in BMM) in the Context of a (WSDL-S) Service Landscape -- Ontology-Learning-Based Focused Crawling for Online Service -- Advertising Information Discovery and Classification -- A Learning Method for Improving Quality of Service Infrastructure Management in New Technical Support Groups -- Service Management -- Adaptive Service-Oriented Mobile Applications: A Declarative Approach -- Algorithmic Aspects of Planning under Uncertainty for Service Delivery Organizations -- A Dynamic QoS-Aware Semantic Web Service Composition Algorithm -- IT Incident Management by Analyzing Incident Relations.-Service Security, Privacy and Personalization An Association Probability Based Noise Generation Strategy for Privacy Protection in Cloud Computing.-ARIMA Model-Based Web Services Trustworthiness Evaluation and Prediction -- Analyzing Coopetition Strategies of Services within Communities -- Trust-Based Service Discovery in Multi-relation Social Networks -- Industrial Papers -- Service Applications RETRAiN:A REcommendation Tool for Reconfiguration of RetAil BaNk Branch.-Automate Back Office Activity Monitoring to Drive Operational Excellence -- Collective Intelligence for Enhanced Quality Management of IT Services -- Cloud Computing MapReduce- Based Data Stream Processing over Large History Data -- An Efficient Data Dissemination Approach for Cloud Monitoring -- A Service Oriented Architecture for Exploring High Performance Distributed Power Models -- Industrial Papers–Short.-Business Process Extensions as First-Class Entities— A Model-Driven and Aspect-Oriented Approach.-Towards Dynamic Reconfiguration for QoS Consistent Services Based Applications -- An Ontology-Based IoT Resource Model for Resources Evolution and Reverse Evolution. |
Record Nr. | UNISA-996465670603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Service-oriented computing : ICSOC/ServiceWave 2009 Workshops : international workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009 : revised selected papers / / Asit Dan, Frdric Gittler, Farouk Toumani (eds.) |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, : Springer, 2010 |
Descrizione fisica | 1 online resource (XXXIV, 584 p. 177 illus.) |
Disciplina | 08204004.6/54 |
Altri autori (Persone) |
DanAsit
GittlerFrdric ToumaniFarouk |
Collana |
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science,Services science |
Soggetto topico |
Service-oriented architecture (Computer science)
Computer network architectures |
ISBN |
1-280-38956-7
9786613567482 3-642-16132-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Track 1: Business Models and Architecture -- Future Research Topics in Enterprise Architecture Management – A Knowledge Management Perspective -- Enterprise Architecture Principles: Literature Review and Research Directions -- Something Is Missing: Enterprise Architecture from a Systems Theory Perspective -- A Reassessment of Enterprise Architecture Implementation -- The Dynamic Architecture Maturity Matrix: Instrument Analysis and Refinement -- Decoupling Models and Visualisations for Practical EA Tooling -- Cross-Organizational Security – The Service-Oriented Difference -- Enterprise Oriented Services -- Automated Realization of Business Workflow Specification -- PeopleCloud for the Globally Integrated Enterprise -- Public Disclosure versus Private Practice: Challenges in Business Process Management (Position Paper) -- Analysing Dependencies in Service Compositions -- Open Service-Oriented Computing for Logistics: A Case in Courier, Express and Parcel Networks -- Gain in Transparency versus Investment in the EPC Network – Analysis and Results of a Discrete Event Simulation Based on a Case Study in the Fashion Industry -- Using Automated Analysis of Temporal-Aware SLAs in Logistics -- Flexible SLA Negotiation Using Semantic Annotations -- Track 2: Service Quality and Service Level Agreements Track -- Runtime Prediction of Service Level Agreement Violations for Composite Services -- A Framework for Multi-level SLA Management -- EC2 Performance Analysis for Resource Provisioning of Service-Oriented Applications -- On the Design of Compliance Governance Dashboards for Effective Compliance and Audit Management -- Transformation of Intermediate Nonfunctional Properties for Automatic Service Composition -- Dealing with Fixable and Non-fixable Properties in Service Matchmaking -- Using SLA Mapping to Increase Market Liquidity -- Translation of Service Level Agreements: A Generic Problem Definition -- Ontology-Based Feature Aggregation for Multi-valued Ranking -- Multi-level Monitoring and Analysis of Web-Scale Service Based Applications -- Calculating Service Fitness in Service Networks -- Applying Process Mining in SOA Environments -- Monitoring within an Autonomic Network: A GANA Based Network Monitoring Framework -- An Extensible Monitoring and Adaptation Framework -- Cross-Layer Adaptation and Monitoring of Service-Based Applications -- Towards a Unified Architecture for Resilience, Survivability and Autonomic Fault-Management for Self-managing Networks -- Replacement Policies for Service-Based Systems -- Retry Scopes to Enable Robust Workflow Execution in Pervasive Environments -- Integrating Complex Events for Collaborating and Dynamically Changing Business Processes -- Towards Business-Oriented Monitoring and Adaptation of Distributed Service-Based Applications from a Process Owner’s Viewpoint -- Adaptation of Service-Based Applications Based on Process Quality Factor Analysis -- Delivering Multimedia in Autonomic Networking Environments -- An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring -- Track 3: Service Engineering Track -- Service Customization by Variability Modeling -- Towards a Quality Model for Choreography -- Towards a Conceptual Framework for Legacy to SOA Migration -- MINERVA: Model drIveN and sErvice oRiented Framework for the Continuous Business Process improVement and relAted Tools -- Design for Adaptation of Service-Based Applications: Main Issues and Requirements -- Towards Runtime Migration of WS-BPEL Processes -- Encapsulating Multi-stepped Web Forms as Web Services -- Adapter Patterns for Resolving Mismatches in Service Discovery -- Lightweight Composition of Ad-Hoc Enterprise-Class Applications with Context-Aware Enterprise Mashups -- User-Centric Composition of Service Front-Ends at the Presentation Layer -- On the Support of Dynamic Service Composition at Runtime -- Rethinking the Semantic Annotation of Services -- Service Composition for Everyone: A Study of Risks and Benefits -- Using Personal Information Management Infrastructures to Facilitate User-Generated Services for Personal Use -- Towards Ontology Matching for Intelligent Gadgets. |
Altri titoli varianti | ICSOC/ServiceWave 2009 workshops |
Record Nr. | UNINA-9910483054603321 |
Berlin, : Springer, 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Service-Oriented Computing - ICSOC 2014 Workshops [[electronic resource] ] : WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers / / edited by Farouk Toumani, Barbara Pernici, Daniela Grigori, Djamal Benslimane, Jan Mendling, Nejib Ben Hadj-Alouane, Brian Blake, Olivier Perrin, Iman Saleh Moustafa, Sami Bhiri |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXXVIII, 430 p. 137 illus.) |
Disciplina | 004.36 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Application software Information technology Business—Data processing Management information systems Computer science Computers and civilization Software Engineering Information Systems Applications (incl. Internet) IT in Business Computer Appl. in Administrative Data Processing Management of Computing and Information Systems Computers and Society |
ISBN | 3-319-22885-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Engineering service-oriented applications -- Resource management in service-oriented computing -- Knowledge aware service oriented applications -- Intelligent service clouds -- Self-managing pervasive service systems -- Formal modeling and verification of service-based systems -- Cloud Computing and scienfific applications -- PhD symposium track -- Demo track. |
Record Nr. | UNISA-996466466603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Service-Oriented Computing - ICSOC 2014 Workshops : WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers / / edited by Farouk Toumani, Barbara Pernici, Daniela Grigori, Djamal Benslimane, Jan Mendling, Nejib Ben Hadj-Alouane, Brian Blake, Olivier Perrin, Iman Saleh Moustafa, Sami Bhiri |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXXVIII, 430 p. 137 illus.) |
Disciplina | 004.36 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Application software Information technology Business—Data processing Management information systems Computer science Computers and civilization Software Engineering Information Systems Applications (incl. Internet) IT in Business Computer Appl. in Administrative Data Processing Management of Computing and Information Systems Computers and Society |
ISBN | 3-319-22885-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Engineering service-oriented applications -- Resource management in service-oriented computing -- Knowledge aware service oriented applications -- Intelligent service clouds -- Self-managing pervasive service systems -- Formal modeling and verification of service-based systems -- Cloud Computing and scienfific applications -- PhD symposium track -- Demo track. |
Record Nr. | UNINA-9910484622903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops [[electronic resource] ] : International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers / / edited by Asit Dan, Frédéric Gittler, Farouk Toumani |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XXXIV, 584 p. 177 illus.) |
Disciplina | 004.6 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer communication systems
Software engineering Management information systems Computer science Application software Information storage and retrieval Algorithms Computer Communication Networks Software Engineering Management of Computing and Information Systems Information Systems Applications (incl. Internet) Information Storage and Retrieval Algorithm Analysis and Problem Complexity |
ISBN |
1-280-38956-7
9786613567482 3-642-16132-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Track 1: Business Models and Architecture -- Future Research Topics in Enterprise Architecture Management – A Knowledge Management Perspective -- Enterprise Architecture Principles: Literature Review and Research Directions -- Something Is Missing: Enterprise Architecture from a Systems Theory Perspective -- A Reassessment of Enterprise Architecture Implementation -- The Dynamic Architecture Maturity Matrix: Instrument Analysis and Refinement -- Decoupling Models and Visualisations for Practical EA Tooling -- Cross-Organizational Security – The Service-Oriented Difference -- Enterprise Oriented Services -- Automated Realization of Business Workflow Specification -- PeopleCloud for the Globally Integrated Enterprise -- Public Disclosure versus Private Practice: Challenges in Business Process Management (Position Paper) -- Analysing Dependencies in Service Compositions -- Open Service-Oriented Computing for Logistics: A Case in Courier, Express and Parcel Networks -- Gain in Transparency versus Investment in the EPC Network – Analysis and Results of a Discrete Event Simulation Based on a Case Study in the Fashion Industry -- Using Automated Analysis of Temporal-Aware SLAs in Logistics -- Flexible SLA Negotiation Using Semantic Annotations -- Track 2: Service Quality and Service Level Agreements Track -- Runtime Prediction of Service Level Agreement Violations for Composite Services -- A Framework for Multi-level SLA Management -- EC2 Performance Analysis for Resource Provisioning of Service-Oriented Applications -- On the Design of Compliance Governance Dashboards for Effective Compliance and Audit Management -- Transformation of Intermediate Nonfunctional Properties for Automatic Service Composition -- Dealing with Fixable and Non-fixable Properties in Service Matchmaking -- Using SLA Mapping to Increase Market Liquidity -- Translation of Service Level Agreements: A Generic Problem Definition -- Ontology-Based Feature Aggregation for Multi-valued Ranking -- Multi-level Monitoring and Analysis of Web-Scale Service Based Applications -- Calculating Service Fitness in Service Networks -- Applying Process Mining in SOA Environments -- Monitoring within an Autonomic Network: A GANA Based Network Monitoring Framework -- An Extensible Monitoring and Adaptation Framework -- Cross-Layer Adaptation and Monitoring of Service-Based Applications -- Towards a Unified Architecture for Resilience, Survivability and Autonomic Fault-Management for Self-managing Networks -- Replacement Policies for Service-Based Systems -- Retry Scopes to Enable Robust Workflow Execution in Pervasive Environments -- Integrating Complex Events for Collaborating and Dynamically Changing Business Processes -- Towards Business-Oriented Monitoring and Adaptation of Distributed Service-Based Applications from a Process Owner’s Viewpoint -- Adaptation of Service-Based Applications Based on Process Quality Factor Analysis -- Delivering Multimedia in Autonomic Networking Environments -- An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring -- Track 3: Service Engineering Track -- Service Customization by Variability Modeling -- Towards a Quality Model for Choreography -- Towards a Conceptual Framework for Legacy to SOA Migration -- MINERVA: Model drIveN and sErvice oRiented Framework for the Continuous Business Process improVement and relAted Tools -- Design for Adaptation of Service-Based Applications: Main Issues and Requirements -- Towards Runtime Migration of WS-BPEL Processes -- Encapsulating Multi-stepped Web Forms as Web Services -- Adapter Patterns for Resolving Mismatches in Service Discovery -- Lightweight Composition of Ad-Hoc Enterprise-Class Applications with Context-Aware Enterprise Mashups -- User-Centric Composition of Service Front-Ends at the Presentation Layer -- On the Support of Dynamic Service Composition at Runtime -- Rethinking the Semantic Annotation of Services -- Service Composition for Everyone: A Study of Risks and Benefits -- Using Personal Information Management Infrastructures to Facilitate User-Generated Services for Personal Use -- Towards Ontology Matching for Intelligent Gadgets. |
Record Nr. | UNISA-996465984403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|