You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation Center in Tokyo, Japan during June 10–13, 2008. FORTE denotes a series of international wo- ing conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both - ries were united to FORTE/PSTV in 1996. In 2001 the conference changed the name to its current form. Recent conferences of this long series were held in Berlin (2003), Madrid(2004), ...
This book constitutes the refereed post-proceedings of the 9th International Conference on Principles of Distributed Systems, OPODIS 2005, held in Pisa, Italy in December 2005. The volume presents 30 revised full papers and abstracts of 2 invited talks. The papers are organized in topical sections on nonblocking synchronization, fault-tolerant broadcast and consensus, self-stabilizing systems, peer-to-peer systems and collaborative environments, sensor networks and mobile computing, security and verification, real-time systems, and peer-to-peer systems.
This book constitutes the refereed proceedings of the 12th International Conference on Principles of Distributed Systems, OPODIS 2008, held in Luxor, Egypt, in December 2008. The 30 full papers and 11 short papers presented were carefully reviewed and selected from 102 submissions. The conference focused on the following topics: communication and synchronization protocols; distributed algorithms and multiprocessor algorithms; distributed cooperative computing; embedded systems; fault-tolerance, reliability and availability; grid and cluster computing; location- and context-aware systems; mobile agents and autonomous robots; mobile computing and networks; peer-to-peer systems and overlay networks; complexity and lower bounds; performance analysis of distributed systems; real-time systems; security issues in distributed computing and systems; sensor networks; specification and verification of distributed systems; and testing and experimentation with distributed systems.
This two-volume set LNCS 11592 and 11593 constitutes the refereed proceedings of the 5th International Conference on Human Aspects of IT for the Aged Population, ITAP 2019, held in July 2019 as part of HCI International 2019 in Orlando, FL, USA. HCII 2019 received a total of 5029 submissions, of which 1275 papers and 209 posters were accepted for publication after a careful reviewing process. The 86 papers presented in these two volumes are organized in topical sections named: Design with and for the Elderly, Aging and Technology Acceptance, Aging and the User Experience, Elderly-Specific Web Design, Aging and Social Media, Games and Exergames for the Elderly, Ambient Assisted Living, Aging, Motion, Cognition, Emotion and Learning.
This two-volume set LNCS 11592 and 11593 constitutes the refereed proceedings of the 5th International Conference on Human Aspects of IT for the Aged Population, ITAP 2019, held in July 2019 as part of HCI International 2019 in Orlando, FL, USA. HCII 2019 received a total of 5029 submissions, of which 1275 papers and 209 posters were accepted for publication after a careful reviewing process. The 86 papers presented in these two volumes are organized in topical sections named: Design with and for the Elderly, Aging and Technology Acceptance, Aging and the User Experience, Elderly-Specific Web Design, Aging and Social Media, Games and Exergames for the Elderly, Ambient Assisted Living, Aging, Motion, Cognition, Emotion and Learning.
This book constitutes the refereed post-conference proceedings of the 7th International Conference on Mobile Communication and Healthcare, MobiHealth 2017, held in Vienna, Austria, in November 2017. The 34 revised full papers were reviewed and selected from more than 50 submissions and are organized in topical sections covering data analysis, systems, work-in-process, pervasive and wearable health monitoring, advances in healthcare services, design for healthcare, advances in soft wearable technology for mobile-health, sensors and circuits.
The application of marketing and management concepts to sports products and services is vital to the success of the industry. When appealing to the target audience of an event, it is essential to construct a strong marketing plan by utilizing emergent technologies and strategies. Sports Media, Marketing, and Management: Breakthroughs in Research and Practice is a comprehensive reference source for the latest scholarly material on the effectiveness of current methodologies and theories, in an effort to improve promotional activities, management, and the organization of all aspects of the sports industry. Highlighting a range of pertinent topics, such as brand management, social media, and sports tourism marketing, this publication is ideally designed for students, researchers, academicians, professionals, and practitioners as well as scientists and executive managers interested in the marketing strategies of sporting media and events.
Intelligent Environments (IEs) aim to empower users by enriching their experience, raising their awareness and enhancing their management of their surroundings. The term IE is used to describe the physical spaces where ICT and pervasive technologies are used to achieve specific objectives for the user and/or the environment. The growing IE community, from academia to practitioners, is working on the materialization of IEs driven by the latest technological developments and innovative ideas. This book presents the proceedings of the workshops held in conjunction with the 15th International Conference on Intelligent Environments (IE’19), Rabat, Morocco, 24 – 27 June 2019. The conference fo...
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms.
This book constitutes the refereed joint proceedings of ten international workshops held in conjunction with the 4th International Symposium on Parallel and Distributed Processing and Applications, ISPA 2006, held in Sorrento, Italy in December 2006. It contains 116 papers that contribute to enlarging the spectrum of the more general topics treated in the ISPA 2006 main conference.