الصفحة 97
الصفحة 97
Avatars at Work and Play : Collaboration and Interaction in Shared Virtual Environments
examining uses of shared virtual environments in practical settings such as scientific collaboration, distributed meetings, building models together, and others. It also covers online gaming in virtual environments, which has attracted hundreds of thousands of users and presents an opportunity for studying a myriad of social issues. Covering both ‘work’ and ‘play’, the volume brings together issues common to the two areas.
Autonomy oriented computing : From problem solving to complex systems modeling
Autonomy Oriented Computing explores the important theoretical and practical issues in AOC, by analyzing methodologies and presenting experimental case studies. The book serves as a comprehensive reference source for researchers, scientists, engineers, and professionals in all fields concerned with this promising new development in computer science. It can also be used as a main or supplementary text in graduate and undergraduate programs across a broad range of computer-related disciplines, including Robotics and Automation, Amorphous Computing, Image Processing and Computer Vision, Programming Paradigms, Computational Biology, and many others. The first part of the book, Fundamentals, describes the basic concepts and characteristics of an AOC system, and then it enumerates the critical design and engineering issues faced in AOC system development. The second part of the book, AOC in Depth, provides a detailed analysis of methodologies and case studies to evaluate the use of AOC in problem solving and complex system modeling. The final chapter reviews the essential features of the AOC paradigm and outlines a number of possibilities for future research and development.
Autonomous intelligent systems : Multi-agents and data mining ; 2nd International workshop, AIS-ADM 2007, St. Petersburg, Russia, June 3-5, 2007, Proceedings
MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically focused on the design and implementation of lar- scale open distributed intelligent systems. KDD also provides intelligent inf- mation technology with powerful ideas, algorithms, and software means to help cope with the main problem of artificial intelligence, formulated in the we- known question “Where does the knowledge come from?”, thus actually making modern applications intelligent and adaptive. The evident recent trend in both science and industry is to integrate and take advantage of both technologies. The existing experience with combined application of multi-agent technology to design architectures of distributed (- erarchical and peer-to-peer) data mining and KDD systems, as well as the u- lization of data mining and KDD achievements to provide enhanced intelligence of MAS, confirms the fact that both technologies are capable of mutual enri- ment and their integrateduse may result in intelligent information systems with new emergent properties.
Autonomous intelligent systems : Agents and data mining ; International workshop, AIS-ADM 2005
This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and Data Mining, AIS-ADM 2005, held in St. Petersburg, Russia in June 2005. The 17 revised full papers presented together with 5 invited papers and the abstract of an invited talk were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on agent-based data mining issues, ontologies and Web mining, and applications and case studies.
Autonomic principles of IP operations and management ; 6th IEEE International Workshop on IP Operations and Management, IPOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings
th This volume presents the proceedings of the 6 IEEE International Workshop on IP Operations and Management (IPOM 2006), which was held as part of Manweek 2006 rd th in Dublin, Ireland from October 23 to 25 , 2006. In line with its reputation as one ofthe pre-eminent venues for the discussion and debate of advances of management of IP networks and services, the 2006 iteration of IPOM brought together an international audience of researchers and practitioners from both industry and academia. The overall theme of Manweek 2006 was “Autonomic Component and System Management”,with IPOM taking this to be the application of autonomic principles to the IP operations, administration, maintenance and provisioning.
Autonomic networking ; 1st International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006, Proceedings
The autonomic communication paradigm has been defined mainly through the Autonomic Communications Forum (ACF) and particularly as follows: Autonomic communication is centered on selfware – an innovative approach to perform known and emerging tasks of a network control plane, both end-to-end and middle box communication-based. Selfware assures the capacity to evolve; however, it requires generic network instrumentation. Selfware principles and technologies borrow largely from well-established research on distributed systems, fault tolerance among others, from emerging research on non-conventional networking (multihop ad hoc, sensor, peer-to-peer, group communication, etc.
Autonomic management of mobile multimedia services ; 9th IFIP/IEEE International conference on management of multimedia and mobile networks and services, MMNS 2006, Dublin, Ireland, October 25-27, 2006, Proceedings
th This volume presents the proceedings of the 9 IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services (MMNS 2006), th th which was held from October 25 to 27 as part of Manweek 2006 in Dublin,Ireland. In line with its reputation as one of the pre-eminent fora for the discussion anddebate of advances in management of multimedia networks and services, the 2006 iteration of MMNS brought together an international audience of researchers and practitioners from both industry and academia.
Autonomic communication ; Vol. 3854 : 2nd International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers
The Second IFIP Workshop on Autonomic Communication (WAC 2005) took place on October 2–5, 2005, IFIP TC6 provided scientific sponsorship through Working Groups IFIP WG6. 6 (Management of Networks and Distributed Systems) and IFIP WG6. 3 (Performance of Communication Systems). The workshop was organized at a time when the – yet to be well defined – field of autonomic communication (AC) is attracting the interest of both the scientific community and the research funding organizations. The latter is manifested, on one hand, by the numerous recent relevant research exploratory forums, workshop panels, preliminary forward-looking position papers, research outlooks and frameworks and, on the other hand, by the commitment of the FET program of the European Commission in Europe to funding long-term research in this area for the next four years.
Autonomic communication ; Vol. 3457 ; 1st International IFIP Workshop, WAC 2004, Berlin, Germany, October 18-19, 2004, Revised Selected Papers
The ?rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 2004 in Berlin, Germany. The purpose of this workshop was to discuss Autonomic Communication—a new communication paradigm to assist the design of the next-generation n- works. WAC 2004 was explicitly focused on the principles that help to achieve purposeful behavior on top of self-organization (self-management, self-healing, self-awareness, etc. ). The workshop intended to derive these common principles from submissions that study network element’s autonomic behavior exposed by innovative (cross-layer optimized, context-aware, and securely programmable) protocol stack (or its middleware emulations) in its interaction with numerous, often dynamic network groups and communities. The goals were to understand how autonomic behaviors are learned, in?uenced or changed, and how, in turn, these a?ect other elements, groups and the network. Panel reports were compiled by panel moderators and conclude this volume.
Autonomic and Trusted Computing ; 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings
This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC 2008, held in Oslo, Norway, in June 2008, co-located with UIC 2008, the 5th International Conference on Ubiquitous Intelligence and Computing.
Autonomic and Trusted Computing ; 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings
To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication systems that exhibit self-awareness, self-configuration, self-optimization, self-healing, self-protection and other self-x operations to the maximum extenteven without human interventionor guidance. Organiccomputing(OC)additionally emphasizes natural-analogueconceptslike self-organization and controlled emergence. Any autonomic ororganic system must be trus tworthy to avoid the risk of l- ing control and to retain confidence that the system will not fail. Trust and/or distrust relationships on the Internet and in pervasive infrastructures are key factors to enable dynamic interaction and cooperation of various users, systems and services. Trusted/trustworthy computing (TC) aims at making computing and communication systems as well as services available, predictable, traceable, controllable, assessable, sustainable, dependable, persist-able, security/privacy protect-able, etc.
Autonomic and Trusted Computing ; 3rd International Conference, ATC 2006, Wuhan, China, September 3-6, 2006
This book constitutes the refereed proceedings of the Third International Conference on Autonomic and Trusted Computing, ATC 2006, held in Wuhan, China in September 2006. The 57 revised full papers presented together with two keynotes were carefully reviewed and selected from 208 submissions. The papers are organized in topical sections.
Automotive software - connected services in mobile networks ; 1st Automotive software workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enabling technology for almost all safety-critical and comfort functions o?ered to the customer. A total of 90 % of all innovations in automotive systems are directly or indirectly - abled by software. the following list highlights three of the corresponding challenges: First, the dependencies between safety-critical and comfort functions are rapidly increasing;a simple example is the interplay of airbag controland power seat control in the case of an accident. Careful analysis and design of these dependencies are necessary to yield correct software solutions. Second, advances in wired and wireless networking infrastructures enable - terconnection between cars and backend service providers .
Automating business modelling : A guide to using logic to represent Informal methods and support reasoning
Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning their businesses. The resulting product, an enterprise model, is commonly used as a blueprint for reconstructing organizations and such effort is often a part of business process re-engineering and improvement initiatives. Automating Business Modelling describes different techniques of providing automated support for enterprise modelling methods and introduces universally used approaches. A running example of a business modelling method is included; providing a framework and detailed explanation as to how to construct automated support for modelling, allowing readers to follow the method to create similar support. Suitable for senior undergraduates and postgraduates of Business Studies, Computer Science and Artificial Intelligence, practitioners in the fields of Knowledge Management, Enterprise Modelling and Software Engineering, this book offers insight and know-how to both student and professional.
Automatic speech recognition on mobile devices and over communication networks
This book brings together leading academic researchers and industrial practitioners to address the issues in this emerging realm and presents the reader with a comprehensive introduction to the subject of speech recognition in devices and networks.
Automatic Quantum Computer Programming : A Genetic Programming Approach
Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed and if the properties of these computers meet optimistic expectations. Nevertheless, computer scientists still lack a thorough understanding of the power of quantum computing, and it is not always clear how best to utilize the power that it is understood. This dilemma exists because quantum algorithms are difficult to grasp and even more difficult to write. Despite large-scale international efforts, only a few important quantum algorithms are documented, leaving many essential questions about the potential of quantum algorithms unanswered.
Automatic program development : A tribute to Robert Paige
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.
Automated technology for verification and analysis ; 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008.
Automated technology for verification and analysis ; 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects
Automated technology for verification and analysis ; 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main topics of the symposium include th- ries useful for providing designers with automated support for obtaining correct software or hardware systems, as well as the implementation of such theories in tools or their application. In the end, 35 papers were selected for inclusion in the program. ATVA 2006 had three keynote speeches given respectively by Thomas Ball, Jin Yang, and Mihalis Yannakakis. The main symposium was preceded by a tutorial day, consisting of three two-hourlectures given by the keynotespeakers.
