top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Computer Analysis of Images and Patterns [[electronic resource] ] : 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009, Proceedings / / edited by Xiaoyi Jiang, Nicolai Petkov
Computer Analysis of Images and Patterns [[electronic resource] ] : 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009, Proceedings / / edited by Xiaoyi Jiang, Nicolai Petkov
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XLVI, 1251 p.)
Disciplina 006.42
Collana Image Processing, Computer Vision, Pattern Recognition, and Graphics
Soggetto topico Pattern recognition
Biometrics (Biology)
Data mining
Optical data processing
Natural language processing (Computer science)
Artificial intelligence
Pattern Recognition
Biometrics
Data Mining and Knowledge Discovery
Computer Imaging, Vision, Pattern Recognition and Graphics
Natural Language Processing (NLP)
Artificial Intelligence
Soggetto genere / forma Kongress.
Münster (Westfalen, 2009)
ISBN 1-280-38324-0
9786613561169
3-642-03767-4
Classificazione DAT 760f
DAT 770f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Biometrics -- Calibration -- Document Analysis -- Features -- Graph Representations -- Image Processing -- Image Registration -- Image and Video Retrieval -- Medical Imaging -- Object and Scene Recognition -- Pattern Recognition -- Shape Recovery -- Segmentation -- Stereo and Video Analysis -- Texture Analysis -- Applications -- Erratum.
Record Nr. UNISA-996465732703316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Performance Engineering [[electronic resource] ] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings / / edited by Jeremy T. Bradley
Computer Performance Engineering [[electronic resource] ] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings / / edited by Jeremy T. Bradley
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (X, 221 p.)
Disciplina 004.029
Collana Programming and Software Engineering
Soggetto topico Computer system failures
Computers
Computer engineering
Software engineering
Computer programming
System Performance and Evaluation
Theory of Computation
Computer Engineering
Software Engineering/Programming and Operating Systems
Software Engineering
Programming Techniques
Soggetto genere / forma Kongress.
London (2009)
ISBN 3-642-02924-8
Classificazione DAT 280f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Tagged Generalized Stochastic Petri Nets -- Modelling Zoned RAID Systems Using Fork-Join Queueing Simulation -- Performance of Auctions and Sealed Bids -- Applying Symbolic Techniques to the Representation of Non-Markovian Models with Continuous PH Distributions -- Mean Value Analysis for a Class of PEPA Models -- Automatic Generation of Performance Analysis Results: Requirements and Demonstration -- Analytical Model of Traffic Compression in the UMTS Network -- From DFTs to PEPA: A Model-to-Model Transformation -- Passage-End Analysis -- Stochastic Monotonicity in Queueing Networks -- Fast Generation of Scale Free Networks with Directed Arcs -- A More Realistic Peer-to-Peer Grid Market Model -- Migrating Auctioneers on Internet Auctions for Improved Utility and Performance -- Analytical Model of the Soft Handoff Mechanism in the UMTS Network -- Analytical Model of TCP NewReno through a CTMC -- Packet Loss Analysis of Load-Balancing Switch with ON/OFF Input Processes -- Approximate Analysis of a Round Robin Scheduling Scheme for Network Coding -- Analysis of Large Populations of Interacting Objects with Mean Field and Markovian Agents.
Record Nr. UNISA-996465623103316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Safety, Reliability, and Security [[electronic resource] ] : 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings / / edited by Bettina Buth, Gerd Rabe, Till Seyfarth
Computer Safety, Reliability, and Security [[electronic resource] ] : 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings / / edited by Bettina Buth, Gerd Rabe, Till Seyfarth
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XI, 343 p.)
Disciplina 004n/a
Collana Programming and Software Engineering
Soggetto topico Computer security
Computer communication systems
Software engineering
Computers
Special purpose computers
Systems and Data Security
Computer Communication Networks
Software Engineering/Programming and Operating Systems
Information Systems and Communication Service
Software Engineering
Special Purpose and Application-Based Systems
Soggetto genere / forma Hamburg (2009)
Kongress.
ISBN 3-642-04468-9
Classificazione DAT 050f
DAT 260f
DAT 343f
DAT 460f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems -- Medical Systems -- Model-Based Development of Medical Devices -- Why Are People’s Decisions Sometimes Worse with Computer Support? -- Industrial Experience -- Safety-Related Application Conditions – A Balance between Safety Relevance and Handicaps for Applications -- Probability of Failure on Demand – The Why and the How -- Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems -- Security Risk Analysis -- Exploring Network Security in PROFIsafe -- Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing – Like Algorithms -- Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security -- Safety Guidelines -- Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508 -- Analysing Dependability Case Arguments Using Quality Models -- Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB -- Automotive -- Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats -- Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective -- Aerospace -- The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems -- Formal Verification of a Microkernel Used in Dependable Software Systems -- Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do -- Verification, Validation, Test -- Probabilistic Failure Propagation and Transformation Analysis -- Towards Model-Based Automatic Testing of Attack Scenarios -- CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting -- Fault Tolerance -- Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure -- Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and Parallel -- AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware -- Dependability -- Component-Based Abstraction in Fault Tree Analysis -- A Foundation for Requirements Analysis of Dependable Software -- Establishing a Framework for Dynamic Risk Management in ‘Intelligent’ Aero-Engine Control.
Record Nr. UNISA-996465672203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Vision/Computer Graphics Collaboration Techniques [[electronic resource] ] : 4th International Conference, MIRAGE 2009, Rocquencourt, France, May 4-6, 2009, Proceedings / / edited by André Gagalowicz, Wilfried Philips
Computer Vision/Computer Graphics Collaboration Techniques [[electronic resource] ] : 4th International Conference, MIRAGE 2009, Rocquencourt, France, May 4-6, 2009, Proceedings / / edited by André Gagalowicz, Wilfried Philips
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XIII, 438 p.)
Disciplina 006.6
006.37
Collana Image Processing, Computer Vision, Pattern Recognition, and Graphics
Soggetto topico Optical data processing
Life sciences
Data mining
Computer graphics
Pattern recognition
Image Processing and Computer Vision
Life Sciences, general
Data Mining and Knowledge Discovery
Computer Graphics
Computer Imaging, Vision, Pattern Recognition and Graphics
Pattern Recognition
Soggetto genere / forma Kongress.
Rocquencourt (2009)
ISBN 3-642-01811-4
Classificazione SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Tracking Human Motion with Multiple Cameras Using an Articulated Model -- Shape Recovery of Specular Surface Using Color Highlight Stripe and Light Source Coding -- Geometric Mesh Denoising via Multivariate Kernel Diffusion -- Automatic Segmentation of Scanned Human Body Using Curve Skeleton Analysis -- Multi-view Player Action Recognition in Soccer Games -- Heart Cavity Segmentation in Ultrasound Images Based on Supervised Neural Networks -- Automatic Fitting of a Deformable Face Mask Using a Single Image -- Re-projective Pose Estimation of a Planar Prototype -- Tracking and Retexturing Cloth for Real-Time Virtual Clothing Applications -- A Novel Approach to Spatio-Temporal Video Analysis and Retrieval -- A Bag of Words Approach for 3D Object Categorization -- An Improved Structured Light Inspection of Specular Surfaces Based on Quaternary Coding -- Robust Detection and Tracking of Multiple Moving Objects with 3D Features by an Uncalibrated Monocular Camera -- Automatic Golf Ball Trajectory Reconstruction and Visualization -- Integrated Digital Image Correlation for the Identification of Mechanical Properties -- Recovery of 3D Solar Magnetic Field Model Parameter Using Image Structure Matching -- From Interactive Positioning to Automatic Try-On of Garments -- Level Set Segmentation of Knee Bones Using Normal Profile Models -- Detection of Overlapped Ellipses by Combining Region and Edge Data -- Flash Lighting Space Sampling -- Error Analysis of Stereo Calibration and Reconstruction -- Spatio-Temporal Tracking of Faces by Stereo Vision -- Spatio-Temporal Scene Analysis Based on Graph Algorithms to Determine Rigid and Articulated Objects -- Low-Cost Multi-image Based 3D Human Body Modeling -- Modified Histogram Based Fuzzy Filter -- Color Transfer in Images Based on Separation of Chromatic and Achromatic Colors -- Realistic Face Animation for Audiovisual Speech Applications: A Densification Approach Driven by Sparse Stereo Meshes -- Meshless Virtual Cloth -- New Human Face Expression Tracking -- A Model-Based Approach for Human Body Reconstruction from 3D Scanned Data -- Region-Based vs. Edge-Based Registration for 3D Motion Capture by Real Time Monoscopic Vision -- Supporting Diagnostics of Coronary Artery Disease with Multi-resolution Image Parameterization and Data Mining -- Interpreting Face Images by Fitting a Fast Illumination-Based 3D Active Appearance Model -- EEG Data Driven Animation and Its Application -- Facade Structure Parameterization Based on Similarity Detection from Single Image -- Epipolar Angular Factorisation of Essential Matrix for Camera Pose Calibration -- Integrated Noise Modeling for Image Sensor Using Bayer Domain Images -- Searching High-Dimensional Neighbours: CPU-Based Tailored Data-Structures Versus GPU-Based Brute-Force Method.
Record Nr. UNISA-996465541203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computers and Games [[electronic resource] ] : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers / / edited by H. Jaap van den Herik, Hiroyuki Iida, Aske Plaat
Computers and Games [[electronic resource] ] : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers / / edited by H. Jaap van den Herik, Hiroyuki Iida, Aske Plaat
Edizione [1st ed. 2011.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Descrizione fisica 1 online resource (XVIII, 277 p. 99 illus., 23 illus. in color.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Artificial intelligence
Computer networks
Computer science
Computer science—Mathematics
Discrete mathematics
Machine theory
Artificial Intelligence
Computer Communication Networks
Theory of Computation
Discrete Mathematics in Computer Science
Formal Languages and Automata Theory
Soggetto genere / forma Conference papers and proceedings.
Kongress.
ISBN 3-642-17928-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996466052203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computers helping people with special needs : 11th international conference, ICCHP 2008, Linz, Austria, July 9-11, 2008 : proceedings / / edited by Klaus Miesenberger [and three others]
Computers helping people with special needs : 11th international conference, ICCHP 2008, Linz, Austria, July 9-11, 2008 : proceedings / / edited by Klaus Miesenberger [and three others]
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Germany : , : Springer, , [2008]
Descrizione fisica 1 online resource (XXVIII, 1350 p.)
Disciplina 617.0330285
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Databases
Soggetto genere / forma Kongress2008.Linz
Conference papers and proceedings.
Kongress.
Linz (2008)
ISBN 3-540-70540-6
Classificazione SS 4800
004
610
DAT 301f
DAT 120f
MED 230f
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote -- Human-Computer Interaction and Usability for Elderly (HCI4AGING) -- Design for All: From Idea to Practice -- (Users Need Standards)2 – Users Need Standards Need Users -- Accessibility: Education for Web Design and eLearning -- ACP – Accessible Content Processing -- Web Accessibility – Automatic/Manual Evaluation and Authoring Tools -- Web Accessibility – Quality Control and Best Practice -- People with Disabilities: Software Accessibility -- Entertainment Software Accessibility -- Hearing Impaired, Deaf and DeafBlind People: HCI and Communication -- People with Specific Learning Dificulties – Easy to Read and HCI -- Blind and Visually Impaired People: Human-Computer Interaction and Access to Graphics -- Access to Mathematics and Science -- Accessible Tourism -- Smart Environments -- Portable and Mobile Systems in Assistive Technology -- Skills vs. Abilities: Alternative Input and Communication Systems -- People with Disabilities: Speech Therapy and Sound Applications -- People with Disabilities: Mobility and Care -- People with Disabilities: Service Provision.
Record Nr. UNINA-9910483215703321
Berlin, Germany : , : Springer, , [2008]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computers helping people with special needs : 11th international conference, ICCHP 2008, Linz, Austria, July 9-11, 2008 : proceedings / / edited by Klaus Miesenberger [and three others]
Computers helping people with special needs : 11th international conference, ICCHP 2008, Linz, Austria, July 9-11, 2008 : proceedings / / edited by Klaus Miesenberger [and three others]
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Germany : , : Springer, , [2008]
Descrizione fisica 1 online resource (XXVIII, 1350 p.)
Disciplina 617.0330285
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Databases
Soggetto genere / forma Kongress2008.Linz
Conference papers and proceedings.
Kongress.
Linz (2008)
ISBN 3-540-70540-6
Classificazione SS 4800
004
610
DAT 301f
DAT 120f
MED 230f
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote -- Human-Computer Interaction and Usability for Elderly (HCI4AGING) -- Design for All: From Idea to Practice -- (Users Need Standards)2 – Users Need Standards Need Users -- Accessibility: Education for Web Design and eLearning -- ACP – Accessible Content Processing -- Web Accessibility – Automatic/Manual Evaluation and Authoring Tools -- Web Accessibility – Quality Control and Best Practice -- People with Disabilities: Software Accessibility -- Entertainment Software Accessibility -- Hearing Impaired, Deaf and DeafBlind People: HCI and Communication -- People with Specific Learning Dificulties – Easy to Read and HCI -- Blind and Visually Impaired People: Human-Computer Interaction and Access to Graphics -- Access to Mathematics and Science -- Accessible Tourism -- Smart Environments -- Portable and Mobile Systems in Assistive Technology -- Skills vs. Abilities: Alternative Input and Communication Systems -- People with Disabilities: Speech Therapy and Sound Applications -- People with Disabilities: Mobility and Care -- People with Disabilities: Service Provision.
Record Nr. UNISA-996465992603316
Berlin, Germany : , : Springer, , [2008]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Conceptual Modeling - ER 2009 [[electronic resource] ] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009, Proceedings / / edited by Alberto H. F. Laender, Silvana Castano, Umeshwar Dayal, Fabio Casati, José Palazzo M. de Oliverira
Conceptual Modeling - ER 2009 [[electronic resource] ] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009, Proceedings / / edited by Alberto H. F. Laender, Silvana Castano, Umeshwar Dayal, Fabio Casati, José Palazzo M. de Oliverira
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XVIII, 516 p.)
Disciplina 005.74
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Software engineering
Computers
Computer programming
Data structures (Computer science)
Software Engineering/Programming and Operating Systems
Theory of Computation
Programming Techniques
Software Engineering
Models and Principles
Data Structures
Soggetto genere / forma Gramado (2009)
Kongress.
ISBN 3-642-04840-4
Classificazione DAT 310f
DAT 600f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ER 30th Anniversary Paper -- Thirty Years of ER Conferences: Milestones, Achievements, and Future Directions -- Keynotes -- A Frame Manipulation Algebra for ER Logical Stage Modelling -- Conceptual Modeling in the Time of the Revolution: Part II -- Data Auditor: Analyzing Data Quality Using Pattern Tableaux -- Schema AND Data: A Holistic Approach to Mapping, Resolution and Fusion in Information Integration -- Conceptual Modeling -- A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models -- An Empirical Study of Enterprise Conceptual Modeling -- Formalizing Linguistic Conventions for Conceptual Models -- Requirements Engineering -- Monitoring and Diagnosing Malicious Attacks with Autonomic Software -- A Modeling Ontology for Integrating Vulnerabilities into Security Requirements Conceptual Foundations -- Modeling Domain Variability in Requirements Engineering with Contexts -- Foundational Aspects -- Information Networking Model -- Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations -- Inducing Metaassociations and Induced Relationships -- Query Approaches -- Tractable Query Answering over Conceptual Schemata -- Query-By-Keywords (QBK): Query Formulation Using Semantics and Feedback -- Cluster-Based Exploration for Effective Keyword Search over Semantic Datasets -- Space and Time Modeling -- Geometrically Enhanced Conceptual Modelling -- Anchor Modeling -- Evaluating Exceptions on Time Slices -- Schema Matching and Integration -- A Strategy to Revise the Constraints of the Mediated Schema -- Schema Normalization for Improving Schema Matching -- Extensible User-Based XML Grammar Matching -- Ontology-Based Approaches -- Modeling Associations through Intensional Attributes -- Modeling Concept Evolution: A Historical Perspective -- FOCIH: Form-Based Ontology Creation and Information Harvesting -- Specifying Valid Compound Terms in Interrelated Faceted Taxonomies -- Application Contexts -- Conceptual Modeling in Disaster Planning Using Agent Constructs -- Modelling Safe Interface Interactions in Web Applications -- A Conceptual Modeling Approach for OLAP Personalization -- Creating User Profiles Using Wikipedia -- Process and Service Modeling -- Hosted Universal Composition: Models, Languages and Infrastructure in mashArt -- From Static Methods to Role-Driven Service Invocation – A Metamodel for Active Content in Object Databases -- Business Process Modeling: Perceived Benefits -- Industrial Session -- Designing Law-Compliant Software Requirements -- A Knowledge-Based and Model-Driven Requirements Engineering Approach to Conceptual Satellite Design -- Virtual Business Operating Environment in the Cloud: Conceptual Architecture and Challenges.
Record Nr. UNISA-996466364803316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Cooperative Design, Visualization, and Engineering [[electronic resource] ] : 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010, Proceedings / / edited by Yuhua Luo
Cooperative Design, Visualization, and Engineering [[electronic resource] ] : 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010, Proceedings / / edited by Yuhua Luo
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica 1 online resource (XII, 302 p. 125 illus.)
Disciplina 620.00420285
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Computer communication systems
Software engineering
Application software
User interfaces (Computer systems)
Information storage and retrieval
Computer Communication Networks
Software Engineering/Programming and Operating Systems
Information Systems Applications (incl. Internet)
Software Engineering
User Interfaces and Human Computer Interaction
Information Storage and Retrieval
Soggetto genere / forma Kongress.
ISBN 1-280-38942-7
9786613567345
3-642-16066-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cooperative Applications -- Using Tag Clouds to Promote Community Awareness in Research Environments -- A Proposal for Model-Based Design and Development of Group Work Tasks in a Shared Context -- Fixing Collaborative Edition on Typed Documents -- Towards the Construction of a Knowledge Building Environment -- Applying Situation Awareness Approach to Cooperative Play in Interactive Installation Storytelling System -- Argumentation Tools in a Collaborative Development Environment -- Cooperative Learning by Replay Files in Real-Time Strategy Game -- Cooperative eLearning to Enhance Knowledge Creation -- Memory and Creativity in Cooperative vs. Non cooperative Spatial Planning and Architecture -- An Embedded Road Crack Detection System in a Cooperative Platform -- Saving Energy with Cooperative Group-Based Wireless Sensor Networks -- Enhancing Collaboration in Vehicular Networks -- Initial Risk Assessment of Emergency Events in Cooperative Operating Control -- The Sensitivity Analysis for Cooperative Decision by TOPSIS Method -- A Freshness Based Persistent Assurance Scheme for Secure Scalable Media Distribution -- Cooperative Decision Making for Evaluating Ports’ Reception Facilities -- Group Formation through Cooperating Node in VANETs -- Scrum in Research -- Towards a Framework for the Development of CSCW Systems -- Cooperative Design -- An Anthropo-Based Study of Industrial Design Cooperative Practices Using “Mediating Objects” -- Design for Service-Oriented Collaborative Design and Manufacturing Platform -- Cluster Analysis for Classifying Similar Shared Resources in Cooperative Design -- Parametric CAD Data Exchange Using Geometry-Based Neutral Macro File -- Study of Collaborative Design Based on Fuzzy Theory -- Technological Change: Educating for Extreme Collaboration -- Team Organization and Web-Based Project Management for Collaborative Highway Design -- Taking the Customer into Account in Collaborative Design -- Cooperative Visualization -- Multi-user Multi-touch Setups for Collaborative Learning in an Educational Setting -- Explore, Collaborate and Publish Official Statistics for Measuring Regional Progress -- Pattern Browsing and Query Adjustment for the Exploratory Analysis and Cooperative Visualisation of Microarray Time-Course Data -- CAD and VR Technologies Used in Civil Engineering Education -- Complicated Simulation Visualization Based on Grid and Cloud Computing -- Visualization of Neutral Model of Ship Pipe System Using X3D -- Cooperative Engineering -- Coordinating a Cooperative Automotive Manufacturing Network – An Agent-Based Model -- A Constraint Solving Method for Collaborative Product Development -- A Solution of Manufacturing Resources Sharing in Cloud Computing Environment -- Cluster Analysis on Candidates of Cooperative Product Development Team -- Collaboration Support in a Web-Based SCADA System -- Collaborative Control of Hierarchical System Based on JADE -- Requirement Specification for Agent-Based Cooperative Control of Dynamical Systems -- Web Engineering Process Matrix for Sustainable Deployment of Web-Based Applications -- Collaborative and Visualized Safety Planning for Construction Performed at High Elevation -- Product Precision Information Modeling under Cooperative Virtual Assembly Environment -- Task Scheduling of Collaborative Product Design Project.
Record Nr. UNISA-996465980803316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Coordination Models and Languages [[electronic resource] ] : 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings / / edited by John Field, Vasco Thudichum Vasconcelos
Coordination Models and Languages [[electronic resource] ] : 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings / / edited by John Field, Vasco Thudichum Vasconcelos
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XII, 307 p.)
Disciplina 005.27
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer communication systems
Computer programming
Computers
Application software
Software Engineering/Programming and Operating Systems
Computer Communication Networks
Programming Techniques
Software Engineering
Models and Principles
Information Systems Applications (incl. Internet)
Soggetto genere / forma Kongress.
Lissabon (2009)
ISBN 3-642-02053-4
Classificazione DAT 310f
DAT 350f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talk -- Hop, a Fast Server for the Diffuse Web -- Languages and Systems -- High-Performance Transactional Event Processing -- Exceptionally Safe Futures -- Enhanced Coordination in Sensor Networks through Flexible Service Provisioning -- Fairness for Chorded Languages -- Semantic Models and Calculi -- Mobility Models and Behavioural Equivalence for Wireless Networks -- Parametrised Constants and Replication for Spatial Mobility -- Biochemical Tuple Spaces for Self-organising Coordination -- Joint Session -- Multicore Scheduling for Lightweight Communicating Processes -- Composition and Components -- Automata for Context-Dependent Connectors -- Contract-Based Coordination of Hardware Components for the Development of Embedded Software -- Coordination Model for Real-Time Collaborative Editors -- Verification and Modeling -- A Uniform Framework for Modeling and Verifying Components and Connectors -- From Coordination to Stochastic Models of QoS -- Assume-Guarantee Verification of Concurrent Systems.
Record Nr. UNISA-996465429103316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui