الصفحة 2
الصفحة 2
DevOps for Digital Leaders : Reignite Business with a Modern DevOps-Enabled Software Factory
In DevOps for Digital Leaders, deep collective experience on both sides of the dev–ops divide informs the global thought leadership and penetrating insights of the authors, all three of whom are cross-portfolio DevOps leaders at CA Technologies. Aruna Ravichandran, Kieran Taylor, and Peter Waterhouse analyze the organizational benefits, costs, freedoms, and constraints of DevOps. They chart the coordinated strategy of organizational change, metrics, lean thinking, and investment that an enterprise must undertake to realize the full potential of DevOps and reach the sweet spot where accelerating code deployments drive increasing customer satisfaction, revenue, and profitability.
Databases, Information Systems, and Peer-to-Peer Computing ; International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2006, Revised Selected Papers
The P2P paradigm lends itself to constructing large-scale, complex, adaptive, autonomous and heterogeneous database and information systems, endowed with clearly specified and difierential capabilities to negotiate, bargain, coordinate and self-organize the information exchanges in large-scale networks. This vision will have a radical impact on the structure of complex organizations (business, sci- tific or otherwise) and on the emergence and the formation of social communities, and on how the information is organized and processed. The P2P information paradigm naturally encompasses static and wireless connectivity and static and mobile architectures. Wireless connectivity combined with the increasingly small and powerful mobile devices and sensors poses new challenges as well as opp- tunities to the database community. Information becomes ubiquitous, highly distributed and accessible anywhere and at any time over highly dynamic, - stable networks with very severe constraints on the information management and processing capabilities.
Databases, information systems, and peer-to-peer computing ; 2nd international workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, revised selected papers
Peer-to-peer (P2P) paradigm lends itself to constructing large-scale complex, adaptive, - tonomous and heterogeneous database and information systems, endowed with clearly speci?ed and di?erential capabilities to negotiate, bargain, coordinate, and self-organize the information exchanges in large-scale networks. This vision will have a radical impact on the structure of complex organizations (business, scienti?c, or otherwise) and on the emergence and the formation of social c- munities, and on how the information is organized and processed. The P2P information paradigm naturally encompasses static and wireless connectivity, and static and mobile architectures. Wireless connectivity c- bined with the increasingly small and powerful mobile devices and sensors pose new challenges to as well as opportunities for the database community. Inf- mation becomes ubiquitous, highly distributed and accessible anywhere and at any time over highly dynamic, unstable networks with very severe constraints on the information management and processing capabilities.
Database Programming Languages ; 10th international symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, revised selected papers
Constitutes the refereed post-proceedings of the 10th International Workshop on Database Programming Languages, DBPL 2005. This book presents papers organized in topical sections on XML languages, XML and P2P data integration, XML query languages, types and XML, grammars, automata, and tree, as well as dependencies and constraints.
Database and XMLTechnologies ; 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007, Proceedings
This book discuss the use of and synergy between databases and XML. It provided theory and practice of XML data management and its applications. This volume also contains current research in XPath and XQuery processing, XML Updates, Temporal XML and Constraints.
Control of nonlinear and hybrid process systems : Designs for uncertainty, constraints and time-delays
The book includes many detailed examples which can be easily modified by a control engineer to be tailored to a specific application. This book is useful for researchers in control systems theory, graduate students pursuing their degree in control systems and control engineers.
Constraint solving and language processing
Contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1–3, 2004. Constraint Programming and Constraint Solving, in particular Constraint Logic Programming, appear to be a very promising platform, perhaps the most promising present platform, for bringing forward the state of the art in natural language processing, this due to the naturalness in speci?cation and the direct relation to e?cient implementation. Language, in the present context, may - fer to written and spoken language, formal and semiformal language, and even general input data to multimodal and pervasive systems, which can be handled in very much the same ways using constraint programming. The notion of constraints, with slightly differing meanings, apply in the characterization of linguistic and cognitive phenomena, in formalized linguistic m- els as well as in implementation-oriented frameworks. Programming techniques for constraint solving have been, and still are, in a period with rapid devel- ment of new eficient methods and paradigms from which language processing can prompt. A common metaphor for human language processing is one big c- straint solving process in which the differently specified linguistic and cognitive phases take place in parallel and with mutual cooperation, which ?ts quite well with current constraint programming paradigms.
Constraint handling rules : Current research topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. The aim of this volume was to attract high-quality research papers on these recent advances in Constraint Handling Rules.
Conceptual Modeling - ER 2008 ; 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held in Barcelona, Spain, in October 2008.
Computer Science Logic ; Vol. 3634
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005. The 33 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 108 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts. The volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, constraints, finite models, decidability and complexity, verification and model checking, constructive reasoning and computational mathematics, and implicit computational complexity and rewriting.
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), as well as 26 poster presentations and the abstracts of 11 doctoral consortium articles were carefully reviewed and selected from 177 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on applications, algorithms, systems, and implementations, semantics and foundations, analysis and transformations, CHRs and extensions, implementations and systems, answer set programming and extensions, as well as constraints and optimizations.
Logic for Programming, Artificial Intelligence, and Reasoning ; 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008.The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.
Leveraging Applications of Formal Methods ; 1st International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers presented were carefully selected from more than 70 submissions. The papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. In particular, by discussing common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems.
Learning Classifier Systems ; International Workshops, IWLCS 2003-2005, Revised Selected Papers
The work embodied in this volume was presented across three consecutive e- tions of the International Workshop on Learning Classi?er Systems that took place in Chicago (2003), Seattle (2004), and Washington (2005). The Genetic and Evolutionary Computation Conference, the main ACM SIGEvo conference, hosted these three editions.
Learning Classifier Systems ; 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers
Constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops on Learning Classifier Systems that took place in Seattle, WA, USA in July 2006, and in London, UK, in July 2007 - all hosted by the Genetic and Evolutionary Computation Conference, GECCO.The 14 revised full papers presented were carefully reviewed and selected from the workshop contributions. The papers are organized in topical sections on knowledge representation, analysis of the system, mechanisms, new directions, as well as applications.
Laser additive manufacturing: design, materials, processes and applications
Laser-based additive manufacturing (LAM) is a revolutionary advanced digital manufacturing technology developed in recent decades, which is also a key strategic technology for technological innovation and industrial sustainability. This technology unlocks the design and constraints of traditional manufacturing and meets the needs of complex geometry fabrication and high-performance part fabrication. A deeper understanding of the design, materials, processes, structures, properties and applications is desired to produce novel functional devices, as well as defect-free structurally sound and reliable LAM parts.The topics in this Special Issue reprint include macro- and micro-scale additive manufacturing with lasers, such as structure/material design, fabrication, modeling and simulation, in situ characterization of additive manufacturing processes and ex situ materials characterization and performance, with an overview that covers various applications in aerospace, biomedicine, optics and energy.
Complexity of Constraints : An Overview of Current Research Themes
This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International Dagstuhl-Seminar on Complexity of Constraints, held in Dagstuhl Castle, Germany, in October 2006.
Business process management ; 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Business Process Management, BPM 2008, held in Milan, Italy, in September 2008.
Brain thoughts recognition
Humans controlling machines with their minds may sound like something from a scifi movie, but it’s becoming a reality through brain-computer interfaces BCI. Where BCI technology allows a human brain and an external device to talk to each other—to exchange signals. It gives humans the ability to directly control machines, without the physical constraints of the body. There are two ways to implement the BCI: Noninvasive tools often use sensors applied on or near the head to track and record brain activity, or Invasive BCI would require surgery. Electronic devices would need to be implanted beneath the skull, directly into the brain, to target specific sets of neurons. In order to implement a non-invasive BCI in a mobile phone, this study developed a mobile application to help paralyzed people who do not have the ability to use their phones to spend their basic daily needs, such as using the keyboard and interacting with PDF, etc.
Artificial intelligence : Methodology, systems, and applications ; 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2006. The 28 revised full papers presented together with the abstracts of 2 invited lectures were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on agents, constraints and optimization, user concerns, decision support, models and ontologies, machine learning, ontology manipulation, natural language processing, and applications.
