Narrow your search
Listing 1 - 10 of 17 << page
of 2
>>
Sort by

Book
Software Evolution
Authors: --- ---
ISBN: 9783540764403 Year: 2008 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

Software has become omnipresent and vital in our information-based society, so all software producers should assume responsibility for its reliability. While "reliable" originally assumed implementations that were effective and mainly error-free, additional issues like adaptability and maintainability have gained equal importance recently. For example, the 2004 ACM/IEEE Software Engineering Curriculum Guidelines list software evolution as one of ten key areas of software engineering education. Mens and Demeyer, both international authorities in the field of software evolution, together with the invited contributors, focus on novel trends in software evolution research and its relations with other emerging disciplines such as model-driven software engineering, service-oriented software development, and aspect-oriented software development. They do not restrict themselves to the evolution of source code but also address the evolution of other, equally important software artifacts such as databases and database schemas, design models, software architectures, and process management. The contributing authors provide broad overviews of related work, and they also contribute to a comprehensive glossary, a list of acronyms, and a list of books, journals, websites, standards and conferences that together represent the community's body of knowledge. Combining all these features, this book is the indispensable source for researchers and professionals looking for an introduction and comprehensive overview of the state of the art. In addition, it is an ideal basis for an advanced course on software evolution.


Book
Algorithmic learning theory.
Authors: --- --- ---
ISBN: 9783642341069 9783642341052 Year: 2012 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 23rd International Conference on Algorithmic Learning Theory, ALT 2012, held in Lyon, France, in October 2012. The conference was co-located and held in parallel with the 15th International Conference on Discovery Science, DS 2012. The 23 full papers and 5 invited talks presented were carefully reviewed and selected from 47 submissions. The papers are organized in topical sections on inductive inference, teaching and PAC learning, statistical learning theory and classification, relations between models and data, bandit problems, online prediction of individual sequences, and other models of online learning.

Keywords

Computer algorithms --- Machine learning --- 681.3*F1 --- 681.3*F2 --- 681.3*F41 --- 681.3*I23 --- 681.3*I26 --- 681.3*I2 --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F1 Computation by abstract devices --- Computation by abstract devices --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*I26 Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- Conferences - Meetings


Book
Adaptive and Learning Agents : Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers
Authors: --- ---
ISBN: 9783642118142 9783642118159 9783642118135 Year: 2010 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

ThisbookpresentsselectedandrevisedpapersoftheSecondWorkshoponAd- tive and Learning Agents 2009 (ALA-09), held at the AAMAS 2009 conference in Budapest, Hungary, May 12. The goalof ALA is to provide an interdisciplinaryforum for scientists from a variety of ?elds such as computer science, biology, game theory and economics. This year's edition of ALA was the second after the merger of the former wo- shops ALAMAS and ALAg. In 2008 this joint workshop was organized for the ?rst time under the ?ag of both events. ALAMAS was a yearly returning Eu- pean workshop on adaptive and learning agents and multi-agent systems (held eight times). ALAg was the international workshop on adaptive and learning agents, which was usually held at AAMAS. To increase the strength, visibility and quality of the workshop it was decided to merge both workshops under the ?ag of ALA and to set up a Steering Committee as an organizational backbone. This book contains six papers presented during the workshop, which were carefully selected after an additional review round in the summer of 2009. We therefore wish to explicitly thank the members of the Program Committee for the quality and sincerity of their e?orts and service. Furthermore we would like to thank all the members of the senior Steering Committee for making this workshop possible and supporting it with sound advice. We also thank the AAMAS conference for providing us a platform for holding this event. Finally we also wish to thank all authors who responded to our call-for-papers with interesting contributions.

Keywords

Complex analysis --- Discrete mathematics --- Mathematics --- Computer science --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- discrete wiskunde --- complexe analyse (wiskunde) --- vormgeving --- computers --- informatica --- computerbesturingssystemen --- mineralen (chemie) --- simulaties --- externe fixatie (geneeskunde --- mijnbouw --- algoritmen --- KI (kunstmatige intelligentie) --- OS (operating system) --- computernetwerken --- 681.3*I26 <063> --- 681.3*D2 <063> --- 681.3*K2 --- 681.3*I6 --- 681.3*I6 Simulation and modeling (Computing methodologies)--See also {681.3*G3} --- Simulation and modeling (Computing methodologies)--See also {681.3*G3} --- 681.3*K2 History of computing: hardware; people; software; systems; theory --- History of computing: hardware; people; software; systems; theory --- 681.3*D2 <063> Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51}--Congressen --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51}--Congressen --- 681.3*I26 <063> Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen


Book
A practical introduction to hardware/software codesign.
Author:
ISBN: 9781441960009 9781441959997 Year: 2010 Publisher: New York Springer.

Loading...
Export citation

Choose an application

Bookmark

Abstract

