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.
Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
| Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXI, 426 p. 143 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Software engineering Compilers (Computer programs) Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Theory of Computation Software Engineering Compilers and Interpreters |
| ISBN | 3-319-33600-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets -- A Universal Control Construct for Abstract State Machines -- Encoding TLA+ into Many-Sorted First-Order Logic -- Proving Determinacy of PharOS in TLA+ -- A Rigorous Correctness Proof for Pastry -- Enabling Analysis for B and Event-B -- A Compact Encoding of Sequential ASMs in Event-B -- Proof Assisted Symbolic Model Checking for B and Event-B -- On Component-based Reuse for Event-B -- Using B and ProB for Data Validation Projects -- Generating Event-B Specifications from Algorithm Descriptions -- Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions -- How to Select the Suitable Formal Method for an Industrial Application: A Survey -- Unified Syntax for Abstract State Machines -- A Relational Encoding for a Clash-Free Subset of ASMs -- Towards an ASM Thesis for Reflective Sequential Algorithms -- A Model-based Transformation Approach to Reuse and Retarget CASM Specifications -- Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy -- `The Tinker' for Rodin -- A Graphical Tool for Event Refinement Structures in Event-B -- Rodin Platform Why3 plug-in -- Semi-Automated Design Space Exploration for Formal Modelling -- Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development -- UC-B: Use Case Modelling with Event-B -- Interactive Model Repair by Synthesis -- SysML2B: Automatic Tool for B Project Graphical Architecture Design using SysML -- Mechanized Refinement of Communication Models with TLA+ -- A Super Industrial Application of PSGraph -- The Hemodialysis Machine Case Study -- How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study -- Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotionStudio, and Co-simulation -- Hemodialysis Machine in Hybrid Event-B -- Modeling a Hemodialysis Machine using Algebraic State-Transition Diagrams and B-like Methods -- Modelling the Haemodialysis Machine with Circus. |
| Record Nr. | UNISA-996465777503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
| Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXI, 426 p. 143 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Software engineering Compilers (Computer programs) Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Theory of Computation Software Engineering Compilers and Interpreters |
| ISBN | 3-319-33600-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets -- A Universal Control Construct for Abstract State Machines -- Encoding TLA+ into Many-Sorted First-Order Logic -- Proving Determinacy of PharOS in TLA+ -- A Rigorous Correctness Proof for Pastry -- Enabling Analysis for B and Event-B -- A Compact Encoding of Sequential ASMs in Event-B -- Proof Assisted Symbolic Model Checking for B and Event-B -- On Component-based Reuse for Event-B -- Using B and ProB for Data Validation Projects -- Generating Event-B Specifications from Algorithm Descriptions -- Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions -- How to Select the Suitable Formal Method for an Industrial Application: A Survey -- Unified Syntax for Abstract State Machines -- A Relational Encoding for a Clash-Free Subset of ASMs -- Towards an ASM Thesis for Reflective Sequential Algorithms -- A Model-based Transformation Approach to Reuse and Retarget CASM Specifications -- Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy -- `The Tinker' for Rodin -- A Graphical Tool for Event Refinement Structures in Event-B -- Rodin Platform Why3 plug-in -- Semi-Automated Design Space Exploration for Formal Modelling -- Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development -- UC-B: Use Case Modelling with Event-B -- Interactive Model Repair by Synthesis -- SysML2B: Automatic Tool for B Project Graphical Architecture Design using SysML -- Mechanized Refinement of Communication Models with TLA+ -- A Super Industrial Application of PSGraph -- The Hemodialysis Machine Case Study -- How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study -- Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotionStudio, and Co-simulation -- Hemodialysis Machine in Hybrid Event-B -- Modeling a Hemodialysis Machine using Algebraic State-Transition Diagrams and B-like Methods -- Modelling the Haemodialysis Machine with Circus. |
| Record Nr. | UNINA-9910483395003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / / edited by Yamine Ait Ameur, Klaus-Dieter Schewe
| Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / / edited by Yamine Ait Ameur, Klaus-Dieter Schewe |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 336 p. 93 illus.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Theory of Computation |
| ISBN | 3-662-43652-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fundamental contributions -- Applications in industrial contexts -- Tool developments and improvements. |
| Record Nr. | UNISA-996217774103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / / edited by Yamine Ait Ameur, Klaus-Dieter Schewe
| Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / / edited by Yamine Ait Ameur, Klaus-Dieter Schewe |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 336 p. 93 illus.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Theory of Computation |
| ISBN | 3-662-43652-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fundamental contributions -- Applications in industrial contexts -- Tool developments and improvements. |
| Record Nr. | UNINA-9910483424803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
| ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 161 p. 47 illus.) |
| Disciplina | 005.1015113 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer logic
Mathematical logic Computers Computer simulation Logics and Meanings of Programs Mathematical Logic and Formal Languages Computation by Abstract Devices Simulation and Modeling |
| ISBN | 3-319-07512-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test generation -- Run-time monitoring -- Simulation. |
| Record Nr. | UNINA-9910298563803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Conceptual Modelling and Its Theoretical Foundations [[electronic resource] ] : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday / / edited by Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe
| Conceptual Modelling and Its Theoretical Foundations [[electronic resource] ] : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday / / edited by Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (VIII, 329 p.) |
| Disciplina | 005.1015113 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer logic
Mathematical logic Software engineering Computers Artificial intelligence Programming languages (Electronic computers) Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Models and Principles Artificial Intelligence Programming Languages, Compilers, Interpreters |
| ISBN | 3-642-28279-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465874103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Correct Software in Web Applications and Web Services / / edited by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger
| Correct Software in Web Applications and Web Services / / edited by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (345 p.) |
| Disciplina |
004
004.0151 005.1 518.1 |
| Collana | Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria |
| Soggetto topico |
Software engineering
Computer science—Mathematics Computer mathematics Algorithms Software Engineering/Programming and Operating Systems Mathematical Applications in Computer Science |
| ISBN | 3-319-17112-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal modelling and verification of transactional web services composition. A refinement and proof approach with Event-B.-Towards a Model of Services based on Co-creation, Abstraction and Rights Distribution -- Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications -- A Formal Model of Client-Cloud Interaction -- W*H: The Conceptual Model for Services -- Monitoring of Client-Cloud Interaction -- Formal Reliability Models for Web Services -- What Constitutes a Service on the Web? -- Co-Design of Web Information Systems. |
| Record Nr. | UNINA-9910299252403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Database and Expert Systems Applications [[electronic resource] ] : 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012, Proceedings, Part II / / edited by Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou
| Database and Expert Systems Applications [[electronic resource] ] : 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012, Proceedings, Part II / / edited by Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XXIV, 526 p. 176 illus.) |
| Disciplina | 006.312 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Data mining
Database management Information storage and retrieval Application software User interfaces (Computer systems) Artificial intelligence Data Mining and Knowledge Discovery Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Artificial Intelligence |
| ISBN | 3-642-32597-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Consistent Query Answering Using Relational Databases through Argumentation -- Analytics-Driven Lossless Data Compression for Rapid In-situ Indexing, Storing, and Querying -- Prediction of Web User Behavior by Discovering Temporal Relational Rules from Web Log Data -- A Hybrid Approach to Text Categorization Applied to Semantic Annotation.- An Unsupervised Framework for Topological Relations Extraction from Geographic Documents -- Combination of Machine-Learning Algorithms for Fault Prediction in High-Precision Foundries -- A Framework for Conditioning Uncertain Relational Data -- Cause Analysis of New Incidents by Using Failure Knowledge Database -- Modeling and Querying Context-Aware Personal Information Spaces -- Ontology-Based Recommendation Algorithms for Personalized Education -- Towards Quantitative Constraints Ranking in Data Clustering -- A Topic-Oriented Analysis of Information Diffusion in a Blogosphere -- Trip Tweets Search by Considering Spatio-temporal Continuity of User Behavior -- Incremental Cosine Computations for Search and Exploration of Tag Spaces -- Impression-Aware Video Stream Retrieval System with Temporal Color-Sentiment Analysis and Visualization -- Dynamic Workload-Based Partitioning for Large-Scale Databases -- Dynamic Vertical Partitioning of Multimedia Databases Using Active Rules -- RTDW-bench: Benchmark for Testing Refreshing Performance of Real-Time Data Warehouse -- Middleware and Language for Sensor Streams -- Statistical Analysis of the owl:sameAs Network for Aligning Concepts in the Linking Open Data Cloud -- Paragraph Tables: A Storage Scheme Based on RDF Document Structure -- Continuously Mining Sliding Window Trend Clusters in a Sensor Network -- Generic Subsequence Matching Framework: Modularity, Flexibility, Efficiency -- R-Proxy Framework for In-DB Data-Parallel Analytics -- View Selection under Multiple Resource Constraints in a Distributed Context -- The Impact of Modes of Mediation on the Web Retrieval Process -- Querying a Semi-automated Data Integration System -- A New Approach for Date Sharing and Recommendation in Social Web -- A Framework for Time-Aware Recommendations -- A Hybrid Time-Series Link Prediction Framework for Large Social Network -- A Comparison of Top-k Temporal Keyword Querying over Versioned Text Collections -- An Efficient SQL Rewrite Approach for Temporal Coalescing in the Teradata RDBMS -- HIP: I nformation Passing for Optimizing Join-Intensive Data Processing Workloads on Hadoop -- All-Visible-k-Nearest-Neighbor Queries -- Algorithm for Term Linearizations of Aggregate Queries with Comparisons -- Evaluating Skyline Queries on Spatial Web Objects.- Alternative Query Optimization for Workload Management -- Online Top-k Similar Time-Lagged Pattern Pair Search in Multiple Time Series.- Improving the Performance for the Range Search on Metric Spaces Using a Multi-GPU Platform -- A Scheme of Fragment-Based Faceted Image Search -- Indexing Metric Spaces with Nested Forests -- Navigating in Complex Business Processes -- Combining Information and Activities in Business Processes -- Opinion Extraction Applied to Criteria -- SocioPath: Bridging the Gap between Digital and Social Worlds.- Detecting Privacy Violations in Multiple Views Publishing -- Anomaly Discovery and Resolution in MySQL Access Control Policies. . |
| Record Nr. | UNISA-996466063303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Database and Expert Systems Applications [[electronic resource] ] : 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012, Proceedings, Part I / / edited by Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou
| Database and Expert Systems Applications [[electronic resource] ] : 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012, Proceedings, Part I / / edited by Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XXIII, 514 p. 215 illus.) |
| Disciplina | 006.312 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Data mining
Database management Information storage and retrieval Application software User interfaces (Computer systems) Artificial intelligence Data Mining and Knowledge Discovery Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Artificial Intelligence |
| ISBN | 3-642-32600-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | DIADEM: Domains to Databases -- Stepwise Development of FormalModels forWeb Services Compositions: Modelling and Property Verification -- A Hybrid Approach for General XML Query Processing -- SCOOTER: A Compact and Scalable Dynamic Labeling Scheme for XML Updates -- Reuse the Deleted Labels for Vector Order-Based Dynamic XML Labeling Schemes.- Towards an Efficient Flash-Based Mid-Tier Cache -- Evacuation Planning of Large Buildings Using Ladders.- A Write Efficient PCM-Aware Sort.- Performance Analysis of Algorithms to Reason about XML Keys.- Finding Top-K Correct XPath Queries of User’s Incorrect XPath Query -- Analyzing Plan Diagrams of XQuery Optimizers -- Spreadsheet Metadata Extraction: A Layout-Based Approach -- Automated Extraction of Semantic Concepts from Semi-structured Data: Supporting Computer-Based Education through the Analysis of Lecture Notes -- A Confidence–Weighted Metric for Unsupervised Ontology Population from Web Texts.- Situation-Aware User’s Interests Prediction for Query Enrichment -- The Effective Relevance Link between a Document and a Query -- Incremental Computation of Skyline Queries with Dynamic Preferences.- Efficient Discovery of Correlated Patterns in Transactional Databases Using Items’ Support Intervals -- On Checking Executable Conceptual Schema Validity by Testing -- Querying Transaction–Time Databases under Branched Schema Evolution -- Fast Identity Anonymization on Graphs -- Probabilistic Inference of Fine-Grained Data Provenance -- Enhancing Utility and Privacy-Safety via Semi-homogenous Generalization.-Processing XML Twig Pattern Query with Wildcards -- A Direct Approach to Holistic Boolean-Twig Pattern Evaluation -- Full Tree-Based Encoding Technique for Dynamic XML Labeling Schemes -- Top-k Maximal Influential Paths in Network Data -- Learning to Rank from Concept-Drifting Network Data Streams -- Top-k Context-Aware Queries on Streams -- Fast Block-Compressed Inverted Lists.- Positional Data Organization and Compression in Web Inverted Indexes.-Decreasing Memory Footprints for Better Enterprise Java Application Performance. Knowledge-Driven Syntactic Structuring: The Case of Multidimensional Space of Music Information -- Mining Frequent Itemsets Using Node-Sets of a Prefix-Tree -- MAX-FLMin: An Approach for Mining Maximal Frequent Links and Generating Semantical Structures from Social Networks.- Sequenced Route Query in Road Network Distance Based on Incremental Euclidean Restriction -- Path-Based Constrained Nearest Neighbor Search in a Road Network -- Efficient Fuzzy Ranking for Keyword Search on Graphs. Stepwise Development of FormalModels forWeb Services Compositions: Modelling and Property Verification -- A Hybrid Approach for General XML Query Processing -- SCOOTER: A Compact and Scalable Dynamic Labeling Scheme for XML Updates -- Reuse the Deleted Labels for Vector Order-Based Dynamic XML Labeling Schemes.- Towards an Efficient Flash-Based Mid-Tier Cache -- Evacuation Planning of Large Buildings Using Ladders.- A Write Efficient PCM-Aware Sort.- Performance Analysis of Algorithms to Reason about XML Keys.- Finding Top-K Correct XPath Queries of User’s Incorrect XPath Query -- Analyzing Plan Diagrams of XQuery Optimizers -- Spreadsheet Metadata Extraction: A Layout-Based Approach -- Automated Extraction of Semantic Concepts from Semi-structured Data: Supporting Computer-Based Education through the Analysis of Lecture Notes -- A Confidence–Weighted Metric for Unsupervised Ontology Population from Web Texts.- Situation-Aware User’s Interests Prediction for Query Enrichment -- The Effective Relevance Link between a Document and a Query -- Incremental Computation of Skyline Queries with Dynamic Preferences.- Efficient Discovery of Correlated Patterns in Transactional Databases Using Items’ Support Intervals -- On Checking Executable Conceptual Schema Validity by Testing -- Querying Transaction–Time Databases under Branched Schema Evolution -- Fast Identity Anonymization on Graphs -- Probabilistic Inference of Fine-Grained Data Provenance -- Enhancing Utility and Privacy-Safety via Semi-homogenous Generalization.-Processing XML Twig Pattern Query with Wildcards -- A Direct Approach to Holistic Boolean-Twig Pattern Evaluation -- Full Tree-Based Encoding Technique for Dynamic XML Labeling Schemes -- Top-k Maximal Influential Paths in Network Data -- Learning to Rank from Concept-Drifting Network Data Streams -- Top-k Context-Aware Queries on Streams -- Fast Block-Compressed Inverted Lists.- Positional Data Organization and Compression in Web Inverted Indexes.-Decreasing Memory Footprints for Better Enterprise Java Application Performance. Knowledge-Driven Syntactic Structuring: The Case of Multidimensional Space of Music Information -- Mining Frequent Itemsets Using Node-Sets of a Prefix-Tree -- MAX-FLMin: An Approach for Mining Maximal Frequent Links and Generating Semantical Structures from Social Networks.- Sequenced Route Query in Road Network Distance Based on Incremental Euclidean Restriction -- Path-Based Constrained Nearest Neighbor Search in a Road Network -- Efficient Fuzzy Ranking for Keyword Search on Graphs. |
| Record Nr. | UNISA-996466060803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Database and Expert Systems Applications [[electronic resource] ] : 22nd International Conference, DEXA 2011, Bilbao, Spain, August 29 - September 2, 2011, Proceedings, Part II / / edited by Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou
| Database and Expert Systems Applications [[electronic resource] ] : 22nd International Conference, DEXA 2011, Bilbao, Spain, August 29 - September 2, 2011, Proceedings, Part II / / edited by Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XXVI, 608 p.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Artificial intelligence Computer communication systems Information storage and retrieval Database management Data mining Information Systems Applications (incl. Internet) Artificial Intelligence Computer Communication Networks Information Storage and Retrieval Database Management Data Mining and Knowledge Discovery |
| ISBN | 3-642-23091-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465901103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
