05656nam 22008295 450 99646549090331620200702133021.01-280-94950-397866109495023-540-73035-410.1007/978-3-540-73035-4(CKB)1000000000478481(EBL)3061542(SSID)ssj0000220372(PQKBManifestationID)11187049(PQKBTitleCode)TC0000220372(PQKBWorkID)10157366(PQKB)10948229(DE-He213)978-3-540-73035-4(MiAaPQ)EBC3061542(MiAaPQ)EBC6281191(PPN)123727928(EXLCZ)99100000000047848120100301d2007 u| 0engur|n|---|||||txtccrPervasive Computing for Quality of Life Enhancement[electronic resource] 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007, Proceedings /edited by Takeshi Okadome, Tatsuya Yamazaki, Mounir Mokhtari1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (258 p.)Information Systems and Applications, incl. Internet/Web, and HCI ;4541Description based upon print version of record.3-540-73034-6 Includes bibliographical references and index.Toward a Desirable Relationship of Artificial Objects and the Elderly: From the Standpoint of Engineer and Psychologist Dialogue -- A Framework of Context-Aware Object Recognition for Smart Home -- A Pervasive Watch-Over System Based on Device, User and Social Awareness -- A Context-Driven Programming Model for Pervasive Spaces -- Tracking People in Indoor Environments -- Smart Mote-Based Medical System for Monitoring and Handling Medication Among Persons with Dementia -- Home Based Assistive Technologies for People with Mild Dementia -- Roadmap-Based Collision-Free Motion Planning for Multiple Moving Agents in a Smart Home Environment -- Peripheral Telecommunications: Supporting Distributed Awareness and Seamless Transitions to the Foreground -- An Authentication Architecture Dedicated to Dependent People in Smart Environments -- Secure Spaces: Protecting Freedom of Information Access in Public Places -- Ventricular Tachycardia/Fibrillation Detection Algorithm for 24/7 Personal Wireless Heart Monitoring -- homeML – An Open Standard for the Exchange of Data Within Smart Environments -- Characterizing Safety of Integrated Services in Home Network System -- Fusion and Fission: Improved MMIA for Multi-modal HCI Based on WPS and Voice-XML -- Smart Learning Buddy -- Personalized Magic Mirror: Interactive Mirror Based on User Behavior -- Service Abstraction Model for Dynamic User Interface Presentation -- Report on the Impact of a User-Centered Approach and Usability Studies for Designing Mobile and Context-Aware Cognitive Orthosis -- Context Aware Life Pattern Prediction Using Fuzzy-State Q-Learning -- Distributed Vision-Based Accident Management for Assisted Living -- RNG-Based Scatternet Formation Algorithm for Small-Scale Ad-Hoc Networks -- A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring -- Development of a Job Stress Evaluation Methodology Using Data Mining and RSM -- Supporting Impromptu Service Discovery and Access in Heterogeneous Assistive Environments.Information Systems and Applications, incl. Internet/Web, and HCI ;4541Computer communication systemsSpecial purpose computersApplication softwareData miningComputers and civilizationComputer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Data Mining and Knowledge Discoveryhttps://scigraph.springernature.com/ontologies/product-market-codes/I18030Computer Appl. in Social and Behavioral Scienceshttps://scigraph.springernature.com/ontologies/product-market-codes/I23028Computers and Societyhttps://scigraph.springernature.com/ontologies/product-market-codes/I24040Computer communication systems.Special purpose computers.Application software.Data mining.Computers and civilization.Computer Communication Networks.Special Purpose and Application-Based Systems.Information Systems Applications (incl. Internet).Data Mining and Knowledge Discovery.Computer Appl. in Social and Behavioral Sciences.Computers and Society.362.4/0483Okadome Takeshiedthttp://id.loc.gov/vocabulary/relators/edtYamazaki Tatsuyaedthttp://id.loc.gov/vocabulary/relators/edtMokhtari Mouniredthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465490903316Pervasive Computing for Quality of Life Enhancement772671UNISA03990nam 22007815 450 991048384250332120251226193524.03-319-29473-310.1007/978-3-319-29473-5(CKB)4340000000001285(SSID)ssj0001658334(PQKBManifestationID)16442647(PQKBTitleCode)TC0001658334(PQKBWorkID)14985176(PQKB)10219720(DE-He213)978-3-319-29473-5(MiAaPQ)EBC6307038(MiAaPQ)EBC5586466(Au-PeEL)EBL5586466(OCoLC)1066186335(PPN)192771531(EXLCZ)99434000000000128520160330d2016 u| 0engurnn|008mamaatxtccrFormal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /edited by Márcio Cornélio, Bill Roscoe1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XVIII, 195 p. 62 illus. in color.) Programming and Software Engineering,2945-9168 ;9526Bibliographic Level Mode of Issuance: Monograph3-319-29472-5 Model Checking -- Hard-wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware -- Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking -- Languages and Semantics -- Mobile CSP -- Evaluating the Assignment of Behavioral Goals to Coalitions of Agents -- Towards Reasoning in Dynamic Logics with Rewriting Logic: the Petri-PDL Case -- Refinement and Verification -- Refinement strategies for Safety-Critical Java -- Verifying Transformations of Java programs using Alloy.-A Mechanized Textbook Proof of a Type Unification Algorithm -- Testing and Evaluation -- Automatic generation of test cases and test purposes from natural language -- Time Performance Formal Evaluation of Complex Systems -- Test Case Generation from Natural Language Requirements using CPN Simulation.This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.Programming and Software Engineering,2945-9168 ;9526Software engineeringComputer scienceMachine theoryCompilers (Computer programs)Electronic data processingManagementSoftware EngineeringComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryCompilers and InterpretersIT OperationsSoftware engineering.Computer science.Machine theory.Compilers (Computer programs).Electronic data processingManagement.Software Engineering.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Compilers and Interpreters.IT Operations.004.0151Cornélio Márcioedthttp://id.loc.gov/vocabulary/relators/edtRoscoe Billedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483842503321Formal Methods: Foundations and Applications773789UNINA