{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":48,"n_cols":5,"rows_kept":48,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[4,2,4,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[13,2,13,3],[14,2,14,3],[18,2,18,3],[20,2,20,3],[20,4,20,5],[21,2,21,3],[21,4,21,5],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[40,2,40,3],[41,2,41,3],[44,2,44,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910138864203321"]
[null,null,"Titolo",null,"Models and analysis in distributed systems [[electronic resource] /] / edited by Serge Haddad ... [et al.]"]
[null,null,"Pubbl/distr/stampa",null,"London, : ISTE"]
[{"$nulls":4},"Hoboken, N.J., : Wiley, 2011"]
[null,null,"ISBN",null,"1-118-60263-3"]
[{"$nulls":4},"1-118-60268-4"]
[{"$nulls":4},"1-118-60269-2"]
[{"$nulls":4},"1-299-18771-4"]
[null,null,"Descrizione fisica",null,"1 online resource (358 p.)"]
[null,null,"Collana",null,"ISTE"]
[null,null,"Disciplina",null,"003.78"]
[null,null,"Soggetti",null,"Distributed parameter systems - Simulation methods"]
[{"$nulls":4},"System analysis"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"pt. 1. Formal models for distributed systems -- pt. 2. Verification techniques for distributed systems."]
[null,null,null,"Sommario/riassunto","Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms - from the same editors - introduce the underlying concepts, the associated design techniques and the related security issues.The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of pro"]
[null,"2.","Record Nr.",null,"UNINA9910144182303321"]
[null,null,"Titolo",null,"Advances in Web-Based Learning - ICWL 2004 : Third International Conference, Beijing, China, August 8-11, 2004, Proceedings / / edited by Wenyin Liu, Yuanchun Shi, Li Qing"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004"]
[null,null,"ISBN",null,"3-540-27859-1"]
[null,null,"Edizione",null,"[1st ed. 2004.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 470 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 3143"]
[null,null,"Disciplina",null,"371.3344678"]
[null,null,"Soggetti",null,"Educational technology"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Information storage and retrieval"]
[{"$nulls":4},"Multimedia systems"]
[{"$nulls":4},"User interfaces (Computer systems)"]
[{"$nulls":4},"Educational Technology"]
[{"$nulls":4},"Information Systems Applications (incl. Internet)"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Information Storage and Retrieval"]
[{"$nulls":4},"Multimedia Information Systems"]
[{"$nulls":4},"User Interfaces and Human Computer Interaction"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"e-Learning Platforms and Tools -- Learning Algorithms with an Electronic Chalkboard over the Web -- The Agile Teaching/Learning Methodology and Its e-Learning Platform -- Activity Theory as Tool for Analyzing Asynchronous Learning Networks (ALN) -- An Agent- and Service-Oriented e-Learning Platform -- Automatically Generating an e-Textbook on the Web -- Prioritized Admission Control in Multimedia Network-Based e-Learning -- CUBES: Providing Flexible Learning Environment for Virtual Universities -- Dinosys: An Annotation Tool for Web-Based Learning -- Web-Based Multimedia Authoring and Presentation Framework for Children’s Art Cultivation -- A Progressive Content Distribution Framework in Supporting Web-Based Learning -- "]
[{"$nulls":4},"Technologies to Support Collaborative Learning over the Multimedia Home Platform -- Proposal for KML Designer with Web-Based Environment -- AI-Based Teaching Package for Open Channel Flow on Internet -- Efficient Methods for Skimming the Web-Based Synchronization Multimedia Lectures -- Web-Based Collaborative Learning Focused on the Study of Interaction and Human Communication -- PKUSpace: A Collaborative Platform for Scientific Researching -- Learning by Seamless Migration – A Kind of Mobile Working Paradigm -- XML-Based Agent Communication in a Distributed Learning Environment -- Hook and Screen Division Based Screen Compression for the Real-Time Multimedia Transformation of e-Learning System -- Design for a Learner-Oriented Tracking -- Web-Based Adaptive Collaborative Learning Environment Designing -- A CATV and Internet Combined Framework for Distance Learning -- MPEG-4 Based Interactive 3D Visualization for Web-Based Learning -- An Adaptive Distance Learning System Based on Media Streaming -- Learning Resource Deployment, Organization and Management -- CDAL: A Scalable Scheme for Digital Resource Reorganization -- An Approach to the Use and Automatic Generation of Web-Based Learning Materials -- e-Learning Services Provision and Management -- A Modular Approach to e-Learning Content Creation and Maintenance -- Using a Knowledge-Based Management to Design a Web-Based Creative Problem Solving System -- Context-Based Classification for Link Data -- Build Presentation Layer for Semantic Contents -- e-Learning Content Management Based on Learning Object -- Improving Web-Based Learning: Automatic Annotation of Multimedia Semantics and Cross-Media Indexing -- Practice and Experience Sharing -- Multimedia Distance Learning Application on Embedded End Device -- Web-Based Collaborative Learning System Design for Navigation Education and Training -- Aphasics’ Communities Learning on the Web -- Crossing Boundaries with Web-Based Tools for Learning Object Evaluation -- Web-Based Handwriting Education with Animated Virtual Teacher -- From e-Learning to Virtual Learning Community: Bridging the Gap -- A Web-Based CAD System for Learning and Laboratory Purpose -- A Web-Based Teacher Assisting Agent System -- An Application-Oriented e-Learning System with Self-monitoring and Adaptive Exercises -- Methodologies of the Personalized Courseware Construction Tools for e-Learning -- Agent-Based Web Learning System Applying Dynamic Fuzzy Petri Net -- Design and Implementation of Virtual Computer Network Lab Based on NS2 In the Internet -- Semantics-Based Answers Selection in Question Answering System -- e-Learning Standards -- Learning Content Recommendation Service Based-on Simple Sequencing Specification -- Learning Object Models and an e-Learning Service Infrastructure for Virtual e-Learning Communities -- Implementation Issues on the Quality Evaluation of Web-Based Courses and Digital Learning Resources -- Reusable Learning Object and Its Strategies for e-Learning -- An Implementation of Learning Objects Management System -- Specification for Service Quality Management System of e-Learning -- Pedagogical Issues -- Personalized Education: An Exploratory Study of Learning Pedagogies in Relation to Personalization Technologies -- Guidelines towards Effectively Sharable LOs -- Articulation of Learners Requirements for Personalised Instructional Design in e-Learning Services -- Comparison of Pronunciation Scores in Spoken Language Learning System -- Community Knowledge Building Environment with Concept of KBC -- Student Participation Index: Student Assessment in Online Courses."]
[null,null,null,"Sommario/riassunto","With the rapid development of Web-based learning and new concepts like virtual cla- rooms, virtual laboratories and virtual universities, "]
[{"$nulls":4},"many issues need to be addressed. On the technical side, there is a need for effective technology for deployment of W- based education.On the learning side, the cyber mode of learning is very different from classroom-based learning. How can instructional developmentcope with this new style of learning? On the management side, the establishment of the cyber university - poses very different requirements for the set-up. Does industry-university partnership provide a solution to addressing the technological and management issues? Why do we need to standardize e-learning and what can we do already? As with many other new developments, more research is needed to establish the concepts and best practice for Web-based learning. ICWL 2004, the 3rd International Conference on Web-Based Learning, was held at the Tsinghua University (Beijing, China) from August 8th to 11th, 2004, as a continued attempt to address many of the above-mentioned issues. Following the great successes of ICWL 2002 (Hong Kong) and ICWL 2003 (Australia), ICWL 2004 aimed at p- senting new progress in the technical, pedagogical, as well as management issues of Web-based learning. The conference featured a comprehensive program, including a tutorial session, a keynote talk, a main track for regular paper presentations, and an - dustrial track. We received 120 papers and accepted only 58 of them in the main track for both oral and poster presentations."]