Advanced Concepts for Intelligent Vision Systems : 16th International Conference, ACIVS 2015, Catania, Italy, October 26-29, 2015. Proceedings / / edited by Sebastiano Battiato, Jacques Blanc-Talon, Giovanni Gallo, Wilfried Philips, Dan Popescu, Paul Scheunders |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXI, 897 p. 389 illus.) |
Disciplina | 004 |
Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
Soggetto topico |
Computer security
Data encryption (Computer science) Coding theory Information theory E-commerce Management information systems Computer science Computers and civilization Systems and Data Security Cryptology Coding and Information Theory e-Commerce/e-business Management of Computing and Information Systems Computers and Society |
ISBN | 3-319-25903-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- About the Volume Editors -- Organization -- Contents -- Low-Level Image Processing -- BNRFBE Method for Blur Estimation in Document Images -- 1 Introduction -- 2 Blur Analysis -- 3 Blur Measuring -- 3.1 Principle of the Measurement -- 3.2 Text Blur Measurement -- 4 Experiments -- 4.1 Simulated Blur -- 4.2 Influence of Working Zone Z -- 4.3 Real Images -- 4.4 DIQA Database -- 5 Conclusion -- References -- Edge Width Estimation for Defocus Map from a Single Image -- 1 Introduction -- 2 Edge Width -- 2.1 Gaussian Edge Model -- 2.2 Estimation of Edge Width -- 2.3 The Edge Width Estimation Algorithm -- 3 Defocus Blur Estimation -- 3.1 Sparse Defocus Map -- 3.2 Full Defocus Map -- 4 Results and Discussion -- 4.1 Possible Improvement -- 5 Conclusion -- References -- RSD-DOG: A New Image Descriptor Based on Second Order Derivatives -- 1 Introduction -- 1.1 Related Work -- 2 Directional Filter -- 3 Ridge and Valley Detection Using Difference of Gaussian Filters -- 3.1 Difference of Half Smoothing Filters (DHSF) -- 3.2 Estimating the Direction of Second Order Statistics Such as Ridges and Valleys -- 4 Descriptor Construction -- 5 Experiments and Results -- 5.1 Dataset and Evaluation -- 5.2 Descriptor Performance -- 6 Conclusion -- References -- Ringing Artifact Suppression Using Sparse Representation -- 1 Introduction -- 2 Ringing Suppression -- 2.1 Problem Formulation -- 2.2 Joint Sparse Coding -- 2.3 Ringing Suppression Method -- 3 Evaluation -- 4 Conclusion -- References -- Patch-Based Mathematical Morphology for Image Processing, Segmentation and Classification -- 1 Introduction -- 2 Patch Complete Lattice Learning -- 2.1 Complete Lattice from Patches -- 2.2 Complete Lattice Learning -- 2.3 Patch-Based MM Operators -- 3 Applications -- 3.1 Color Image Processing -- 3.2 Color Image Segmentation.
3.3 Color Image Texture Classification -- 4 Conclusion -- References -- Time Ordering Shuffling for Improving Background Subtraction -- 1 Introduction -- 2 Time Shuffling Strategies -- 2.1 Principle -- 2.2 Random Time Shuffling Strategy -- 2.3 Deterministic Time Shuffling Strategies -- 2.4 Implementation of the Deterministic Strategies -- 3 Experiments and Results -- 3.1 Initialization -- 3.2 Dataset -- 3.3 Background Subtraction Algorithms -- 3.4 Results and Interpretation -- 4 Conclusions -- References -- Fast and Low Power Consumption Outliers Removal for Motion Vector Estimation -- 1 Introduction -- 2 Proposed Method -- 2.1 Pre-processing -- 2.2 Advanced Voting -- 2.3 Motion Estimation Model -- 3 Experimental Results -- 4 Computational Cost Comparison -- 5 Conclusion -- References -- Adaptive Scale Selection for Multiscale Image Denoising -- 1 Introduction -- 2 Motivation of the Work -- 2.1 Atomic Representation and Time-Scale Evolution -- 2.2 Rational Dilation Wavelet Transform -- 3 Scale Selection -- 3.1 Packets of Atoms -- 3.2 Scale Selection Algorithm -- 4 Adaptive RDWT -- 5 Preliminary Experimental Results -- 6 Conclusions -- References -- Secure Signal Processing Using Fully Homomorphic Encryption -- 1 Introduction -- 2 Related Work -- 3 Fully Homomorphic Encryption -- 4 Encrypted Natural Logarithm -- 5 Brightness/Contrast Filter Theory -- 6 Experimental Results -- 7 Conclusion -- References -- Video Processing and Camera Networks -- Towards a Bayesian Video Denoising Method -- 1 Introduction -- 2 Bayesian Video Denoising -- 2.1 A Nonlocal Bayesian Principle -- 2.2 Learning the a Priori Model -- 2.3 Description of the Algorithm -- 2.4 Computational Complexity -- 3 Results -- 4 Conclusions -- References -- Collaborative, Context Based Activity Control Method for Camera Networks -- 1 Introduction -- 2 Related Work. 3 The Implemented Algorithm -- 4 The Test Setup -- 5 Results and Discussion -- 6 Conclusions -- References -- EFIC: Edge Based Foreground Background Segmentation and Interior Classification for Dynamic Camera Viewpoints -- 1 Introduction -- 2 Edge Based Foreground Background Segmentation -- 2.1 Previous Work -- 2.2 Foreground Shape Correction -- 2.3 Ghost Removal -- 3 Camera Motion Detection -- 3.1 Optical Flow -- 3.2 Flow Based Camera Motion Detection -- 4 Camera Motion Compensation -- 4.1 Affine Image Transformation -- 4.2 Distinction Between Panning/Tilting and Jitter -- 4.3 Jitter Compensation -- 4.4 Panning/Tilting Compensation -- 5 Experiments -- 6 Conclusions -- References -- A Unified Camera Calibration from Arbitrary Parallelograms and Parallepipeds -- 1 Introduction -- 2 Preliminaries -- 2.1 Parallelogram Parameterization -- 3 Projections of Parallelograms -- 3.1 Canonic Homography -- 3.2 Measurement Matrix of Homographies -- 4 Parameter Estimation -- 4.1 Rescaling the Measurement Matrix -- 4.2 Factorization -- 4.3 Resolving Affine Ambiguity -- 4.4 Computing Camera Parameters -- 5 Merging Information from Parallelepipeds -- 6 Experimental Results -- 6.1 Simulated Experiment -- 6.2 Real Image Experiment -- 7 Conclusion -- References -- Motion Compensation Based on Robust Global Motion Estimation: Experiments and Applications -- 1 Introduction -- 2 Related Work -- 2.1 Problem Statement -- 2.2 Geometric Feature-Based Methods -- 2.3 Direct Methods -- 3 Proposed Method -- 3.1 Outlines of the Method -- 3.2 Detailed Method -- 3.3 A Hybrid Pyramidal Method Robust to Large Motion -- 3.4 Motion Estimation Robust to Occlusions and Moving Objects -- 4 Experimental Framework and Results -- 4.1 Problem Statement -- 4.2 Experiments -- 4.3 Criteria -- 4.4 Results -- 5 Applications -- 5.1 Stabilisation -- 5.2 Panorama Creation. 5.3 Moving Target Detection and Tracking -- 6 Conclusion and Future Work -- References -- Bayesian Fusion of Back Projected Probabilities (BFBP): Co-occurrence Descriptors for Tracking in Complex Environments -- 1 Introduction -- 2 Related Work -- 3 Probabilstic Color Co-occurrence Modeling -- 4 Bayesian Fusion of Multiple Co-occurrence Back Projections -- 5 Experimental Evaluations -- 6 Conclusion -- References -- Embedded System Implementation for Vehicle Around View Monitoring -- 1 Introduction -- 2 Surrounding Image Construction -- 2.1 Rectification -- 2.2 Bird's-Eye-View Transformation -- 2.3 Image Stitching -- 3 Embedded System Implementation -- 3.1 Hardware System Architecture -- 3.2 Performance Optimization -- 4 Experimental Results -- 4.1 Calibration Result -- 4.2 Result of Bird's-Eye-View Transformation -- 4.3 Obtaining 360 Surrounding View Image -- 4.4 Real-Time Stitching Performance and Precision -- 5 Conclusion -- References -- Motion and Tracking -- Cosine-Sine Modulated Filter Banks for Motion Estimation and Correction -- 1 Introduction -- 2 Cosine-Sine Modulated Filter Bank -- 3 Motion Estimation -- 3.1 The Error Function -- 3.2 Hierarchical Motion Estimation with CSMFB -- 4 Results -- 4.1 Motion Estimation -- 4.2 Motion Correction -- 4.3 Phase Shift Correction -- 4.4 Motion Correction in Magnetic Resonance Imaging -- 5 Conclusions -- Fast and Robust Variational Optical Flow for High-Resolution Images Using SLIC Superpixels -- 1 Introduction -- 2 Existing Work Using (Over)Segmentation -- 3 Existing Superpixel Methods -- 3.1 gSLIC Superpixels -- 3.2 (g)SLIC in Our Proposed Workflow -- 4 Variational Optical Flow on the Superpixel Grid -- 5 Experiments and Results -- 6 Conclusion -- 7 Future Work -- References -- Depth-Based Filtration for Tracking Boost -- 1 Introduction -- 2 Proposed Approach -- 2.1 Pixel Filtration. 2.2 Tracking Stage -- 2.3 Detection Stage -- 2.4 Occlusion Handling -- 2.5 Recenter and Resize -- 2.6 Learning Stage -- 3 Experimental Results -- 3.1 Success Rate -- 3.2 Precision -- 3.3 Efficiency -- 4 Conclusion -- Robust Fusion of Trackers Using Online Drift Prediction -- 1 Introduction -- 2 Related Work -- 3 Our Approach -- 3.1 Drift Predictor -- 3.2 Computation of the Fusion Bounding Box -- 3.3 Object Model Reinitialization or Update -- 4 Fusion Experiments and Results -- 4.1 Video Dataset -- 4.2 Evaluation Protocol -- 4.3 Implementation -- 4.4 Results -- 5 Conclusion -- References -- Bootstrapping Computer Vision and Sensor Fusion for Absolute and Relative Vehicle Positioning -- 1 Introduction -- 2 Fusion Approach -- 3 Visual Features -- 4 Improved GPS Method -- 5 Dynamic Map -- References -- Detection of Social Groups in Pedestrian Crowds Using Computer Vision -- 1 Introduction -- 2 Proposed Methodology -- 3 Bottom up Hierarchical Clustering -- 4 Experimental Results -- 5 Conclusions -- References -- Single Image Visual Obstacle Avoidance for Low Power Mobile Sensing -- 1 Introduction -- 2 Navigating Around Obstacles -- 2.1 Relative Focus Maps -- 2.2 Obstacle Avoidance -- 2.3 Implementation -- 3 Evaluation -- 4 Conclusions and Future Work -- References -- ROS-Based SLAM for a Gazebo-Simulated Mobile Robot in Image-Based 3D Model of Indoor Environment -- 1 Introduction -- 2 System Setup -- 2.1 Choice of a Robot for Simulation in Gazebo -- 2.2 PR-2 Robot Description and Simulation -- 2.3 AR-601M Robot Description and Simulation -- 3 Camera-Based 3D Model of Indoor Environment -- 3.1 Indoor Environment Shooting with Camera -- 3.2 Image-Based 3D Modeling of Indoor Environment -- 4 ROS-Based SLAM Using Gazebo in Image-Based 3D Model of Indoor Environment -- 4.1 Robot Simulation in Gazebo -- 4.2 ROS-Based SLAM Simulation in Gazebo -- References. Security, Forensics and Biometrics. |
Record Nr. | UNINA-9910484986803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Infocomm Technology [[electronic resource] ] : 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012, Revised Selected papers / / edited by Vincent Guyot |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XVI, 358 p. 153 illus.) |
Disciplina | 004.6 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Computer communication systems
Application software Algorithms Management information systems Computer science Data encryption (Computer science) Software engineering Computer Communication Networks Information Systems Applications (incl. Internet) Algorithm Analysis and Problem Complexity Management of Computing and Information Systems Cryptology Software Engineering |
ISBN | 3-642-38227-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Energy Based Limits on Computing Capacity and on Human Computing Ability.- Making a Breakthrough in Cloud Application Design.- On Managing Heterogeneity in Production Cloud Computing Environments.- Towards Urban Vehicular Networking -- Performance Evaluation of Fairness between High-Speed TCPs in Wireless Environment.- Evaluation of SIP Call Setup Delay for VoIP in IMS.- MPLS-TP: OAM Discovery Mechanism.- Supporting Data Center Management through Clustering of System Data Streams -- Extension of Path Computation Element (PCE) Framework for Resource Provisioning Based on User Profile in Dynamic Circuit Network.- Traffic Engineering Approaches in P2P Environments.- On Selective Placement for Uniform Cache Objects.- Loss Probability and Delay of Finite-Buffer Queues with Discrete ON-OFF Markovian Arrivals and Geometric Service Times.- Improve Prefetch Performance by Splitting the Cache Replacement Queue.- CO2 Laser Writing of Long-Period Fiber Gratings in Polarization-Maintaining Fiber under Tension.- SAVI - A Model for Video Workload Generation Based on Scene Length.- UNIVERSALLY: A Context-Aware Architecture for Multimedia Access in Digital Homes.- A User-Centric Network Architecture for Sustainable Rural Areas.- A Relative Delay Measurement Method for Wideband Array with LFM Waveform.- Signal Detection Based on Maximum-Minimum Eigenvalue in Rician Fading Channel.- Collective Intelligence Based Place Recommendation System.- Providing Reliability for Transactional Mobile Agents.- On the Security of Lv et al.’s Three-Party Authenticated Key Exchange Protocol Using One-Time Key.- Mechanisms to Locate Non-cooperative Transmitters in Wireless Networks.- Mantle: A Novel DOSN Leveraging Free Storage and Local Software.- Descriptional Entropy: Application to Security Software Analysis.- Adaptative Delay Aware Data Gathering Strategy for Wireless Sensor Networks.- Overcoming the Deficiencies of Collaborative Detection of Spatially-Correlated Events in WSN.- A Low-Complexity and High-Performance Beamforming Scheme for mmWave WPAN systems.- Energy Efficient Aggregation in Wireless Sensor Networks.- Energy Optimization of Mesh Access Networks.- Predictive Sink Mobility for Target Tracking in Sensor Networks.- Backhaul Topology Design and Weighted Max-Min Fair Capacity Allocation in Wireless Mesh Networks.- A Double Data Rate, Low Complexity 2 x 2 MIMO Scheme Based on a Combination of Alamouti System and Orthogonal Codes.- GeoSUZ: A Geocast Routing Protocol in Sub-ZORs for VANETs.- Adaptive Contention Window for Zone-Based Dissemination of Vehicular Traffic.- Highway Preventive Congestion Control through Input Regulation in Vehicular Networks. |
Record Nr. | UNISA-996466301203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Infocomm Technology : 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012, Revised Selected papers / / edited by Vincent Guyot |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XVI, 358 p. 153 illus.) |
Disciplina | 004.6 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Computer communication systems
Application software Algorithms Management information systems Computer science Data encryption (Computer science) Software engineering Computer Communication Networks Information Systems Applications (incl. Internet) Algorithm Analysis and Problem Complexity Management of Computing and Information Systems Cryptology Software Engineering |
ISBN | 3-642-38227-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Energy Based Limits on Computing Capacity and on Human Computing Ability.- Making a Breakthrough in Cloud Application Design.- On Managing Heterogeneity in Production Cloud Computing Environments.- Towards Urban Vehicular Networking -- Performance Evaluation of Fairness between High-Speed TCPs in Wireless Environment.- Evaluation of SIP Call Setup Delay for VoIP in IMS.- MPLS-TP: OAM Discovery Mechanism.- Supporting Data Center Management through Clustering of System Data Streams -- Extension of Path Computation Element (PCE) Framework for Resource Provisioning Based on User Profile in Dynamic Circuit Network.- Traffic Engineering Approaches in P2P Environments.- On Selective Placement for Uniform Cache Objects.- Loss Probability and Delay of Finite-Buffer Queues with Discrete ON-OFF Markovian Arrivals and Geometric Service Times.- Improve Prefetch Performance by Splitting the Cache Replacement Queue.- CO2 Laser Writing of Long-Period Fiber Gratings in Polarization-Maintaining Fiber under Tension.- SAVI - A Model for Video Workload Generation Based on Scene Length.- UNIVERSALLY: A Context-Aware Architecture for Multimedia Access in Digital Homes.- A User-Centric Network Architecture for Sustainable Rural Areas.- A Relative Delay Measurement Method for Wideband Array with LFM Waveform.- Signal Detection Based on Maximum-Minimum Eigenvalue in Rician Fading Channel.- Collective Intelligence Based Place Recommendation System.- Providing Reliability for Transactional Mobile Agents.- On the Security of Lv et al.’s Three-Party Authenticated Key Exchange Protocol Using One-Time Key.- Mechanisms to Locate Non-cooperative Transmitters in Wireless Networks.- Mantle: A Novel DOSN Leveraging Free Storage and Local Software.- Descriptional Entropy: Application to Security Software Analysis.- Adaptative Delay Aware Data Gathering Strategy for Wireless Sensor Networks.- Overcoming the Deficiencies of Collaborative Detection of Spatially-Correlated Events in WSN.- A Low-Complexity and High-Performance Beamforming Scheme for mmWave WPAN systems.- Energy Efficient Aggregation in Wireless Sensor Networks.- Energy Optimization of Mesh Access Networks.- Predictive Sink Mobility for Target Tracking in Sensor Networks.- Backhaul Topology Design and Weighted Max-Min Fair Capacity Allocation in Wireless Mesh Networks.- A Double Data Rate, Low Complexity 2 x 2 MIMO Scheme Based on a Combination of Alamouti System and Orthogonal Codes.- GeoSUZ: A Geocast Routing Protocol in Sub-ZORs for VANETs.- Adaptive Contention Window for Zone-Based Dissemination of Vehicular Traffic.- Highway Preventive Congestion Control through Input Regulation in Vehicular Networks. |
Record Nr. | UNINA-9910484942903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering [[electronic resource] ] : 32nd International Conference, CAiSE 2020, Grenoble, France, June 8–12, 2020, Proceedings / / edited by Schahram Dustdar, Eric Yu, Camille Salinesi, Dominique Rieu, Vik Pant |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (xxiv, 574 pages) |
Disciplina | 005.1 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Artificial intelligence Software engineering E-commerce Management information systems Industrial management Information Systems Applications (incl. Internet) Artificial Intelligence Software Engineering e-Commerce/e-business Business Process Management |
ISBN | 3-030-49435-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Distributed Applications -- Remodularization Analysis for Microservice Discovery Using Syntactic and Semantic Clustering -- Decentralized Cross-Organizational Application Deployment Automation: An Approach for Generating Deployment Choreogrpahies Based on Declarative Deployment Models -- Modeling and Analyzing Architectural Diversity of Open Platforms -- Co-destruction Patterns in Crowdsourcing -- Information Systems Engineering with Digital Shadows: Concept and Case Studies -- Model-Driven Development of a Digital Twin for Injection Molding -- SIoTPredict: A Framework for Predicting Relationships in the Social Internet of Things -- -MERODE: A Model-Driven Engineering and Artifact-Centric Approach to Generate Blockchain-Based Information Systems -- Smart Contract Invocation Protocol (SCIP): A Protocol for the Uniform Integration of Heterogenous Blockchain Smart Contracts -- AI and Big Data in IS -- A System Framework for Personalized and Transparent Data-Driven Decisions -- Online Reinforcement Learning for Self-Adaptive Information Systems -- Aspect Term Extraction using Deep Learning Modle with Minimal Feature Engineering -- State Machine based Human-Bot Conversatoin Model and Services -- Process Mining and Analysis -- Stochastic-Aware Conformance Checking: An Entropy-Based Approach -- Conformance Checking Approximation using Subset Selection and Edit Distance -- Quantifying the Re-identification Risk of Event Logs for Process Mining -- An Approach for Process Model Extraction by Multi-Grained Text Classification -- LoGo: Combining Local and Global Techniques for Predictive Business Process Monitoring -- Business Process Variant Analysis based on Mutual Fingerprints of Event Logs -- DeepAlign: Alignment-based Process Anomaly Correction using Recurrent Neural Networks -- Workforce Upskilling: a History-Based Approach for Recommending Unfamiliar Process Activities -- Requirements and Modeling -- Evaluating the Benefits of Model-Driven Development -- Workarounds in Business Processes: a Goal-based Analysis -- Digging into Business Process Meta-models: A First Ontological Analysis -- Minign User Opinions to Support Requirement Engineering: An Empirical Study -- Designing Patterns for Certification Standards -- Information Extraction and Graph Representation for the Design of Formulated Products -- Information Systems Engineering -- Resource-based Adaptive Robotic Process Automation -- A Variability-Driven Analysis Method for Automatic Extraction of Domain Behaviors -- Mutation Operators for Large Scale Data Processing Programs in Spark -- Recommendation for Evolving Relational Databases -- A Combined Method for Usage of NLP Libraries towards Analyzing Software Documents -- Query-based Metrics for Evaluating and Comparing Document Schemas -- Invited Keynote -- Data Sovereignty and the Internet of Production. |
Record Nr. | UNISA-996418282903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Information Systems Engineering : 32nd International Conference, CAiSE 2020, Grenoble, France, June 8–12, 2020, Proceedings / / edited by Schahram Dustdar, Eric Yu, Camille Salinesi, Dominique Rieu, Vik Pant |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (xxiv, 574 pages) |
Disciplina | 005.1 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Artificial intelligence Software engineering E-commerce Management information systems Industrial management Information Systems Applications (incl. Internet) Artificial Intelligence Software Engineering e-Commerce/e-business Business Process Management |
ISBN | 3-030-49435-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Distributed Applications -- Remodularization Analysis for Microservice Discovery Using Syntactic and Semantic Clustering -- Decentralized Cross-Organizational Application Deployment Automation: An Approach for Generating Deployment Choreogrpahies Based on Declarative Deployment Models -- Modeling and Analyzing Architectural Diversity of Open Platforms -- Co-destruction Patterns in Crowdsourcing -- Information Systems Engineering with Digital Shadows: Concept and Case Studies -- Model-Driven Development of a Digital Twin for Injection Molding -- SIoTPredict: A Framework for Predicting Relationships in the Social Internet of Things -- -MERODE: A Model-Driven Engineering and Artifact-Centric Approach to Generate Blockchain-Based Information Systems -- Smart Contract Invocation Protocol (SCIP): A Protocol for the Uniform Integration of Heterogenous Blockchain Smart Contracts -- AI and Big Data in IS -- A System Framework for Personalized and Transparent Data-Driven Decisions -- Online Reinforcement Learning for Self-Adaptive Information Systems -- Aspect Term Extraction using Deep Learning Modle with Minimal Feature Engineering -- State Machine based Human-Bot Conversatoin Model and Services -- Process Mining and Analysis -- Stochastic-Aware Conformance Checking: An Entropy-Based Approach -- Conformance Checking Approximation using Subset Selection and Edit Distance -- Quantifying the Re-identification Risk of Event Logs for Process Mining -- An Approach for Process Model Extraction by Multi-Grained Text Classification -- LoGo: Combining Local and Global Techniques for Predictive Business Process Monitoring -- Business Process Variant Analysis based on Mutual Fingerprints of Event Logs -- DeepAlign: Alignment-based Process Anomaly Correction using Recurrent Neural Networks -- Workforce Upskilling: a History-Based Approach for Recommending Unfamiliar Process Activities -- Requirements and Modeling -- Evaluating the Benefits of Model-Driven Development -- Workarounds in Business Processes: a Goal-based Analysis -- Digging into Business Process Meta-models: A First Ontological Analysis -- Minign User Opinions to Support Requirement Engineering: An Empirical Study -- Designing Patterns for Certification Standards -- Information Extraction and Graph Representation for the Design of Formulated Products -- Information Systems Engineering -- Resource-based Adaptive Robotic Process Automation -- A Variability-Driven Analysis Method for Automatic Extraction of Domain Behaviors -- Mutation Operators for Large Scale Data Processing Programs in Spark -- Recommendation for Evolving Relational Databases -- A Combined Method for Usage of NLP Libraries towards Analyzing Software Documents -- Query-based Metrics for Evaluating and Comparing Document Schemas -- Invited Keynote -- Data Sovereignty and the Internet of Production. |
Record Nr. | UNINA-9910410060003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering [[electronic resource] ] : 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings / / edited by Jelena Zdravkovic, Marite Kirikova, Paul Johannesson |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXII, 530 p. 167 illus.) |
Disciplina | 005.1 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Software engineering Database management Management information systems Information Systems Applications (incl. Internet) Software Engineering Database Management Business Information Systems Computer Appl. in Administrative Data Processing |
ISBN | 3-319-19069-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Social and Collaborative Computing -- Game Aspect: An Approach to Separation of Concerns in Crowdsourced Data Management -- Editing Anxiety in Corporate Wikis: From Private Drafting to Public Edits -- Run-Time and Task-Based Performance of Event Detection Techniques for Twitter -- Business Process Modeling and Languages -- RALph: A Graphical Notation for Resource Assignments in Business Processes -- Revising the Vocabulary of Business Process Element Labels -- Declarative Process Modeling in BPMN -- High Volume and Complex Information Management -- The Requirements and Needs of Global Data Usage in Product Lifecycle Management -- Probabilistic Keys for Data Quality Management -- A Clustering Approach for Protecting GIS Vector Data -- Requirements Elicitation and Management -- Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies -- Virtual Business Role-Play: Leveraging Familiar Environments to Prime Stakeholder Memory During Process Elicitation -- Handling Regulatory Goal Model Families as Software Product Lines -- Enterprise Data Management -- Managing Data Warehouse Traceability: A Life-Cycle Driven Approach -- Specification and Incremental Maintenance of Linked Data Mashup Views -- A Model-Driven Approach to Enterprise Data Migration -- Model Conceptualisation and Evolution -- Interactive Recovery of Requirements Traceability Links Using User Feedback and Configuration Management Logs -- Detecting Complex Changes During Metamodel Evolution -- ‘‘We Need to Discuss the Relationship’’: Revisiting Relationships as Modeling Constructs -- Process Mining, Monitoring and Predicting -- PM2: A Process Mining Project Methodology -- Completing Workflow Traces Using Action Languages -- A Novel Top-Down Approach for Clustering Traces -- Intra and Inter-Organizational Process Engineering Extracting Decision Logic from Process Models -- Equivalence Transformations for the Design of Interorganizational Data-Flow -- Automatic Generation of Optimized Process Models from Declarative Specifications -- Process Compliance and Alignment -- Towards the Automated Annotation of Process Models -- Discovery and Validation of Queueing Networks in Scheduled Processes -- Verification and Validation of UML Artifact-Centric Business Process Models -- Enterprise IT Integration and Management -- Empirical Challenges in the Implementation of IT Portfolio Management: A Survey in Three Companies -- Integration Adapter Modeling -- Service Science and Computing -- Modelling Service Level Agreements for Business Process Outsourcing Services -- Deriving Artefact-Centric Interfaces for Overloaded Web Services. |
Record Nr. | UNISA-996200022903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Information Systems Engineering : 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings / / edited by Jelena Zdravkovic, Marite Kirikova, Paul Johannesson |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXII, 530 p. 167 illus.) |
Disciplina | 005.1 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Software engineering Database management Management information systems Information Systems Applications (incl. Internet) Software Engineering Database Management Business Information Systems Computer Appl. in Administrative Data Processing |
ISBN | 3-319-19069-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Social and Collaborative Computing -- Game Aspect: An Approach to Separation of Concerns in Crowdsourced Data Management -- Editing Anxiety in Corporate Wikis: From Private Drafting to Public Edits -- Run-Time and Task-Based Performance of Event Detection Techniques for Twitter -- Business Process Modeling and Languages -- RALph: A Graphical Notation for Resource Assignments in Business Processes -- Revising the Vocabulary of Business Process Element Labels -- Declarative Process Modeling in BPMN -- High Volume and Complex Information Management -- The Requirements and Needs of Global Data Usage in Product Lifecycle Management -- Probabilistic Keys for Data Quality Management -- A Clustering Approach for Protecting GIS Vector Data -- Requirements Elicitation and Management -- Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies -- Virtual Business Role-Play: Leveraging Familiar Environments to Prime Stakeholder Memory During Process Elicitation -- Handling Regulatory Goal Model Families as Software Product Lines -- Enterprise Data Management -- Managing Data Warehouse Traceability: A Life-Cycle Driven Approach -- Specification and Incremental Maintenance of Linked Data Mashup Views -- A Model-Driven Approach to Enterprise Data Migration -- Model Conceptualisation and Evolution -- Interactive Recovery of Requirements Traceability Links Using User Feedback and Configuration Management Logs -- Detecting Complex Changes During Metamodel Evolution -- ‘‘We Need to Discuss the Relationship’’: Revisiting Relationships as Modeling Constructs -- Process Mining, Monitoring and Predicting -- PM2: A Process Mining Project Methodology -- Completing Workflow Traces Using Action Languages -- A Novel Top-Down Approach for Clustering Traces -- Intra and Inter-Organizational Process Engineering Extracting Decision Logic from Process Models -- Equivalence Transformations for the Design of Interorganizational Data-Flow -- Automatic Generation of Optimized Process Models from Declarative Specifications -- Process Compliance and Alignment -- Towards the Automated Annotation of Process Models -- Discovery and Validation of Queueing Networks in Scheduled Processes -- Verification and Validation of UML Artifact-Centric Business Process Models -- Enterprise IT Integration and Management -- Empirical Challenges in the Implementation of IT Portfolio Management: A Survey in Three Companies -- Integration Adapter Modeling -- Service Science and Computing -- Modelling Service Level Agreements for Business Process Outsourcing Services -- Deriving Artefact-Centric Interfaces for Overloaded Web Services. |
Record Nr. | UNINA-9910483948803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering [[electronic resource] ] : 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001. Proceedings / / edited by Klaus R. Dittrich, Andreas Geppert, Moira C. Norrie |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (XII, 484 p.) |
Disciplina | 005.1/028 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Database management Application software Information storage and retrieval Software engineering Management information systems Computer science Theory of Computation Database Management Information Systems Applications (incl. Internet) Information Storage and Retrieval Software Engineering Management of Computing and Information Systems |
ISBN | 3-540-45341-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Project Oxygen: Pervasive, Human-Centric Computing – An Initial Experience -- Database Systems Architecture: A Study in Factor-Driven Software System Design -- Evolution not Revolution: The Data Warehousing Strategy at Credit Suisse Financial Services -- A Comparison and Evaluation of Data Requirement Specification Techniques in SSADM and the Unified Process -- From User Requirements to User Interfaces: A Methodological Approach -- The ADORA Approach to Object-Oriented Modeling of Software -- Techniques for Reactive System Design: The Tools in TRADE -- A Requirements-Driven Development Methodology -- Constructing Libraries of Typical Plans -- The P2P Approach to Interorganizational Workflows -- Relaxed Soundness of Business Processes -- Developing E-Services for Composing E-Services -- Data Models with Multiple Temporal Dimensions: Completing the Picture -- Querying Data-Intensive Programs for Data Design -- Consistency Management of Financial XML Documents -- The Relationship Between Organisational Culture and the Deployment of Systems Development Methodologies -- Increasing Reusability in Information Systems Development by Applying Generic Methods -- An Assembly Process Model for Method Engineering -- Process Reuse Architecture -- Using a Metadata Software Layer in Information Systems Integration -- Distributed Information Search with Adaptive Meta-Search Engines -- A Semantic Approach to Integrating XML and Structured Data Sources -- XML-Based Integration of GIS and Heterogeneous Tourism Information -- Objects Control for Software Configuration Management -- Coordination Technologies for Managing Information System Evolution -- Using Metrics to Predict OO Information Systems Maintainability -- A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems -- Taxonomies and Derivation Rules in Conceptual Modeling -- Using UML Action Semantics for Executable Modeling and Beyond -- Design and Implementation of a UML-Based Design Repository -- Why Enterprise Modelling? An Explorative Study into Current Practice -- A Glimpse into CM3: Problem Management -- A Method Engineering Language for the Description of Systems Development Methods -- Flexible Support of Work Processes – Balancing the Support of Organisations and Workers. |
Record Nr. | UNISA-996465885903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Information Systems Engineering : 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001. Proceedings / / edited by Klaus R. Dittrich, Andreas Geppert, Moira C. Norrie |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (XII, 484 p.) |
Disciplina | 005.1/028 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Database management Application software Information storage and retrieval Software engineering Management information systems Computer science Theory of Computation Database Management Information Systems Applications (incl. Internet) Information Storage and Retrieval Software Engineering Management of Computing and Information Systems |
ISBN | 3-540-45341-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Project Oxygen: Pervasive, Human-Centric Computing – An Initial Experience -- Database Systems Architecture: A Study in Factor-Driven Software System Design -- Evolution not Revolution: The Data Warehousing Strategy at Credit Suisse Financial Services -- A Comparison and Evaluation of Data Requirement Specification Techniques in SSADM and the Unified Process -- From User Requirements to User Interfaces: A Methodological Approach -- The ADORA Approach to Object-Oriented Modeling of Software -- Techniques for Reactive System Design: The Tools in TRADE -- A Requirements-Driven Development Methodology -- Constructing Libraries of Typical Plans -- The P2P Approach to Interorganizational Workflows -- Relaxed Soundness of Business Processes -- Developing E-Services for Composing E-Services -- Data Models with Multiple Temporal Dimensions: Completing the Picture -- Querying Data-Intensive Programs for Data Design -- Consistency Management of Financial XML Documents -- The Relationship Between Organisational Culture and the Deployment of Systems Development Methodologies -- Increasing Reusability in Information Systems Development by Applying Generic Methods -- An Assembly Process Model for Method Engineering -- Process Reuse Architecture -- Using a Metadata Software Layer in Information Systems Integration -- Distributed Information Search with Adaptive Meta-Search Engines -- A Semantic Approach to Integrating XML and Structured Data Sources -- XML-Based Integration of GIS and Heterogeneous Tourism Information -- Objects Control for Software Configuration Management -- Coordination Technologies for Managing Information System Evolution -- Using Metrics to Predict OO Information Systems Maintainability -- A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems -- Taxonomies and Derivation Rules in Conceptual Modeling -- Using UML Action Semantics for Executable Modeling and Beyond -- Design and Implementation of a UML-Based Design Repository -- Why Enterprise Modelling? An Explorative Study into Current Practice -- A Glimpse into CM3: Problem Management -- A Method Engineering Language for the Description of Systems Development Methods -- Flexible Support of Work Processes – Balancing the Support of Organisations and Workers. |
Record Nr. | UNINA-9910143601503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering [[electronic resource] ] : 9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings / / edited by Antoni Olive, Joan A. Pastor |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XII, 460 p.) |
Disciplina | 005.1/0285/53 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Database management
Computers Computer engineering Software engineering Application software Management information systems Computer science Database Management Theory of Computation Computer Engineering Software Engineering Information Systems Applications (incl. Internet) Management of Computing and Information Systems |
ISBN | 3-540-69148-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The story of the IDEA Methodology -- Integrating semi-formal and formal requirements -- Stimuli and business policies as modelling constructs: Their definition and validation through the event calculus -- Using scenarios to validate requirements in a plausibility-centred approach -- Behaviour specification in database interoperation -- Implementing semantic-based decomposition of transactions -- Negotiation transactions: An approach to increase the automation of workflows -- Towards method-driven trace capture -- A multi-perspective framework for the analysis of legacy information systems -- Facilitating analysis and diagnosis in organisations -- OO-Method: An OO software production environment combining conventional and formal methods -- Application of a generator-based software development method supporting model reuse -- A toolkit for Reuse in Conceptual Modelling -- Performance engineering of human and computerised workflows -- Meta-CASE in practice: A CASE for KOGGE -- Augmenting CASE tools with hypertext: Desired functionality and implementation issues -- Interval-based representation of spatio-temporal concepts -- Temporal object role modelling -- Complex object versioning -- A methodology for the design of distributed web systems -- Digital Neighbourhoods: Partitioning the Web for information indexing and searching -- Intranet facilitated knowledge management: A theory and tool for defining situational methods -- A conceptual approach to meta-modelling -- Preserving behaviour: Why and how -- Modeling behavior of Geographic Objects: An experience with the Object Modeling Technique -- Design of distributed applications based on the OSI model -- DELOS-A repository based environment for developing network centric applications -- TDE: Supporting geographically distributed software design with shared, collaborative workspaces -- Semantics of reactive components in event-driven workflow execution -- Workflow transparency -- Towards real-scale business transaction workflow modelling. |
Record Nr. | UNISA-996465559403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|