الصفحة 1
الصفحة 1
Web Component Development with Zope 3 ; 2nd ed.
Focuses on Zope 3, though it also addresses the needs of Zope 2 developers who want to use Zope 3 features as they are backported into the Zope 2 platform. First, the key concepts of Zope and its Component Architecture are introduced. Each of Zope's capabilities is demonstrated by building a sample application and then extending it with more features. The book is targeted towards all developers familiar with web technologies such as HTTP, (X)HTML and XML, and Zope's implementation language itself: Python.
Web Component Development with Zope 3 ; ; 3rd ed.
Focuses on Zope 3, though it also addresses the needs of Zope 2 developers who want to use Zope 3 features as they are backported into the Zope 2 platform. First, the key concepts of Zope and its Component Architecture are introduced. Each of Zope's capabilities is demonstrated by building a sample application and then extending it with more features. The book is targeted towards all developers familiar with web technologies such as HTTP, (X)HTML and XML, and Zope's implementation language itself: Python.
Web Component Development with Zope 3 ; 1st ed.
New Zope 3 is a web applications server written in Python that allows developing complex web applications rapidly and collaboratively. Zope 3 is the successor to the successful version 2. After an introduction to the key concepts of Zope, a sample application is built and extended subsequently. The book is targeted towards developers familiar with the web and web technologies. Special sections for Zope 2 developers cover the basic differences to the predecessor. The concepts of Zope 3 and its component architecture are explained thoroughly, continually accompanied by a demo application.
Verification, Model Checking, and Abstract Interpretation ; 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
The book feature current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, cross-fertilization, and advancement of hybrid methods.
Verification, Model Checking, and Abstract Interpretation ; 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
Contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January 14–16, 2007 in Nice. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization,and dvancement of hybrid methods that combine the three areas.
Trustworthy Global Computing ; International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
Constitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, such as resource usage, language-based security, theories of trust and authentication, privacy, reliability and business integrity access control and mechanisms for enforcing them, and more.
Tools for High Performance Computing ; Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart
To support application developers in the various tasks involved in this process, several different tools need to be at his or her disposal. This workshop will give the users an overview of the existing tools in the area of integrated development environments for clusters, various parallel debuggers, and new-style performance analysis tools, as well as an update on the state of the art of long-term research tools, which have advanced to an industrial level. The proceedings of the 2nd Parallel Tools Workshop guide participants by providing a technical overview to help them decide upon which tool suits the requirements for the development task at hand. Additionally, through the hands-on sessions, the workshop will enable the user to immediately deploy the tools.
Tools and algorithms for the construction and analysis of systems ; Vol. 3440 ; 11th International conference, TACAS 2005, Held as Part of the Joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 33 revised full research papers and 8 revised tool demonstration papers presented together with an invited paper were carefully reviewed and selected from a total of 161 submissions. The papers are organized in topical sections on regular model-checking, infinite state machines, abstract interpretation, automata and logics, probabilistic systems and probabilistic model checking, satisfiability, testing, abstraction and reduction, specification and program synthesis, and model-checking
Tools and Algorithms for the Construction and Analysis of Systems ; 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.
The Semantic Web ; 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007, Proceedings
This book constitutes the refereed proceedings of the joined 6th International Semantic Web Conference, ISWC 2007, and the 2nd Asian Semantic Web Conference, ASWC 2007.
The Essential Guide to Open Source Flash Development
Explore the world of open source Flash and discover which tools are available. Learn how to identify which tool you need and how to best fit it into your workflow. Step-by-step walk-throughs guide you through development with the most popular open source Flash tools. Written by the project leads and open source Flash aficionados. The Essential Guide to Open Source Flash Development is a practical development guide to creating Flash applications with open source Flash tools and workflows. You will walk away with an understanding of what tools will best suit your current situation, making your development easier and more productive, and with the knowledge of how to install and set up some of the best tools available
The Developers Guide to Debugging
A book for both professional software developers seeking to broaden their skills and students that want to learn the tricks of the trade from the ground up. With small inlined examples and exercises at the end of each chapter it is well suited to accompany a CS course or lecture. At the same time it can be used as a reference.
The Definitive Guide to Apache mod_rewrite
Organizing websites is highly dynamic and often chaotic. Thus, it is crucial that host web servers manipulate URLs in order to cope with temporarily or permanently relocated resources, prevent attacks by automated worms, and control resource access. The Apache mod_rewrite module has long inspired fits of joy because it offers an unparalleled toolset for manipulating URLs. The Definitive Guide to Apache mod_rewrite guides you through configuration and use of the module for a variety of purposes, including basic and conditional rewrites, access control, virtual host maintenance, and proxies.
Squeak : Learn Programming with Robots
Squeak: Learn Programming with Robots will teach you core programming concepts based on simple, visual problems that involve manipulation of robots, or "turtles." You will learn basic programming concepts like loops, abstractions, composition, and conditionals. Each chapter is structured so that it can be turned into a one- or two-hour lab session. And while the structured content explains solid principles of object-oriented programming, you'll just have fun going through the sequence of easy examples with the turtle.
Software Visualization : Visualizing the Structure, Behaviour, and Evolution of Software
Software visualization encompasses the development and evaluation of methods for graphically representing different aspects of software, including its structure, its execution, and its evolution. Software visualization combines techniques from areas like software engineering, programming languages, data mining, computer graphics, information visualization and human-computer interaction.
Software Composition ; 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers
On behalf of the Organizing Committee we are pleased to present the proceedings of the 2007 Symposium on Software Composition (SC2007).The goal of SC2007 was to bring together the research and industrial communities in order to address the challenges of the component-based softwaredevelopment approach. SC 2007 was the sixth symposium on software composition in the SC series that seeks to develop a better understanding of how software components may be used to build and maintain large software systems. This LNCS volume contains the revised versions of the papers presented at SC 2007, which was held as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) in Braga, Portugal, March 24–25, 2007.
Robustness and Usability in Modern Design Flows
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore today’s design flow has to be improved to achieve a higher productivity. In Robustness and Usability in Modern Design Flows the current design methodology and verification methodology are analyzed, a number of deficiencies are identified and solutions suggested. Improvements in the methodology as well as in the underlying algorithms are proposed.An in-depth presentation of preliminary concepts makes the book self-contained. Based on this foundation major design problems are targeted. In particular, a complete tool flow for Synthesis for Testability of SystemC descriptions is presented. The resulting circuits are completely testable and test pattern generation in polynomial time is possible.
Reversible Computation; 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this book were carefully reviewed and selected from 21 submissions. The book also contains 2 invited talks in full-paper length, 3 work-in-progress papers and 1 tool paper. They were organized in topical sections named: programming and programming languages; reversible concurrent computation; theory and foundations; and circuit synthesis.
Reversible Computation : Extending Horizons of Computing: Selected Results of the COST Action IC1405
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019.
Reconfigurable computing : Accelerating computation with field-programmable gate arrays
By mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance increases over microprocessors for a large range of application domains. Reconfigurable computing is found in virtually every computing milieu, from satellites to supercomputers. This work survey various aspects of the field.
