Page 10
Page 10
ECOOP 2007 – Object-Oriented Programming ; 21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance and derivation, aspects, as well as language about language.
ECOOP 2006 - Object-Oriented Programming ; 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings
This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, held in Nantes, France in July 2006.20 revised full papers, together with 3 keynote papers were carefully reviewed and selected.
ECOOP 2005 - object-oriented programming ; 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last week of July in Glasgow, Scotland, UK. This volume includes the refereed technical papers p- sented at the conference, and two invited papers. It is traditional to preface a volume of proceedings such as this with a note that emphasizes the importance of the conference in its respective ?eld. Although such self-evaluations should always be taken with a large grain of salt, ECOOP is undisputedly the pre- inent conference on object-orientation outside of the United States. In its turn, object-orientationis today’s principaltechnology not only for programming,but also for design, analysisand speci?cation of softwaresystems.
ECOOP 2002 - Object-Oriented Programming ; 16th European Conference Malaga, Spain, June 10-14, 2002 Proceedings
Constitutes the proceedings of the 16th European Conference on Object-Oriented Programming held in Spain in 2002. The 25 papers cover aspect-oriented software development, Java virtual machines, distributed systems, patterns and architectures, languages, optimization and more.
Dynamic Programming : A Computational Tool
This book provides a practical introduction to computationally solving discrete optimization problems using dynamic programming. From the unusually numerous and varied examples presented, readers should more easily be able to formulate dynamic programming solutions to their own problems of interest. We also provide and describe the design, implementation, and use of a software tool, named DP2PN2Solver, that has been used to numerically solve all of the problems presented earlier in the book. This computational tool can be used by students to solve academic problems if this book is used in coursework, and by practitioners to solve many real-world problems if the state space is not too large.
Domain-driven design with Java, a practitioner's guide : create simple, elegant, and valuable software solutions for complex business problems
Helps you as a developer and architect to put your knowledge to work in order to create elegant software designs that are enjoyable to work with and easy to reason about. You'll begin with an introduction to the concepts of domain-driven design and discover various ways to apply them in real-world scenarios. You'll also appreciate how DDD is extremely relevant when creating cloud native solutions that employ modern techniques such as event-driven microservices and fine-grained architectures. As you advance through the chapters, you'll get acquainted with core DDD's strategic design concepts such as the ubiquitous language, context maps, bounded contexts, and tactical design elements like aggregates and domain models and events. You'll understand how to apply modern, lightweight modeling techniques such as business value canvas, Wardley mapping, domain storytelling, and event storming, while also learning how to test-drive the system to create solutions that exhibit high degrees of internal quality.
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.
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 Applications and Interoperable Systems ; 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
This volume contains the proceedings of DAIS 2008, the 8th IFIP International Conference on Distributed Applications and Interoperable Systems.
Distributed and Parallel Systems : In Focus : Desktop Grid Computing
In this book contributors investigate parallel and distributed techniques, algorithms, models and applications; present innovative software tools, environments and middleware; focus on various aspects of grid computing; and introduce novel methods for development, deployment, testing and evaluation.
Digital Image Processing : An Algorithmic Introduction using Java
This modern, self-contained, textbook explains the fundamental algorithms of digital image processing through practical examples and complete Java implementations.
DevOps Tools for Java Developers : Best Practices from Source Code to Production Containers
Explore software lifecycle best practices Use DevSecOps methodologies to facilitate software development and delivery Understand the business value of DevSecOps best practices Manage and secure software dependencies Develop and deploy applications using containers and cloud native technologies Manage and administrate source control repositories and development processes Use automation to set up and administer build pipelines Identify common deployment patterns and antipatterns Maintain and monitor software after deployment
Design Patterns for eScience
There is much additional software including many versions of the case study as it gets built up and progressively refactored using design patterns. There will be a home web-site for this book which will contain up-to-date information about the software and other aspects of the case study.
Cryptography and cryptanalysis in Java : Creating and programming advanced algorithms with Java SE 17 LTS and Jakarta EE 10
Includes challenging cryptographic solutions that are implemented in Java 17 and Jakarta EE 10. It provides a robust introduction to Java 17's new features and updates, a roadmap for Jakarta EE 10 security mechanisms, a unique presentation of the "hot points" (advantages and disadvantages) from the Java Cryptography Architecture (JCA), and more. You Will Learn : Develop programming skills for writing cryptography algorithms in Java / Dive into security schemes and modules using Java / Explore “good” vs “bad” cryptography based on processing execution times and reliability / Play with pseudo-random generators, hash functions, etc. / Leverage lattice-based cryptography methods, the NTRU framework library, and more
Creating Mobile Games : Using Java™ ME Platform to Put the Fun into Your Mobile Device and Cell Phone
Creating Mobile Games: shows you how to create a basic game and make it a professional one (by adding a pro look-and-feel by writing your own menus or using the open source J2ME Polish, and enabling marketing/billing from your own web site). Demonstrates Wireless Messaging and other optional APIs (using SMS, PIM, File Connection, Bluetooth, and so forth in a multiplayer game).
Core Java ; Vol. I : Fundamentals ; 12th ed.
The definitive guide to writing robust, maintainable code. Whatever version of Java you are using—up to and including Java 17—this book will help you achieve a deep and practical understanding of the language and APIs. With hundreds of realistic examples, Cay S. Horstmann reveals the most powerful and effective ways to get the job done.
Cooperative tool
Online collaboration is fast becoming a permanent feature of the modern workplace. Companies and organizations are attracted by the cost-effective technology allowing employees to work together anywhere, at any time using any internet-enabled device. Online collaboration gives team members the tools they need to work with others from any location, including from home and while travelling. This drastically reduces “downtime” and allows people to be productive when it best suits them therefore we propose a website that provides content (videoconference, real-time Chat, whiteboard).
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices ; Vol. 3956 ; Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about 30 workshop talks. The papers are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security, validation and formal methods, proof-carrying code, and embedded devices.
Construction and analysis of safe, secure, and interoperable smart devices ; Vol. 3362 : International workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
History based access control and secure information flow / The spec# programming system / Mastering test generation from smart card software formal models / A mechanism for secure, fine-grained dynamic provisioning of applications on small devices / A type system for checking applet isolation in java card / Verification of safety properties in the presence of transactions / Modelling mobility aspects of security policies / Smart devices for next generation mobile services / A flexible framework for the estimation of coverage metrics in explicit state software model checking / Combining several paradigms for circuit validation and verification / Smart card research perspectives
Constituents of Modern System-safety Thinking
Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical Systems Symposium, held at Southampton, UK in February 2005. The papers included in this volume bring together topics that are of the utmost importance in current safety thinking. The core of modern safety thinking and practice is a risk-based approach, and, this is not only a common thread running throughout the papers, but is also explored in two of them. Other themes considered include the safety case, safety assessment, accident investigation, and the commonality between the processes and techniques employed in safety and security engineering. Papers contain extensive industrial experience as well as recent academic research and are presented under the headings: Independent Safety Assessment, Safety and Security, Accident Investigation, Risk and its Tolerability, Achieving and Arguing the Safety of Modular Systems, and Technologies for Dependability.
