الصفحة 66
الصفحة 66
Domain Modeling and the Duration Calculus : International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration calculus for real time systems - originating from lectures of leading experts in these fields from Europe and Asia.It addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.
DOM Scripting : Web Design with JavaScript and the Document Object Model
There are three main technologies married together to create usable, standards-compliant web designs: XHTML for data structure, Cascading Style Sheets for styling your data, and JavaScript for adding dynamic effects and manipulating structure on the fly using the Document Object Model. This book is about the latter of the three. DOM Scripting: Web Design with JavaScript and the Document Object Model gives you everything you need to start using JavaScript and the Document Object Model to enhance your web pages with client-side dynamic effects. Jeremy Keith starts off by giving you a basic crash course in JavaScript and the DOM, then moves on to provide you with several real-world examples built up from scratch, including dynamic image galleries and dynamic menus. Then, he shows you how to manipulate web page style using the CSS DOM, and create markup on the fly.
Document Analysis Systems VII ; 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006, Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Document Analysis Systems, DAS 2006, held in Nelson, New Zealand, in February 2006.
Do-All Computing in Distributed Systems : Cooperation in the Presence of Adversity
Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity is the first book that presents an in depth study of cooperation problems, abstracted in terms of the Do-All problem, where a collection of processors cooperatively perform a collection of independent tasks in the presence of adversity.
Do Smart Adaptive Systems Exist? : Best Practice for Selection and Combination of Intelligent Methods
This book is intended as a reference and a guide summarising and focusing on best practices when using intelligent techniques and building systems requiring a degree of adaptation and intelligence. Another attractive feature of the book is that it brings together experts from neural network, fuzzy, machine learning, evolutionary and hybrid systems communities who will provide their views on how these different intelligent technologies have contributed and will contribute to creation of smart adaptive systems of the future.
DNA Computing ; Vol. 4287 ; 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed postproceedings of the 12th International Meeting on DNA Computing, DNA12, held in Seoul, Korea in June 2006. The 34 revised full papers presented are organized in topical sections on molecular and membrane computing models, complexity analysis, sequence and tile designs and their properties, DNA tile self-assembly models, simulator and software for DNA computing, DNA computing algorithms and new applications, novel experimental approaches, and experimental solutions.
DNA Computing ; Vol. 3892 ; 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.
It is evidence of how well the interdisciplinary nature of the conference has truly matured that the major criterion of quality, agreed upon in advance by the Program Committee (PC), produced a nearly balanced program as well across the two major categories, full papers and talks with an abstract only.
DNA computing ; Vol. 3384 10th International workshop on DNA computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed postproceedings of the 10th International Workshop on DNA Based Computers, DNA10, held in Milano, Italy in June 2004. The 39 revised full papers presented were carefully selected during two rounds of reviewing and improvement from an initial total of 94 submissions. The papers address all current issues in DNA based computing and biomolecular computing ranging from theoretical and methodological issues to implementations and experimental aspects.
DNA Computing ; 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed postproceedings of the 13th International Meeting on DNA Computing, DNA 13, held in Memphis, TN, USA, June 4-8, 2007.
Distributed, High-Performance and Grid Computing in Computational Biology ; International Workshop, GCCB 2006, International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007, Proceedings
Modern computational biology and bioinformatics are characterized by large and complex structured data and by applications requiring considerable computing resources, such as processing units, storage elements and software programs. In addition, these disciplines are intrinsically geographically distributed in terms of their instruments, communities and computing resources. Tackling the computational challenges in computational biology and bioinformatics increasingly requires high-end and distributed computing infrastructures, systems and tools.
Distributed systems and mobile computing
About Distributed Systems and Mobile Computing. This is a branch of Computer Science devoted to the study of systems whose components are in different physical locations and have limited communication capabilities. Such components may be static, often organized in a network, or may be able to move in a discrete or continuous environment. The theoretical study of such systems has applications ranging from swarms of mobile robots (e.g., drones) to sensor networks, autonomous intelligent vehicles, the Internet of Things, and crawlers on the Web. The book includes five articles. Two of them are about networks: the first one studies the formation of networks by agents that interact randomly and have the ability to form connections; the second one is a study of clustering models and algorithms. The three remaining articles are concerned with autonomous mobile robots operating in continuous space.
Distributed systems : Concurrency and consistency
Explores the gray area of distributed systems and draws a map of weak consistency criteria, identifying several families and demonstrating how these may be implemented into a programming language. Unlike their sequential counterparts, distributed systems are much more difficult to design, and are therefore prone to problems. On a large scale, usability reminiscent of sequential consistency, which would provide the same global view to all users, is very expensive or impossible to achieve.
Distributed systems : Concepts and design
Aims to provide an understanding of the principles on which the Internet and other distributed systems are based; their architecture, algorithms and design; and how they meet the demands of contemporary distributed applications.
Distributed Services with OpenAFS : For Enterprise and Education
This book shows in detail how to build enterprise-level secure, redundant, and highly scalable services from scratch on top of the open source Linux operating system, suitable for small companies as well as big universities. The core architecture presented is based on Kerberos, LDAP, AFS, and Samba. It is shown how to integrate web, message related, data base and other services with this backbone. This architecture provides a Single-Sign-On solution for different client platforms and can also be employed for clustering. Although it is implemented with Debian GNU/Linux, the content can be applied to other UNIX flavors.
Distributed Search by Constrained Agents : Algorithms, Performance, Communication
This book presents a comprehensive discussion on the field of distributed constraints, its algorithms and its active research areas. It introduces distributed constraint satisfaction and optimization problems and proceeds to present a complete state-of-the-art in DisCSP & DisCOP research.
Distributed network systems : From concepts to implementations
This textbook covers both theoretical and practical aspects of distributed computing. It describes the client-server model for developing distributed network systems, the communication paradigms used in a distributed network system, and the principles of reliability and security in the design of distributed network systems. Based on theoretical introductions, the book presents various implementation strategies and techniques for building distributed network systems, including examples in TCP/IP communications, the use of remote procedure call and remote method invocation techniques, and the development of web-based applications, distributed databases, and mobile computing systems.
Distributed Multimedia Retrieval Strategies for Large Scale Networked Systems
Distributed Multimedia Retrieval Strategies for Large Scale Networked Systems presents an up-to-date research status in the domain of distributed video retrieval. This professional book will include several different techniques that are in place for long duration video retrieval. An experimentally tested technology under the JINI platform, demonstrates a practical working system which serves as a feasibility study, as well as the first step in realizing such a technology.
Distributed Event-Based Systems
Event-based architectures inherently decouple system components. Event-based components are not designed to work with specific other components in a traditional request/reply mode, but separate communication from computation through asynchronous communication mechanisms via a dedicated notification service.
Distributed embedded systems : Design, middleware and resources ; IFIP 20th World computer congress, TC10 Working conference on distributed and parallel embedded systems (DIPES 2008), September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Distributed computing in sensor systems ; Vol. 3560 ; 1st IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings
Constitutes the refereed proceedings of the First International Conference on Distributed Computing in Sensor Systems, DCOSS 2005, held in Marina del Rey, California, USA in June/July 2005. The 26 revised full papers presented were carefully reviewed and selected from 85 submissions; also included are the abstracts of 3 invited talks, 2 short papers, 9 invited poster abstracts, and 10 contributed abstracts.The papers address all current aspects of distributed computing issues in large-scale networked sensor systems, including systematic design techniques and tools, algorithms, and applications.
