Machine Learning in Medical Imaging : 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings / / edited by Guorong Wu, Daoqiang Zhang, Dinggang Shen, Pingkun Yan, Kenji Suzuki, Fei Wang |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 262 p. 94 illus.) |
Disciplina |
006.6
006.37 |
Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
Soggetto topico |
Optical data processing
Pattern recognition Artificial intelligence Database management Computer graphics Image Processing and Computer Vision Pattern Recognition Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Database Management Computer Graphics |
ISBN | 3-319-02267-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Unsupervised Deep Learning for Hippocampus Segmentation in 7.0 Tesla MR Images -- Integrating Multiple Network Properties for MCI Identification -- Learning-Boosted Label Fusion for Multi-atlas Auto-Segmentation -- Volumetric Segmentation of Key Fetal Brain Structures in 3D Ultrasound -- Sparse Classification with MRI Based Markers for Neuromuscular Disease Categorization -- Fully Automatic Detection of the Carotid Artery from Volumetric Ultrasound Images Using Anatomical Position-Dependent LBP Features -- A Transfer-Learning Approach to Image Segmentation Across Scanners by Maximizing Distribution Similarity -- A New Algorithm of Electronic Cleansing for Weak Faecal-Tagging CT Colonography -- A Unified Approach to Shape Model Fitting and Non-rigid Registration -- A Bayesian Algorithm for Image-Based Time-to-Event Prediction -- Patient-Specific Manifold Embedding of Multispectral Images Using Kernel Combinations -- fMRI Analysis with Sparse Weisfeiler-Lehman Graph Statistics -- Patch-Based Segmentation without Registration: Application to Knee MRI -- Flow-Based Correspondence Matching in Stereovision -- Thickness NETwork (ThickNet) Features for the Detection of Prodromal AD -- Metric Space Structures for Computational Anatomy -- Discriminative Group Sparse Representation for Mild Cognitive Impairment Classification -- Temporally Dynamic Resting-State Functional Connectivity Networks for Early MCI Identification -- An Improved Optimization Method for the Relevance Voxel Machine -- Disentanglement of Session and Plasticity Effects in Longitudinal fMRI Studies -- Identification of Alzheimer’s Disease Using Incomplete Multimodal Dataset via Matrix Shrinkage and Completion -- On Feature Relevance in Image-Based Prediction Models: An Empirical Study -- Decision Forests with Spatio-Temporal Features for Graph-Based Tumor Segmentation in 4D Lung CT -- Improving Probabilistic Image Registration via Reinforcement Learning and Uncertainty Evaluation -- HEp-2 Cell Image Classification: A Comparative Analysis -- A 2.5D Colon Wall Flattening Model for CT-Based Virtual Colonoscopy -- Augmenting Auto-context with Global Geometric Features for Spinal Cord Segmentation -- Large-Scale Manifold Learning Using an Adaptive Sparse Neighbor Selection Approach for Brain Tumor Progression Prediction -- Ensemble Universum SVM Learning for Multimodal Classification of Alzheimer’s Disease -- Joint Sparse Coding Spatial Pyramid Matching for Classification of Color Blood Cell Image -- Multi-task Sparse Classifier for Diagnosis of MCI Conversion to AD with Longitudinal MR Images -- Sparse Multimodal Manifold-Regularized Transfer Learning for MCI Conversion Prediction. |
Record Nr. | UNINA-9910482954003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Machine Learning in Medical Imaging [[electronic resource] ] : Third International Workshop, MLMI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Revised Selected Papers / / edited by Fei Wang, Dinggang Shen, Pingkun Yan, Kenji Suzuki |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XII, 276 p. 91 illus.) |
Disciplina | 616.0754 |
Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
Soggetto topico |
Optical data processing
Pattern recognition Artificial intelligence Database management Computer graphics Image Processing and Computer Vision Pattern Recognition Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Database Management Computer Graphics |
Soggetto non controllato |
MLMI
MICCAI Medical imaging |
ISBN | 3-642-35428-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465948303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Machine Learning in Medical Imaging [[electronic resource] ] : Second International Workshop, MLMI 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011, Proceedings / / edited by Kenji Suzuki, Fei Wang, Dinggang Shen, Pingkun Yan |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XIII, 371 p.) |
Disciplina | 610.285/63 |
Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
Soggetto topico |
Optical data processing
Pattern recognition Artificial intelligence Algorithms Application software Image Processing and Computer Vision Pattern Recognition Computer Imaging, Vision, Pattern Recognition and Graphics Artificial Intelligence Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) |
ISBN | 3-642-24319-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465398303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Machine Learning in Medical Imaging [[electronic resource] ] : First International Workshop, MLMI 2010, Held in Conjunction with MICCAI 2010, Beijing, China, September 20, 2010, Proceedings / / edited by Fei Wang, Pingkun Yan, Kenji Suzuki, Dinggang Shen |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (IX, 192 p. 84 illus.) |
Disciplina | 616.07/54 |
Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
Soggetto topico |
Artificial intelligence
Optical data processing Radiology Pattern recognition Algorithms Artificial Intelligence Image Processing and Computer Vision Imaging / Radiology Pattern Recognition Computer Imaging, Vision, Pattern Recognition and Graphics Algorithm Analysis and Problem Complexity |
Soggetto genere / forma | Kongress. |
ISBN |
1-280-38927-3
9786613567192 3-642-15948-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Fast Automatic Detection of Calcified Coronary Lesions in 3D Cardiac CT Images -- Automated Intervertebral Disc Detection from Low Resolution, Sparse MRI Images for the Planning of Scan Geometries -- Content-Based Medical Image Retrieval with Metric Learning via Rank Correlation -- A Hyper-parameter Inference for Radon Transformed Image Reconstruction Using Bayesian Inference -- Patch-Based Generative Shape Model and MDL Model Selection for Statistical Analysis of Archipelagos -- Prediction of Dementia by Hippocampal Shape Analysis -- Multi-Class Sparse Bayesian Regression for Neuroimaging Data Analysis -- Appearance Normalization of Histology Slides -- Parallel Mean Shift for Interactive Volume Segmentation -- Soft Tissue Discrimination Using Magnetic Resonance Elastography with a New Elastic Level Set Model -- Fast and Automatic Heart Isolation in 3D CT Volumes: Optimal Shape Initialization -- Relation-Aware Spreadsheets for Multimodal Volume Segmentation and Visualization -- A Bayesian Learning Application to Automated Tumour Segmentation for Tissue Microarray Analysis -- Generalized Sparse Classifiers for Decoding Cognitive States in fMRI -- Manifold Learning for Biomarker Discovery in MR Imaging -- Optimal Live Cell Tracking for Cell Cycle Study Using Time-Lapse Fluorescent Microscopy Images -- Fully Automatic Joint Segmentation for Computer-Aided Diagnosis and Planning -- Accurate Identification of MCI Patients via Enriched White-Matter Connectivity Network -- Feature Extraction for fMRI-Based Human Brain Activity Recognition -- Sparse Spatio-temporal Inference of Electromagnetic Brain Sources -- Optimal Gaussian Mixture Models of Tissue Intensities in Brain MRI of Patients with Multiple-Sclerosis -- Preliminary Study on Appearance-Based Detection of Anatomical Point Landmarks in Body Trunk CT Images -- Principal-Component Massive-Training Machine-Learning Regression for False-Positive Reduction in Computer-Aided Detection of Polyps in CT Colonography. |
Record Nr. | UNISA-996465876403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Social Robotics [[electronic resource] ] : 9th International Conference, ICSR 2017, Tsukuba, Japan, November 22-24, 2017, Proceedings / / edited by Abderrahmane Kheddar, Eiichi Yoshida, Shuzhi Sam Ge, Kenji Suzuki, John-John Cabibihan, Friederike Eyssel, Hongsheng He |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XV, 761 p. 307 illus.) |
Disciplina | 629.892 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Special purpose computers User interfaces (Computer systems) Application software Artificial Intelligence Special Purpose and Application-Based Systems User Interfaces and Human Computer Interaction Information Systems Applications (incl. Internet) |
ISBN | 3-319-70022-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Learning Affordances for Assistive Robots -- Initial Design, Implementation and Technical Evaluation of a Context-aware Proxemics Planner for a Social Robot -- An Image based Non-verbal Behaviour analysis of HRI -- Do Social Rewards from Robots Enhance Offline Improvements in Motor Skills? -- How the Timing and Magnitude of Robot Errors Influence Peoples' Trust of Robots in an Emergency Scenarios -- The Iterative Development of the Humanoid Robot Kaspar: An Assistive Robot for Children with Autism -- The Interaction Between Voice and Appearance in the Embodiment of a Robot Tutor -- Shape It – The Influence of Robot Body Shape on Gender Perception in Robots -- A Telepresence Robot in Residential Care: Family Increasingly Present, Personnel Worried about Privacy -- Influence of Robot's Interaction Style on Performance in a Stroop Task -- `Autistic Robots' for Embodied Emulation of Behaviors Typically Seen in Children with Different Autism Severities -- Learning Relationships between Objects and Places by Multimodal Spatial Concept with Bag of Objects -- There once was a Robot Storyteller: Measuring the Effects of Emotion and non-verbal Behaviour -- Field testing of the influence of assistive wear on the physical fitness of nursing-care workers -- Developing Interaction Scenarios with a Humanoid Robot to Encourage Visual Perspective Taking Skills in Children with Autism – Preliminary Proof of Concept Tests -- Human-like Hand Reaching by Motion Prediction using Long Short-Term Memory -- User's Personality and Activity Influence on HRI Comfortable Distances -- A Need for Service Robots among Health Care Professionals in Hospitals and Housing Services -- Do you think I approve of that? Designing facial expressions for a robot -- Robotic Device to Mediate Human-Human Hug-Driven Remote Communication -- RoMa: A Hi-tech Robotic Mannequin for the Fashion Industry -- Walk the talk: Gestures in mobile interaction -- Gaze Behavioral Adaptation towards Group Members for Providing Effective Recommendations -- Subtle Reaction and Response Time Effects in Human-Robot Touch Interaction -- Young EFL learners’ attitude towards RALL: an observational study focusing on motivation, anxiety, and interaction -- Design of a Cloud-Based Robotic Platform for Accompanying and Interacting with Humans -- Influence of Environmental Context on Recognition Rates -- Creating lively behaviors in social robots -- What Went Wrong and Why? Diagnosing Situated Interaction Failures in the Wild -- Toward 3D Printed Prosthetic Hands that can Satisfy Psychosocial Needs: Grasping Force Comparisons between a Prosthetic Hand and Human Hands -- Integrating a Humanoid Robot into ECHONET-based Smart Home Environments -- A Robot that Encourages Self-Disclosure by Hug -- Hand Gestures and Verbal Acknowledgments Improve Human-Robot Rapport -- Do Audio-Visual Stimuli Change Hug Impressions? -- Impact of Tutoring Strategies in Grounded Lexicon Learning -- Yes, Of Course? An Investigation on Obedience and Feelings of Shame towards a Robot -- Dance with me! Child-robot interaction in the wild -- Rethinking the Why of Socially Assistive Robotics through Design -- Role-oriented Designing: A Methodology to Designing for Appearance and Interaction Ways of Customized Professional Social Robots -- Exploring Users' Reactions Towards Tangible Implicit Probes for Measuring Human-Robot Engagement -- Gaze-Based Hints During Child - Robot GamePlay -- Gender Difference in Expectation for Domestic Robots: A Survey in Japan -- Motor Actions Predictions and Controls for the NAO Robot when Playing Hand Clapping Games -- The importance of mutual gaze in human-robot interaction -- About Decisions During Human-Robot Shared Plan Achievement: Who Should Act and How? -- Improving User's Performance by Motivation: Matching Robot Interaction Strategy with User's Regulatory State -- Social group motion in robots -- Shopping Mall Robots – Opportunities and Constraints from the Retailer and Manager Perspective -- Dynamic Gesture Recognition for Social Robots -- Embodiment, Privacy and Social Robots: May I remember you? -- A TV Chat Robot with Time-Shifting Function for Daily-Use Communication -- Naturalistic Conversational Gaze Control for Humanoid Robots - A First Step -- Design and Implementation of a Device Management System for Healthcare Assistive Robots: Sensor Manager System Version 2 -- Dialogue Design for a Robot-Based Face-Mirroring Game to Engage Autistic Children with Emotional Expressions -- Look but Don’t Stare: Mutual Gaze Interaction in Social Robots -- Recognition of Gestural Behaviors Expressed by a Humanoid Robotic Platform for Teaching Affect Recognition to Children with Autism - A Healthy Subjects Pilot Study -- A Visual Environment for Reactive Robot Programming of Macro-level Behaviors -- Hand in Hand with Robots: Differences between Experienced and Naive Users in Human-Robot Handover Scenarios -- Subjective Stress in Hybrid Collaboration -- Development of Control Mechanism for Safety Enhancement in Bilateral Control Robot Applications -- Understanding anthropomorphism: Anthropomorphism is not a reverse process of dehumanization -- An Evaluation Tool of the Effect of Robots in Eldercare on the Sense of Safety and Security -- Becoming Real: An Anthropological Approach to Evaluating Robots in the Real World -- Human Perceptions of the Severity of Domestic Robot Errors -- What Can We Learn from the Long-Term Users of a Social Robot? -- Adaptive Emotional Chatting Behavior to Increase the Sociability of Robots -- Measuring Children's Perceptions of Robots' Social Competence: Design and Validation -- Rule Extraction Method Considering Reliability for Synchronized Behavior of Group Robots in Multi-party Conversations -- Omnidirectional Traveling Instruction for Behavior Navigation -- News Application Adaptation based on User Sensory Profile -- Robot Compliant Behaviour with Mixed-Initiative Interaction in an Obstacle Avoidance Scenario -- "Xylotism": A Tablet-Based Application to Teach Music to Children with Autism -- Starting a Conversation by Multi-Robot Cooperative Behavior -- Adaptive Strategies for Multi-Party Interactions with Robots in Public Spaces. |
Record Nr. | UNISA-996465499003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Social Robotics : 9th International Conference, ICSR 2017, Tsukuba, Japan, November 22-24, 2017, Proceedings / / edited by Abderrahmane Kheddar, Eiichi Yoshida, Shuzhi Sam Ge, Kenji Suzuki, John-John Cabibihan, Friederike Eyssel, Hongsheng He |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XV, 761 p. 307 illus.) |
Disciplina | 629.892 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Special purpose computers User interfaces (Computer systems) Application software Artificial Intelligence Special Purpose and Application-Based Systems User Interfaces and Human Computer Interaction Information Systems Applications (incl. Internet) |
ISBN | 3-319-70022-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Learning Affordances for Assistive Robots -- Initial Design, Implementation and Technical Evaluation of a Context-aware Proxemics Planner for a Social Robot -- An Image based Non-verbal Behaviour analysis of HRI -- Do Social Rewards from Robots Enhance Offline Improvements in Motor Skills? -- How the Timing and Magnitude of Robot Errors Influence Peoples' Trust of Robots in an Emergency Scenarios -- The Iterative Development of the Humanoid Robot Kaspar: An Assistive Robot for Children with Autism -- The Interaction Between Voice and Appearance in the Embodiment of a Robot Tutor -- Shape It – The Influence of Robot Body Shape on Gender Perception in Robots -- A Telepresence Robot in Residential Care: Family Increasingly Present, Personnel Worried about Privacy -- Influence of Robot's Interaction Style on Performance in a Stroop Task -- `Autistic Robots' for Embodied Emulation of Behaviors Typically Seen in Children with Different Autism Severities -- Learning Relationships between Objects and Places by Multimodal Spatial Concept with Bag of Objects -- There once was a Robot Storyteller: Measuring the Effects of Emotion and non-verbal Behaviour -- Field testing of the influence of assistive wear on the physical fitness of nursing-care workers -- Developing Interaction Scenarios with a Humanoid Robot to Encourage Visual Perspective Taking Skills in Children with Autism – Preliminary Proof of Concept Tests -- Human-like Hand Reaching by Motion Prediction using Long Short-Term Memory -- User's Personality and Activity Influence on HRI Comfortable Distances -- A Need for Service Robots among Health Care Professionals in Hospitals and Housing Services -- Do you think I approve of that? Designing facial expressions for a robot -- Robotic Device to Mediate Human-Human Hug-Driven Remote Communication -- RoMa: A Hi-tech Robotic Mannequin for the Fashion Industry -- Walk the talk: Gestures in mobile interaction -- Gaze Behavioral Adaptation towards Group Members for Providing Effective Recommendations -- Subtle Reaction and Response Time Effects in Human-Robot Touch Interaction -- Young EFL learners’ attitude towards RALL: an observational study focusing on motivation, anxiety, and interaction -- Design of a Cloud-Based Robotic Platform for Accompanying and Interacting with Humans -- Influence of Environmental Context on Recognition Rates -- Creating lively behaviors in social robots -- What Went Wrong and Why? Diagnosing Situated Interaction Failures in the Wild -- Toward 3D Printed Prosthetic Hands that can Satisfy Psychosocial Needs: Grasping Force Comparisons between a Prosthetic Hand and Human Hands -- Integrating a Humanoid Robot into ECHONET-based Smart Home Environments -- A Robot that Encourages Self-Disclosure by Hug -- Hand Gestures and Verbal Acknowledgments Improve Human-Robot Rapport -- Do Audio-Visual Stimuli Change Hug Impressions? -- Impact of Tutoring Strategies in Grounded Lexicon Learning -- Yes, Of Course? An Investigation on Obedience and Feelings of Shame towards a Robot -- Dance with me! Child-robot interaction in the wild -- Rethinking the Why of Socially Assistive Robotics through Design -- Role-oriented Designing: A Methodology to Designing for Appearance and Interaction Ways of Customized Professional Social Robots -- Exploring Users' Reactions Towards Tangible Implicit Probes for Measuring Human-Robot Engagement -- Gaze-Based Hints During Child - Robot GamePlay -- Gender Difference in Expectation for Domestic Robots: A Survey in Japan -- Motor Actions Predictions and Controls for the NAO Robot when Playing Hand Clapping Games -- The importance of mutual gaze in human-robot interaction -- About Decisions During Human-Robot Shared Plan Achievement: Who Should Act and How? -- Improving User's Performance by Motivation: Matching Robot Interaction Strategy with User's Regulatory State -- Social group motion in robots -- Shopping Mall Robots – Opportunities and Constraints from the Retailer and Manager Perspective -- Dynamic Gesture Recognition for Social Robots -- Embodiment, Privacy and Social Robots: May I remember you? -- A TV Chat Robot with Time-Shifting Function for Daily-Use Communication -- Naturalistic Conversational Gaze Control for Humanoid Robots - A First Step -- Design and Implementation of a Device Management System for Healthcare Assistive Robots: Sensor Manager System Version 2 -- Dialogue Design for a Robot-Based Face-Mirroring Game to Engage Autistic Children with Emotional Expressions -- Look but Don’t Stare: Mutual Gaze Interaction in Social Robots -- Recognition of Gestural Behaviors Expressed by a Humanoid Robotic Platform for Teaching Affect Recognition to Children with Autism - A Healthy Subjects Pilot Study -- A Visual Environment for Reactive Robot Programming of Macro-level Behaviors -- Hand in Hand with Robots: Differences between Experienced and Naive Users in Human-Robot Handover Scenarios -- Subjective Stress in Hybrid Collaboration -- Development of Control Mechanism for Safety Enhancement in Bilateral Control Robot Applications -- Understanding anthropomorphism: Anthropomorphism is not a reverse process of dehumanization -- An Evaluation Tool of the Effect of Robots in Eldercare on the Sense of Safety and Security -- Becoming Real: An Anthropological Approach to Evaluating Robots in the Real World -- Human Perceptions of the Severity of Domestic Robot Errors -- What Can We Learn from the Long-Term Users of a Social Robot? -- Adaptive Emotional Chatting Behavior to Increase the Sociability of Robots -- Measuring Children's Perceptions of Robots' Social Competence: Design and Validation -- Rule Extraction Method Considering Reliability for Synchronized Behavior of Group Robots in Multi-party Conversations -- Omnidirectional Traveling Instruction for Behavior Navigation -- News Application Adaptation based on User Sensory Profile -- Robot Compliant Behaviour with Mixed-Initiative Interaction in an Obstacle Avoidance Scenario -- "Xylotism": A Tablet-Based Application to Teach Music to Children with Autism -- Starting a Conversation by Multi-Robot Cooperative Behavior -- Adaptive Strategies for Multi-Party Interactions with Robots in Public Spaces. |
Record Nr. | UNINA-9910483121203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Testing of Software and Communicating Systems [[electronic resource] ] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings / / edited by Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XII, 303 p.) |
Disciplina | 004.6 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Computer logic Management information systems Computer science Electrical engineering Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Management of Computing and Information Systems Communications Engineering, Networks |
ISBN | 3-540-68524-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- All-IP Based Ultra 3G Network/Service Development in a Competitive Market -- Models and Testing – A Recipe for Improved Effectiveness? -- General Software Testing -- Runtime Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service on the Web -- Testing Continuous and Real-Time Systems -- Using Disparity to Enhance Test Generation for Hybrid Systems -- Modeling Property Based Stream Templates with TTCN-3 -- : A Timed Extension of -- Network Testing -- Model-Based Firewall Conformance Testing -- VCSTC: Virtual Cyber Security Testing Capability – An Application Oriented Paradigm for Network Infrastructure Protection -- Performance Test Design Process and Its Implementation Patterns for Multi-services Systems -- Test Generation -- Generating Checking Sequences for Partial Reduced Finite State Machines -- Testing Systems Specified as Partial Order Input/Output Automata -- Test Purpose Concretization through Symbolic Action Refinement -- Concurrent System Testing -- Implementation Relations for the Distributed Test Architecture -- Modular System Verification by Inference, Testing and Reachability Analysis -- Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis -- Applications of Testing -- Applying Model-Based Testing to HTML Rendering Engines – A Case Study -- Model-Based Generation of Testbeds for Web Services -- Real-Time Testing with TTCN-3. |
Record Nr. | UNISA-996465631203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|