A Practical Introduction to Hardware/Software Codesign addresses the problem of combining software and hardware in a single system design process - such problems can be solved with hardware/software codesign. When used properly, hardware/software codesign improves the overall performance of digital systems, and it can shorten design time. The book covers four topics in hardware/software codesign: fundamentals, the design space of custom architectures, the hardware/software interface and application examples. The book comes with an associated design environment that helps the reader to perform experiments in hardware/software codesign. Each chapter also comes with exercises and further reading suggestions. A Practical Introduction to Hardware/Software Codesign is a great resource for engineers and students.


Book
Advanced computational methods in science and engineering.
Authors: ---
ISBN: 9783642033445 9783642033438 Year: 2010 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

The aim of the present book is to show, in a broad and yet deep way, the state of the art in computational science and engineering. Examples of topics addressed are: fast and accurate numerical algorithms, model-order reduction, grid computing, immersed-boundary methods, and specific computational methods for simulating a wide variety of challenging problems, problems such as: fluid-structure interaction, turbulent flames, bone-fracture healing, micro-electro-mechanical systems, failure of composite materials, storm surges, particulate flows, and so on. The main benefit offered to readers of the book is a well-balanced, up-to-date overview over the field of computational science and engineering, through in-depth articles by specialists from the separate disciplines.


Book
OO-programmeren in Java met BlueJ
Author:
ISBN: 9789039522509 9039522502 Year: 2005 Publisher: Den Haag Academic service

Loading...
Export citation

Choose an application

Bookmark

Abstract

Cd-rom bij het gelijknamige boek. Uitgangspunten van dit boek zijn analyse en ontwerpen, UML en objectgeoriënteerde concepten, zonder daarbij de taal java en algoritmiek uit het oog te verliezen. (Bron: covertekst)


Book
Intelligent infrastructures.
Authors: --- ---
ISBN: 9789048135981 9789048136018 9789400731158 9789048135974 Year: 2010 Publisher: Dordrecht Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Modern societies heavily depend on infrastructure systems such as road-traffic networks, water networks, and electricity networks. Nowadays infrastructure systems are large-scale, complex networked, socio-technical systems, that almost everybody uses on a daily basis, and that have enabled us to live closely together in large cities. Infrastructure systems are so vital that their incapacity or destruction would have a fatal effect on the functioning of our society. The complexity of these systems is defined by their multi-agent and multi-actor character, their multi-level structure, their multi-objective optimization challenges, and by the adaptivity of their agents and actors to changes in their environment. The operation and control of existing infrastructures is fallible: too often people are confronted with capacity problems, dangerous situations, unreliability, and inefficiency. More intelligent infrastructures gain an advantage in terms of more efficient capacity management, improved reliability of service, increased sustainability, and enhanced infrastructure security. Infrastructure operation should be able to more autonomously determine how to operate the infrastructure, taking into account the most up-to-date state of the infrastructure, and taking into account the existence of several decision makers, such that ultimately the infrastructure is operated in a pro-active way and issues are resolved quickly. This book concentrates on a wide range of problems in the way infrastructures are functioning today and discusses novel advanced, and intelligent methods and tools for the operation and control of existing and future infrastructures.


Book
Logic for programming, artificial intelligence, and reasoning.
Authors: ---
ISBN: 9783642162428 9783642162411 Year: 2010 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume contains the research papers presented at the 17th International Conference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR-17), held in Yogyakarta, Indonesia, October 10-15, 2010, accompanied by the 8th International Workshop on the Implementation of Logic (IWIL-8, organized by Eugenia Ternovska, Stephan Schulz, and Geo? Sutcli?e) and the 5th International Workshop on Analytic Proof Systems (APS-5, organized by Matthias Baaz and Christian Fermuller ¨ ). The call for papers attracted 133 abstract submissions of which 105 ma- rialized into full submissions, each of which was assigned for reviewing to at least three Program Committee members; 41 papers were accepted after - tense discussions. Once more the EasyChair system provided an ideal platform for submission, reviewing, discussions, and collecting ?nal versions of accepted papers. The program included three invited talks by Krishnendu Chatterjee, Joseph Halpern, and Michael Maher, as well as an invited tutorial by Norbert Preining. They are documented by the corresponding papers and abstract, respectively, in these proceedings, which this year appear for the ?rst time in the ARCoSS subline of the Lecture Notes in Computer Science.

Keywords

Computer Science. --- Artificial Intelligence (incl. Robotics). --- Software Engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Computer science. --- Software engineering. --- Logic design. --- Artificial intelligence. --- Informatique --- Génie logiciel --- Structure logique --- Intelligence artificielle --- Artificial intelligence --- Automatic theorem proving --- Logic programming --- 681.3*D24 --- 681.3*F3 --- 681.3*F41 --- 681.3*I23 --- Computer programming --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Proof theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Logics and meanings of programs (Theory of computation) --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31}


