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.
Ambient Intelligence [[electronic resource] ] : First International Joint Conference, AmI 2010, Málaga, Spain, November 10-12, 2010, Proceedings / / edited by Boris De Ruyter, Reiner Wichert, David V. Keyson, Panos Markopoulos, Norbert Streitz, Monica Divitini, Nikolaos Georgantas, Antonio Mana Gomez
| Ambient Intelligence [[electronic resource] ] : First International Joint Conference, AmI 2010, Málaga, Spain, November 10-12, 2010, Proceedings / / edited by Boris De Ruyter, Reiner Wichert, David V. Keyson, Panos Markopoulos, Norbert Streitz, Monica Divitini, Nikolaos Georgantas, Antonio Mana Gomez |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XVII, 354 p. 137 illus.) |
| Disciplina | 004.61 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
User interfaces (Computer systems)
Artificial intelligence Application software Computer communication systems Software engineering Computers and civilization User Interfaces and Human Computer Interaction Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Software Engineering Computers and Society |
| Soggetto genere / forma | Kongress. |
| ISBN |
1-280-39029-8
9786613568212 3-642-16917-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Automating Routine Tasks in AmI Systems by Using Models at Runtime -- Service Obtrusiveness Adaptation -- A Dynamic Time Warping Approach to Real-Time Activity Recognition for Food Preparation -- Refining Interaction Designs through Simplicity -- Semantic Visualization of Wireless Sensor Networks for Elderly Monitoring -- Privacy Management and Control in ATRACO -- Place in Perspective: Extracting Online Information about Points of Interest -- AmbiSec: Securing Smart Spaces Using Entropy Harvesting -- Taxi-Aware Map: Identifying and Predicting Vacant Taxis in the City -- Dynamic Privacy Management in Pervasive Sensor Networks -- Geo-Social Interaction: Context-Aware Help in Large Scale Public Spaces -- The Operator Guide: An Ambient Persuasive Interface in the Factory -- Reduction of Driver Stress Using AmI Technology while Driving in Motorway Merging Sections -- Subjective Difficulty Estimation for Interactive Learning by Sensing Vibration Sound on Desk Panel -- Ontology Driven Piecemeal Development of Smart Spaces -- Exploiting Acoustic Source Localization for Context Classification in Smart Environments -- Real-Time Gaze Tracking for Public Displays -- An Agent-Based Approach to Care in Independent Living -- Making AAL Platforms a Reality -- A Unified Architecture for Supporting Direct Tag-Based and Indirect Network-Based Resource Discovery -- Multilevel and Hybrid Architecture for Device Abstraction and Context Information Management in Smart Home Environments -- A Distributed Many-Camera System for Multi-person Tracking -- An Open Distributed Framework for Adaptive User Interaction in Ambient Intelligence -- A Vision-Based System for Object Identification and Information Retrieval in a Smart Home -- SeSaMoNet 2.0: Improving a Navigation System for Visually Impaired People -- Plugin Driven Architecture for Intelligent Management of Building -- Enhancing the Expressiveness of Fingers: Multi-touch Ring Menus for Everyday Applications -- Privacy Policy Enforcement for Ambient Ubiquitous Services -- A Concept for a First Communication Initiation for Ambient Intelligent Industrial Environments -- A Bluetooth-Based Device Management Platform for Smart Sensor Environment -- Investigation and Demonstration of Local Positioning System Using Ultrasonic Sensors for Wide Indoor Areas -- Automatic Pedestrian Detection and Counting Applied to Urban Planning -- This Is Me: Using Ambient Voice Patterns for In-Car Positioning -- Selective Delivery of Points of Interest -- Ambient Intelligence Research Landscapes: Introduction and Overview -- Challenges and Limitations of Intelligent Ambient Assisted Living Environments -- The DFKI Competence Center for Ambient Assisted Living -- Intersecting the Architecture of the Internet of Things with the Future Retail Industry -- On the Role of ExperienceLab in Professional Domain Ambient Intelligence Research -- The Christian Doppler Laboratory on Contextual Interfaces -- Workshop on Interaction Techniques in Real and Simulated Assistive Smart Environments -- Workshop on Pervasive Computing and Cooperative Environments in a Global Context -- ’Designing Ambient Interactions – Pervasive Ergonomic Interfaces for Ageing Well’ (DAI’10) -- 3rd Workshop on Semantic Ambient Media Experience (SAME) – In Conjunction with AmI-2010 -- Workshop AccessibleTV ”Accessible User Interfaces for Future TV Applications” -- First Workshop on Radically Innovative AAL Services -- First Workshop on Convergence and Consolidation towards Standard AAL Platform Services. |
| Record Nr. | UNISA-996465687803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Composition [[electronic resource] ] : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings / / edited by Michel Baudry, Eric Wohlstadter
| Software Composition [[electronic resource] ] : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings / / edited by Michel Baudry, Eric Wohlstadter |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (VIII, 155 p. 56 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Computer logic Programming languages (Electronic computers) Computer programming Software Engineering/Programming and Operating Systems Software Engineering Computer Communication Networks Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques |
| ISBN |
1-280-38757-2
9786613565495 3-642-14046-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Composition -- Composing Models at Two Modeling Levels to Capture Heterogeneous Concerns in Requirements -- Managing Variability in Workflow with Feature Model Composition Operators -- Context-Orientation and Domain-Specific Composition -- Composition and Compositionality in a Component Model for Autonomous Robots -- Event-Specific Software Composition in Context-Oriented Programming -- Predicated Generic Functions -- Composing Services -- Dynamically Adaptive Systems through Automated Model Evolution Using Service Compositions -- Visualizing and Assessing a Compositional Approach of Business Process Design -- Languages -- Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! -- An Advice for Advice Composition in AspectJ -- The .NET Primitives for Open, Dynamic and Reflective Component Frameworks. |
| Record Nr. | UNISA-996465591203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tests and Proofs [[electronic resource] ] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings / / edited by Gordon Fraser, Angelo Gargantini
| Tests and Proofs [[electronic resource] ] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings / / edited by Gordon Fraser, Angelo Gargantini |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (174 p. 60 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Programming Techniques Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages |
| ISBN |
1-280-38754-8
9786613565464 3-642-13977-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback -- Myths in Software Engineering: From the Other Side -- Specifications from Testing -- QuickSpec: Guessing Formal Specifications Using Testing -- Testing Proofs -- Testing First-Order Logic Axioms in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases -- Proof Process Evaluation with Mutation Analysis -- Test Generation Using Proof Techniques -- Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay -- DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces -- Combining Static Analysis and Test Generation for C Program Debugging -- Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding -- Theorem Proving and Testing -- Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications -- Abstraction -- Syntactic Abstraction of B Models to Generate Tests -- Building a Test-Ready Abstraction of a Behavioral Model Using CLP. |
| Record Nr. | UNISA-996465588703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and Practice of Model Transformations [[electronic resource] ] : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings / / edited by Laurence Tratt, Martin Gogolla
| Theory and Practice of Model Transformations [[electronic resource] ] : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings / / edited by Laurence Tratt, Martin Gogolla |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 278 p. 95 illus.) |
| Disciplina | 005.10285 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Mathematical logic Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques Mathematical Logic and Formal Languages |
| ISBN |
1-280-38724-6
9786613565167 3-642-13688-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Search Computing: A Model-Driven Perspective -- Research Papers -- Domain-Specific Composition of Model Deltas -- Temporal Model-Based Diagnostics Generation for HVAC Control Systems -- Synthesis of OCL Pre-conditions for Graph Transformation Rules -- From State- to Delta-Based Bidirectional Model Transformations -- A Constructive Approach to Testing Model Transformations -- From Sequence Diagrams to State Machines by Graph Transformation -- Safe Composition of Transformations -- Towards Incremental Execution of ATL Transformations -- Constructing and Navigating Non-invasive Model Decorations -- Model-to-Model Transformations By Demonstration -- Implementing Business Process Recovery Patterns through QVT Transformations -- Model Migration with Epsilon Flock -- Exceptional Transformations -- Improving Higher-Order Transformations Support in ATL -- Towards a Rewriting Logic Semantics for ATL -- Metamodel Matching Based on Planar Graph Edit Distance -- Surviving the Heterogeneity Jungle with Composite Mapping Operators. |
| Record Nr. | UNISA-996466436003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
