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.
Advances in Web-Based Learning - ICWL 2010 [[electronic resource] ] : 9th International Conference, Shanghai, China, December 8-10, 2010, Proceedings / / edited by Xiangfeng Luo, Marc Spaniol, Lizhe Wang, Qing Li, Wolfgang Nejdl, Wu Zhang
| Advances in Web-Based Learning - ICWL 2010 [[electronic resource] ] : 9th International Conference, Shanghai, China, December 8-10, 2010, Proceedings / / edited by Xiangfeng Luo, Marc Spaniol, Lizhe Wang, Qing Li, Wolfgang Nejdl, Wu Zhang |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 412 p. 57 illus.) |
| Disciplina | 371.3344678 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Education—Data processing
Artificial intelligence User interfaces (Computer systems) Computers and civilization Multimedia information systems Personal computers Computers and Education Artificial Intelligence User Interfaces and Human Computer Interaction Computers and Society Multimedia Information Systems Personal Computing |
| Soggetto genere / forma | Kongress |
| ISBN |
1-280-39055-7
9786613568472 3-642-17407-8 |
| Classificazione | 370004 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Papers -- Supporting Adaptive Learning with a Student Model Repository and Shared Adaptive Variables -- Enhancing Personal Learning Environments by Context-Aware Tagging -- Assisting the Authoring Process of IMS-LD Using Web Parsing Technique -- Dynamic Navigation for Personalized Learning Activities Based on Gradual Adaption Recommendation Model -- An Advanced Learning Environment Aided by Recognition of Multi-modal Social Signals -- An Ontology-Based Framework for Personalized Adaptive Learning -- Personalized Curriculum Recommender System Based on Hybrid Filtering -- Evaluation of Learning Outcomes -- Incorporating an Automatic Judge into Blended Learning Programming Activities -- Visualizing Activities for Self-reflection and Awareness -- Web-Based Enhanced Learning Style Index with Integration into an e-Learning System -- Gap Detection in Web-Based Adaptive Educational Systems -- Bridging the Knowledge Gap between Research and Education through Textbooks -- Predicting Learning Styles in a Conversational Intelligent Tutoring System -- Specifying a Programming Exercises Evaluation Service on the e-Framework -- A Supplement for Learning Herbal Medicine Using a Web-Based Tool and Social Network -- Using Social Software for Teamwork and Collaborative Project Management in Higher Education -- Construction of the Intelligent Tutoring System from the View of Distributed Cognition -- A Scaffolding Support System for English Essay Reading -- Learning Content Adaptation for m-Learning Systems: A Multimodality Approach -- Supporting Active Learning in CLIL through Collaborative Search -- Supporting Flexible Competency Frameworks -- Extending Learning Objects by Means of Social Networking -- Improving Hybrid Learning of Physical Education by Video Review -- An Emotion Regulation Model in an E-Learning Environment -- Delivering QTI Self-tests to Personal Learning Environments Using Wookie Widgets -- e-Training DS: An Authoring Tool for Integrating Portable Computer Science Games in e-Learning -- Not Yet Ready for Everyone: An Experience Report about a Personal Learning Environment for Language Learning -- eCH, A Course Help Tool for Teacher -- Collaborative Learning by Means of Multiplayer Serious Games -- CONSPECT: Monitoring Conceptual Development -- LABTA: An Agent-Based Intelligent Teaching Assistant for Experiment Courses -- An Open Model for Learning Path Construction -- Automatically Constructing a Compact Concept Map of Dance Motion with Motion Captured Data -- Using the Petri Nets for the Learner Assessment in Serious Games -- Web-Based Probabilistic Retrieval of Chinese Calligraphic Character Images: An Efficiency Study -- Short Papers -- An Effort to Boost Building an Attentive Service Environment for the Participants in Smart Classrooms -- A Study on the Effectiveness of Cooperative Learning in College English Writing -- Comparing Learning Results of Web Based and Traditional Learning Students -- A Personalized Assessment System Based on Item Response Theory -- Open Learning: A Framework for Sharable Learning Activities -- Studies on Sustainable Design Strategies of the Product-Service System for the Web-Based English Learning -- Design and Implementation of Collaboration Support in Virtual Experiment Environment -- Cross-Cultural Multimedia Language Learning: Case Study and Analysis. |
| Record Nr. | UNISA-996465706003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Web-Based Learning - ICWL 2010 : 9th International Conference, Shanghai, China, December 8-10, 2010, Proceedings / / edited by Xiangfeng Luo, Marc Spaniol, Lizhe Wang, Qing Li, Wolfgang Nejdl, Wu Zhang
| Advances in Web-Based Learning - ICWL 2010 : 9th International Conference, Shanghai, China, December 8-10, 2010, Proceedings / / edited by Xiangfeng Luo, Marc Spaniol, Lizhe Wang, Qing Li, Wolfgang Nejdl, Wu Zhang |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 412 p. 57 illus.) |
| Disciplina | 371.3344678 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Education—Data processing
Artificial intelligence User interfaces (Computer systems) Computers and civilization Multimedia information systems Personal computers Computers and Education Artificial Intelligence User Interfaces and Human Computer Interaction Computers and Society Multimedia Information Systems Personal Computing |
| Soggetto genere / forma | Kongress |
| ISBN |
1-280-39055-7
9786613568472 3-642-17407-8 |
| Classificazione | 370004 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Papers -- Supporting Adaptive Learning with a Student Model Repository and Shared Adaptive Variables -- Enhancing Personal Learning Environments by Context-Aware Tagging -- Assisting the Authoring Process of IMS-LD Using Web Parsing Technique -- Dynamic Navigation for Personalized Learning Activities Based on Gradual Adaption Recommendation Model -- An Advanced Learning Environment Aided by Recognition of Multi-modal Social Signals -- An Ontology-Based Framework for Personalized Adaptive Learning -- Personalized Curriculum Recommender System Based on Hybrid Filtering -- Evaluation of Learning Outcomes -- Incorporating an Automatic Judge into Blended Learning Programming Activities -- Visualizing Activities for Self-reflection and Awareness -- Web-Based Enhanced Learning Style Index with Integration into an e-Learning System -- Gap Detection in Web-Based Adaptive Educational Systems -- Bridging the Knowledge Gap between Research and Education through Textbooks -- Predicting Learning Styles in a Conversational Intelligent Tutoring System -- Specifying a Programming Exercises Evaluation Service on the e-Framework -- A Supplement for Learning Herbal Medicine Using a Web-Based Tool and Social Network -- Using Social Software for Teamwork and Collaborative Project Management in Higher Education -- Construction of the Intelligent Tutoring System from the View of Distributed Cognition -- A Scaffolding Support System for English Essay Reading -- Learning Content Adaptation for m-Learning Systems: A Multimodality Approach -- Supporting Active Learning in CLIL through Collaborative Search -- Supporting Flexible Competency Frameworks -- Extending Learning Objects by Means of Social Networking -- Improving Hybrid Learning of Physical Education by Video Review -- An Emotion Regulation Model in an E-Learning Environment -- Delivering QTI Self-tests to Personal Learning Environments Using Wookie Widgets -- e-Training DS: An Authoring Tool for Integrating Portable Computer Science Games in e-Learning -- Not Yet Ready for Everyone: An Experience Report about a Personal Learning Environment for Language Learning -- eCH, A Course Help Tool for Teacher -- Collaborative Learning by Means of Multiplayer Serious Games -- CONSPECT: Monitoring Conceptual Development -- LABTA: An Agent-Based Intelligent Teaching Assistant for Experiment Courses -- An Open Model for Learning Path Construction -- Automatically Constructing a Compact Concept Map of Dance Motion with Motion Captured Data -- Using the Petri Nets for the Learner Assessment in Serious Games -- Web-Based Probabilistic Retrieval of Chinese Calligraphic Character Images: An Efficiency Study -- Short Papers -- An Effort to Boost Building an Attentive Service Environment for the Participants in Smart Classrooms -- A Study on the Effectiveness of Cooperative Learning in College English Writing -- Comparing Learning Results of Web Based and Traditional Learning Students -- A Personalized Assessment System Based on Item Response Theory -- Open Learning: A Framework for Sharable Learning Activities -- Studies on Sustainable Design Strategies of the Product-Service System for the Web-Based English Learning -- Design and Implementation of Collaboration Support in Virtual Experiment Environment -- Cross-Cultural Multimedia Language Learning: Case Study and Analysis. |
| Record Nr. | UNINA-9910484732103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods and Software Engineering [[electronic resource] ] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings / / edited by Jin Song Dong, Huibiao Zhu
| Formal Methods and Software Engineering [[electronic resource] ] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings / / edited by Jin Song Dong, Huibiao Zhu |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 712 p. 202 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Computer programming Algorithms Software Engineering/Programming and Operating Systems Computer Communication Networks Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Algorithm Analysis and Problem Complexity |
| Soggetto genere / forma | Kongress. |
| ISBN |
1-280-39028-X
9786613568205 3-642-16901-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Fostering Proof Scores in CafeOBJ -- Exploiting Partial Success in Applying Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem Proving and Decision Procedures -- Applying PVS Background Theories and Proof Strategies in Invariant Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM -- Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq -- Decision Procedures for the Temporal Verification of Concurrent Lists -- An Improved Decision Procedure for Propositional Projection Temporal Logic -- Web Services and Workflow -- A Semantic Model for Service Composition with Coordination Time Delays -- Compensable WorkFlow Nets -- Automatically Testing Web Services Choreography with Assertions -- Applying Ordinary Differential Equations to the Performance Analysis of Service Composition -- Verification I -- Verifying Heap-Manipulating Programs with Unknown Procedure Calls -- API Conformance Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating Coinduction with Case Analysis -- Applications of Formal Methods -- Enhanced Semantic Access to Formal Software Models -- Making Pattern- and Model-Based Software Development More Rigorous -- Practical Parameterised Session Types -- A Formal Verification Study on the Rotterdam Storm Surge Barrier -- Verification II -- Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems -- Automated Multiparameterised Verification by Cut-Offs -- Automating Cut-off for Multi-parameterized Systems -- Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors -- Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP -- Probability and Concurrency -- Model Checking Hierarchical Probabilistic Systems -- Trace-Driven Verification of Multithreaded Programs -- Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network -- Reasoning about Safety and Progress Using Contracts -- Program Analysis -- Abstract Program Slicing: From Theory towards an Implementation -- Loop Invariant Synthesis in a Combined Domain -- Software Metrics in Static Program Analysis -- A Combination of Forward and Backward Reachability Analysis Methods -- Model Checking -- Model Checking a Model Checker: A Code Contract Combined Approach -- On Symmetries and Spotlights – Verifying Parameterised Systems -- A Methodology for Automatic Diagnosability Analysis -- Making the Right Cut in Model Checking Data-Intensive Timed Systems -- Comparison of Model Checking Tools for Information Systems -- Object Orientation and Model Driven Engineering -- A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model -- Model-Driven Protocol Design Based on Component Oriented Modeling -- Laws of Pattern Composition -- Dynamic Resource Reallocation between Deployment Components -- Specification and Verification -- A Pattern System to Support Refining Informal Ideas into Formal Expressions -- Specification Translation of State Machines from Equational Theories into Rewrite Theories -- Alternating Interval Based Temporal Logics. |
| Record Nr. | UNISA-996465956503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings / / edited by Jin Song Dong, Huibiao Zhu
| Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings / / edited by Jin Song Dong, Huibiao Zhu |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 712 p. 202 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Computer programming Algorithms Software Engineering/Programming and Operating Systems Computer Communication Networks Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Algorithm Analysis and Problem Complexity |
| Soggetto genere / forma | Kongress. |
| ISBN |
1-280-39028-X
9786613568205 3-642-16901-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Fostering Proof Scores in CafeOBJ -- Exploiting Partial Success in Applying Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem Proving and Decision Procedures -- Applying PVS Background Theories and Proof Strategies in Invariant Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM -- Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq -- Decision Procedures for the Temporal Verification of Concurrent Lists -- An Improved Decision Procedure for Propositional Projection Temporal Logic -- Web Services and Workflow -- A Semantic Model for Service Composition with Coordination Time Delays -- Compensable WorkFlow Nets -- Automatically Testing Web Services Choreography with Assertions -- Applying Ordinary Differential Equations to the Performance Analysis of Service Composition -- Verification I -- Verifying Heap-Manipulating Programs with Unknown Procedure Calls -- API Conformance Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating Coinduction with Case Analysis -- Applications of Formal Methods -- Enhanced Semantic Access to Formal Software Models -- Making Pattern- and Model-Based Software Development More Rigorous -- Practical Parameterised Session Types -- A Formal Verification Study on the Rotterdam Storm Surge Barrier -- Verification II -- Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems -- Automated Multiparameterised Verification by Cut-Offs -- Automating Cut-off for Multi-parameterized Systems -- Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors -- Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP -- Probability and Concurrency -- Model Checking Hierarchical Probabilistic Systems -- Trace-Driven Verification of Multithreaded Programs -- Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network -- Reasoning about Safety and Progress Using Contracts -- Program Analysis -- Abstract Program Slicing: From Theory towards an Implementation -- Loop Invariant Synthesis in a Combined Domain -- Software Metrics in Static Program Analysis -- A Combination of Forward and Backward Reachability Analysis Methods -- Model Checking -- Model Checking a Model Checker: A Code Contract Combined Approach -- On Symmetries and Spotlights – Verifying Parameterised Systems -- A Methodology for Automatic Diagnosability Analysis -- Making the Right Cut in Model Checking Data-Intensive Timed Systems -- Comparison of Model Checking Tools for Information Systems -- Object Orientation and Model Driven Engineering -- A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model -- Model-Driven Protocol Design Based on Component Oriented Modeling -- Laws of Pattern Composition -- Dynamic Resource Reallocation between Deployment Components -- Specification and Verification -- A Pattern System to Support Refining Informal Ideas into Formal Expressions -- Specification Translation of State Machines from Equational Theories into Rewrite Theories -- Alternating Interval Based Temporal Logics. |
| Record Nr. | UNINA-9910483372803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