Book
The Vehicle Routing Problem: Latest Advances and New Challenges
Authors: --- ---
ISBN: 1281861227 9786611861223 0387777784 0387777776 9780387777771 9780387777788 1441946039 Year: 2008 Volume: 43 Publisher: New York, NY : Springer US : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The Vehicle Routing Problem (VRP) has been an especially active and fertile area of research. Over the past five to seven years, there have been numerous technological advances and exciting challenges that are of considerable interest to students, teachers, and researchers. The Vehicle Routing Problem: Latest Advances and New Challenges will focus on a host of significant technical advances that have evolved over the past few years for modeling and solving vehicle routing problems and variants. New approaches for solving VRPs have been developed from important methodological advances. These developments have resulted in faster solution algorithms, more accurate techniques, and an improvement in the ability to solve large-scale, complex problems. The book will systematically examine these recent developments in the VRP and provide the following in a unified and carefully developed presentation: Present novel problems that have arisen in the vehicle routing domain and highlight new challenges for the field; Present significant methodological advances or new approaches for solving existing vehicle routing problems; Summarize the most significant research results for the vehicle routing problem and its variants from 2000 to the present. .

Keywords

Vehicle routing problem. --- Transportation problems (Programming) --- Delivery of goods --- Mathematical models. --- Store delivery services --- Transportation --- Parcel post --- Shipment of goods --- VRP (Vehicle routing problem) --- Combinatorial optimization --- Traveling salesman problem --- Transport problems (Programming) --- Linear programming --- Road traffic --- Operational research. Game theory --- 519.8 --- 681.3*G22 --- 519.8 Operational research --- Operational research --- 681.3*G22 Graph theory: graph algorithms; network problems; path and tree problems; trees--See also {681.3*F22} --- Graph theory: graph algorithms; network problems; path and tree problems; trees--See also {681.3*F22} --- Operations research. --- Engineering mathematics. --- Mathematics. --- Engineering economy. --- Production management. --- Operations Research/Decision Theory. --- Mathematical and Computational Engineering. --- Applications of Mathematics. --- Operations Research, Management Science. --- Engineering Economics, Organization, Logistics, Marketing. --- Operations Management. --- Manufacturing management --- Industrial management --- Economy, Engineering --- Engineering economics --- Industrial engineering --- Math --- Science --- Engineering --- Engineering analysis --- Mathematical analysis --- Operational analysis --- Management science --- Research --- System theory --- Mathematics --- Decision making. --- Applied mathematics. --- Management science. --- Engineering economics. --- Quantitative business analysis --- Management --- Problem solving --- Operations research --- Statistical decision --- Deciding --- Decision (Psychology) --- Decision analysis --- Decision processes --- Making decisions --- Management decisions --- Choice (Psychology) --- Decision making --- Engineering—Data processing. --- Industrial Management. --- Operations Research and Decision Theory. --- Mathematical and Computational Engineering Applications. --- Operations Research, Management Science . --- Business administration --- Business enterprises --- Business management --- Corporate management --- Corporations --- Industrial administration --- Management, Industrial --- Rationalization of industry --- Scientific management --- Business --- Industrial organization

Software Configuration Management Using Vesta
Authors: --- --- ---
ISBN: 9780387308524 0387002294 9780387002293 1441934723 9786613250612 0387308520 1283250616 Year: 2006 Publisher: New York, NY : Springer US : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book presents a comprehensive survey of the Vesta system for software configuration management (SCM). Vesta, unlike other SCM systems, is specifically designed to handle very large software projects comprising tens of millions of lines of code and beyond. Researchers in the field of software engineering and specialists in the construction of software development tools will especially benefit from this work, but it will also appeal to those responsible for designing and deploying configuration management solutions for large software systems. Three important but hard-to-achieve properties lie at the heart of Vesta's unique approach to software configuration management: Every build is repeatable Every build is incremental Every build is consistent To realize these properties in a practical SCM system, Vesta provides a novel repository to store the versions of the files that make up an evolving software system and a flexible language for writing modular configuration descriptions that define how the system is put together. This book explains in depth these facilities and the suite of tools that supports them, together with a methodology for applying them in practice. Readers who seek more information about Vesta may download the entire system as well as other publications, reference documents, and user documentation from the Vesta home page at http://www.vestasys.org.

Keywords

Computer Science. --- Software Engineering. --- System Performance and Evaluation. --- Software Engineering/Programming and Operating Systems. --- Computer science. --- Computer system performance. --- Software engineering. --- Informatique --- Génie logiciel --- 681.3*D29 --- Management: copyrights; cost estimation; life cycle; productivity; programming teams; software configuration management; software quality assurance; SQA (Software engineering)--See also {681.3*K63}; {681.3*K64} --- Information Technology --- Software Engineering --- Software configuration management. --- Software configuration management --- Engineering & Applied Sciences --- Computer Science --- 681.3*D29 Management: copyrights; cost estimation; life cycle; productivity; programming teams; software configuration management; software quality assurance; SQA (Software engineering)--See also {681.3*K63}; {681.3*K64} --- Computer software configuration management --- Computer system failures. --- Computers. --- Application software. --- Theory of Computation. --- Computer Appl. in Administrative Data Processing. --- Configuration management --- Information theory. --- Information systems. --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Machine theory --- Calculators --- Cyberspace --- Failures

Listing 1 - 10 of 17 << page
of 2
>>
Sort by