LEADER 02429nam 2200589 a 450 001 9910138864203321 005 20170815103302.0 010 $a1-118-60263-3 010 $a1-118-60268-4 010 $a1-118-60269-2 010 $a1-299-18771-4 035 $a(CKB)2550000001005904 035 $a(EBL)1124671 035 $a(OCoLC)828298915 035 $a(SSID)ssj0000831960 035 $a(PQKBManifestationID)11521862 035 $a(PQKBTitleCode)TC0000831960 035 $a(PQKBWorkID)10881464 035 $a(PQKB)11462504 035 $a(OCoLC)828423700 035 $a(MiAaPQ)EBC1124671 035 $a(PPN)185060641 035 $a(EXLCZ)992550000001005904 100 $a20110502d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aModels and analysis in distributed systems$b[electronic resource] /$fedited by Serge Haddad ... [et al.] 210 $aLondon $cISTE ;$aHoboken, N.J. $cWiley$d2011 215 $a1 online resource (358 p.) 225 1 $aISTE 300 $aDescription based upon print version of record. 311 $a1-84821-314-X 320 $aIncludes bibliographical references and index. 327 $apt. 1. Formal models for distributed systems -- pt. 2. Verification techniques for distributed systems. 330 $aNowadays, 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 410 0$aISTE 606 $aDistributed parameter systems$xSimulation methods 606 $aSystem analysis 615 0$aDistributed parameter systems$xSimulation methods. 615 0$aSystem analysis. 676 $a003.78 701 $aHaddad$b Serge$0863196 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910138864203321 996 $aModels and analysis in distributed systems$92163466 997 $aUNINA LEADER 03792 am 2200589 n 450 001 9910324041603321 005 20181206 010 $a2-8028-0446-4 024 7 $a10.4000/books.pusl.1098 035 $a(CKB)4100000008283847 035 $a(FrMaCLE)OB-pusl-1098 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/42777 035 $a(PPN)236708821 035 $a(EXLCZ)994100000008283847 100 $a20190528j|||||||| ||| 0 101 0 $afre 135 $auu||||||m|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCastoriadis et les Grecs /$fPhilippe Caumières, Sophie Klimis, Laurent Van Eynde 210 $aBruxelles $cPresses de l?Université Saint-Louis$d2018 215 $a1 online resource (271 p.) 311 $a2-8028-0193-7 330 $aL'importance de la Grèce ancienne dans la pensée de Castoriadis imposait que nous consacrions entièrement à cette thématique au moins une édition de nos Journées d'études annuelles. « Castoriadis et les Grecs » fut donc le thème choisi en 2008, à l'occasion de la parution de La cité et les lois, second volume reprenant les séminaires consacrés à la Grèce ancienne de Castoriadis à l'EHESS, et troisième tome de La Création humaine. Si l'étude de la Grèce ancienne n'émerge comme thématique centrale dans l'?uvre de Castoriadis que dans les années 1970, le lien avec son engagement politique de toujours est néanmoins patent. En effet, pour Castoriadis étudier la culture grecque, c'est « se demander comment, dans quelles conditions, par quelles voies la société humaine s'est montrée capable, dans un cas particulier, de briser la clôture moyennant laquelle, en règle générale, elle existe. » Car cette attitude n'est aucunement universelle, mais tout à fait exceptionnelle dans l'histoire des sociétés humaines. Dès lors, Castoriadis situe son rapport aux Grecs bien au-delà de la simple interprétation. Il ne s'agit pas simplement d'érudition théorique mais d'un travail politique : « Quand nous abordons la naissance de la démocratie et de la philosophie, ce qui nous importe, c'est notre propre activité et notre propre transformation (de la société et du sujet), c'est la Grèce qui a créé la possibilité de ce projet de compréhension : comprendre sa propre histoire pour se transformer soi-même. » Si Castoriadis s'est attaché à étudier « ce qui fait la Grèce » des poètes, des historiens, des philosophes, mais aussi des institutions politiques, c'est donc parce qu'il la considère comme un germe d'autonomie politique et philosophique, à réinventer, interminablement. Ce sont les multiples facettes de ce « germe grec » que nous nous sommes efforcés de thématiser dans le présent recueil. 606 $aPhilosophy 606 $ainstitution politique 606 $adémocratie 606 $aphilosophie 610 $aphilosophie 610 $adémocratie 610 $ainstitution politique 615 4$aPhilosophy 615 4$ainstitution politique 615 4$adémocratie 615 4$aphilosophie 700 $aCaumières$b Philippe$01240788 701 $aDabdab Trabulsi$b José Antonio$01284449 701 $aDelcomminette$b Sylvain$0565636 701 $aGondicas$b Myrto$01183563 701 $aKlimis$b Sophie$01240787 701 $aTindemans$b Klaas$01284450 701 $aVaysse$b Jean-Marie$0615158 701 $aVibert$b Stéphane$01284451 701 $aCaumières$b Philippe$01240788 701 $aKlimis$b Sophie$01240787 701 $aVan Eynde$b Laurent$01282759 801 0$bFR-FrMaCLE 906 $aBOOK 912 $a9910324041603321 996 $aCastoriadis et les Grecs$93019384 997 $aUNINA LEADER 09152nam 22007455 450 001 9910144182303321 005 20200706124941.0 010 $a3-540-27859-1 024 7 $a10.1007/b98796 035 $a(CKB)1000000000212468 035 $a(DE-He213)978-3-540-27859-7 035 $a(MiAaPQ)EBC3087888 035 $a(PPN)155168428 035 $a(EXLCZ)991000000000212468 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAdvances in Web-Based Learning - ICWL 2004 $eThird International Conference, Beijing, China, August 8-11, 2004, Proceedings /$fedited by Wenyin Liu, Yuanchun Shi, Li Qing 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XIV, 470 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3143 311 $a3-540-22542-0 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $ae-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 -- 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. 330 $aWith the rapid development of Web-based learning and new concepts like virtual cla- rooms, virtual laboratories and virtual universities, 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3143 606 $aEducational technology 606 $aApplication software 606 $aSoftware engineering 606 $aInformation storage and retrieval 606 $aMultimedia systems 606 $aUser interfaces (Computer systems) 606 $aEducational Technology$3https://scigraph.springernature.com/ontologies/product-market-codes/O21000 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aMultimedia Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I18059 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 615 0$aEducational technology. 615 0$aApplication software. 615 0$aSoftware engineering. 615 0$aInformation storage and retrieval. 615 0$aMultimedia systems. 615 0$aUser interfaces (Computer systems) 615 14$aEducational Technology. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aSoftware Engineering. 615 24$aInformation Storage and Retrieval. 615 24$aMultimedia Information Systems. 615 24$aUser Interfaces and Human Computer Interaction. 676 $a371.3344678 702 $aLiu$b Wenyin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aShi$b Yuanchun$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aQing$b Li$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144182303321 996 $aAdvances in Web-Based Learning - ICWL 2004$91935981 997 $aUNINA