springer berlin heidelberg aug 2007 (264 risultati)

Taschenbuch. Condizione: Neu. Neuware -Agent-based computational modeling with its intrinsic multidisciplinary approach is gaining increasing recognition in the social sciences, particularly in economics, business and finance. The methodology is now widely used to compute analytical models numerically and test them for departures from theoretical assumptions, and to provide stand-alone simulation models for problems that are analytically intractable.This volume is devoted to recent contributions to the field from both the social sciences and computer sciences. It presents applications of agent-based computational methodologies and tools in the social sciences, focusing strongly on the uses, requirements and constraints of agent-based models employed by social scientists. Topics include agent-based macroeconomics, the emergence of norms and conventions, the dynamics of social and economic networks, and behavioral models in financial markets.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Buch. Condizione: Neu. Neuware -This volume features contributions from participants of the ESRF symposium on Immunotherapy in 2020¿Visions and Trends for Targeting Inflammatory Diseases held in Potsdam near Berlin, Germany, in October 2006. The symposium presentations covered the main mechanisms of immunoregulation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Buch. Condizione: Neu. Neuware -This work systematically investigates a large number of oscillatory network configurations that are able to describe many real systems such as electric power grids, lasers or even the heart muscle, to name but a few. The book is conceived as an introduction to the field for graduate students in physics and applied mathematics as well as being a compendium for researchers from any field of application interested in quantitative models.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. The 14 revised full papers presented were carefully selected and are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Evolvable Systems, ICES 2007, held in Wuhan, China, in September 2007. The 41 revised full papers collected in this volume are organized in topical sections on digital hardware evolution, analog hardware evolution, bio-inspired systems, mechanical hardware evolution, evolutionary design, evolutionary algorithms in hardware design, and hardware implementation of evolutionary algorithms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability.This state-of-the-art survey contains 18 expanded and peer-reviewed papers based on the carefully selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006), organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006. It also contains a number of invited papers written by recognized experts in the area. The papers are organized in topical sections on architectural description languages, architectural components and patterns, architecting distributed systems, and architectural assurances for dependability.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -¿If necessity is the mother of invention, then deregulation is the father, and r- enue management (also known as yield management) is the couple¿s golden child ¿ at least as far as operations research is concerned.¿ (Horner, 2000, p. 47) Deregulation had a signi cant impact on the U.S. airline industry in the late 1970s. Charter and low-cost airlines such as People Express and Southwest wereabletoo erseatsatafractionofthepricechargedbyestablishedcarriers like Pan Am and American Airlines. Due to their di erent cost structure, it seemed to be impossible for the big carriers to o er tickets at the same low price. Yet they had to nd a way to compete. Robert L. Crandall from American Airlines is widely credited with the - lution to the problem:yield management ¿ today calledrevenue management, since it maximizes revenue earned on a ight rather than yield (revenue per passenger mile). The idea was simple: American Airlines ights were only half full on - erage. O ering the empty seats at a discount price would not only enable the carriers to compete with the low-cost airlines but even create additional r- enue, if (1) it were possible to prevent cannibalization, i.e. the sale of discount tickets to consumers who would otherwise be willing to pay full fare, and if (2) it could be assured that only the seats that would otherwise y empty were sold at the low price.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Anticipatory behavior in adaptive learning systems is steadily gaining the - terest of scientists, although many researchers still do not explicitly consider the actual anticipatory capabilities of their systems. Similarly to the previous two workshops, the third workshop on anticipatory behavior in adaptive lea- ing systems (ABiALS 2006) has shown yet again that the similarities between di erent anticipatory mechanisms in diverse cognitive systems are striking. The discussions and presentations on the workshop day of September 30th, 2006, during the Simulation of Adaptive Behavior Conference (SAB 2006), con rmed that the investigations into anticipatory cognitive mechanisms for behavior and learning strongly overlap among researchers from various disciplines, including the whole interdisciplinary cognitive science area. Thus, further conceptualizations of anticipatory mechanisms seem man- tory. The introductory chapter of this volume therefore does not only provide an overview of the contributions included in this volume but also proposes a taxonomy of how anticipatory mechanisms can improve adaptive behavior and learning in cognitive systems. During the workshop it became clear that ant- ipations are involved in various cognitive processes that range from individual anticipatory mechanisms to social anticipatory behavior. This book re ects this structure by rst providing neuroscienti c as well as psychological evidence for anticipatorymechanismsinvolvedinbehavior,learning,language,andcognition. Next,individualpredictivecapabilitiesandanticipatorybehaviorcapabilitiesare investigated. Finally, anticipation relevant in social interaction is studied.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Machines, Computations, and Universality, MCU 2007, held in Orleans, France, September 2007. The 18 revised full papers presented together with nine invited papers cover Turing machines, register machines, word processing, cellular automata, tiling of the plane, neural networks, molecular computations, BSS machines, infinite cellular automata, real machines, and quantum computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Buch. Condizione: Neu. Neuware -It is now more than fifty years since the first paper on formal specifications of an information system was published by Young and Kent. Even if the term ¿conceptual model¿ was not used at that time, the basic intention of the abstract specification was to a large extent the same as for developing conceptual models today: to arrive at a precise, abstract, and hardware - dependent model of the informational and time characteristics of a data processing problem. The abstract notation should enable the analyst to - ganize the problem around any piece of hardware. In other words, the p- pose of an abstract specification was for it to be used as an invariant basis for designing different alternative implementations, perhaps even using different hardware components. Research and practice of abstract modeling of information systems has since the late fifties progressed through many milestones and achie- ments. In the sixties, pioneering work was carried out by the CODASYL Development committee who in 1962 presented the ¿Information Al- brä. At about the same time Börje Langefors published his elementary message and e-file approach to specification of information systems. The next decade, the seventies, was characterized by the introduction of a large number of new types of, as they were called, ¿data models¿. We saw the birth of, for instance, Binary Data Models, Entity Relationship Models, Relational Data Models, Semantic Data Models, and Temporal Deductive Models.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book features the refereed proceedings of the 2nd International Symposium on Computer Science in Russia held in September 2007. The 35 papers cover theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory; and applications of logic to computer science. Many applications are presented.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2006, held at Dagstuhl Castle, Germany, in December 2006. The papers are organized in topical sections on methodology and seven additional tracks on ad-hoc, natural language processing, heterogeneous collection, multimedia, interactive, use case, as well as document mining.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 568 pp. Englisch.

Buch. Condizione: Neu. Neuware -For the benefits offered by outsourcing and offshoring, organisations outsourcing to India must however recognise that there are real risks involved, and allocating such risk through a well constructed contract is a crucial step in minimizing such risk. As is the case with respect to any material agreement, the structure of an outsourcing agreement is important because it embodies the rights, remedies, duties and obligations of the parties and provides a blueprint for the parties' relationship.When contracts transcend national boundaries, the national legal regime of any single country becomes inadequate. When the parties to the contract are located in different countries, at least two systems of law impinge upon the transaction and the rules of International Law come into play. Clauses however addressing certain issues can only be governed by Indian Law.Specific legal factors around Data Processing, Intellectual Property and staffing implications (TUPE) must also be given careful consideration.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Electronic Commerce and Web Technologies, EC-Web 2007, held in Regensburg, Germany, September 3-7, 2007 in conjunction with Dexa 2007.The 22 revised full papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on recommender systems, business process / design aspects, mobile commerce, security and e-payment, Web services computing / semantic Web, e-negotiation and agent mediated systems, and issues in Web advertising. 248 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at an ever-increasing pace. For the scientist and engineer to benefit from these enhanced data collecting capabilities, it is becoming clear that semi-automated data analysis techniques must be applied to find the useful information in the data. Computational scientific discovery methods can be used to this end: they focus on applying computational methods to automate scientific activities, such as finding laws from observational data. In contrast to mining scientific data, which focuses on building highly predictive models, computational scientific discovery puts a strong emphasis on discovering knowledge represented in formalisms used by scientists and engineers, such as numeric equations and reaction pathways.This state-of-the-art survey provides an introduction to computational approaches to the discovery of scientific knowledge and gives an overview of recent advances in this area, including techniques and applications in environmental and life sciences. The 15 articles presented are partly inspired by the contributions of the International Symposium on Computational Discovery of Communicable Knowledge, held in Stanford, CA, USA in March 2001. More representative coverage of recent research in computational scientific discovery is achieved by a significant number of additional invited contributions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book contains the best papers from the first two instances of the International Conference on Web Information Systems and Technologies (WEBIST 2005 and 2006), organized by the Institute for Systems and Technologies of Information, C- trol and Communication (INSTICC) in collaboration with the OMG (Object M- agement Group), held in Miami (USA) and Setúbal (Portugal) respectively. The purpose of WEBIST is to bring together researchers, engineers and practit- ners interested in the technological advances and business applications of web-based information systems. It has four main topic areas, covering different aspects of Web Information Systems, including Internet Technology, Web Interfaces and Appli- tions, Society, e-Business, e-Government and e-Learning. WEBIST received submissions from more than 40 countries in all continents. We are happy to note that from 110 submissions in 2005 WEBIST grew to 218 paper submissions in 2006, an increase of practically 100%. After a double-blind review process, with the help of more than 120 experts from the international program c- mittee, and also after presentation at the conference, 25 papers were finally selected to be published and presented in this book. 436 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Artificial Immune Systems, ICARIS 2007, held in Santos, Brazil, August 2007. The papers are organized in topical sections on search and optimization, classification and clustering, anomaly detection and negative selection, robotics, control and electronics. Modeling papers, conceptual papers, and technical papers and general applications are also included.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume features the refereed proceedings of the 4th International Conference on Trust and Privacy in Digital Business. The 28 papers were all carefully reviewed. They cover privacy and identity management, security and risk management, security requirements and development, privacy enhancing technologies and privacy management, access control models, trust and reputation, security protocols, and security and privacy in mobile environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -analysis. Their results show that interoperability is the most indispensable element to a successful utilization of Grid infrastructures in enterprises. In the third contribution, Altmann and colleagues formulate a taxonomical - proach to Grid business models. They survey the development and origin of Grid technologies and focus on the importance of business-directed values when trying to commercialize today¿s Grids. Therein, they identify the reduction of costs, the - provement of efficiency, the creation of novel products and services as well as the quality and collaboration between companies as key factors for the differentiation of Grid business models. The paper concludes by applying the proposed taxonomy to a utility computing scenario and a software-as-a-service scenario in practice. Stanoevska-Slabeva and Zsigri propose a generic value chain for the Grid industry. In their contribution, they suggest a case study on aggregating results from different Grid middleware modules into a generic Grid value chain. In their contribution, McKee and coauthors propose a set of strategies for acting in future service-oriented markets. The costs of negotiations are put in relation to the value of the offer under negotiation. Hence, the contribution adds to the state of the art by extending the vision of service level agreements (SLAs) within service fra- works. Sandholm and Lai propose a novel, prediction-based enforcement of performance contracts. Their approach aims at controllable quality of service (QoS) within Grid computing platforms. The proposed mechanism is based on a hybrid resource allo- tion system using both proportional shares and reservations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Buch. Condizione: Neu. Neuware -An outgrowth of a workshop held by the Community of European Solar Radio Astronomers (CESRA), this volume collects reviews on current research and perspectives on the variable solar corona: high-energy particles, large-scale disturbances such as mass ejections and waves, and radio diagnostics of the coronal plasma. Multiwavelength observations of the Sun with radio instruments and recent space missions are drawn on extensively, as well as input from neighbouring fields e.g. solar wind, Earth's bow shock. Recent developments are discussed alongside key developments in this rapidly evolving field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -th Welcome to the proceedings of PATMOS 2007, the 17 in a series of international workshops. PATMOS 2007 was organized by Chalmers University of Technology with IEEE Sweden Chapter of the Solid-State Circuit Society technical - sponsorship and IEEE CEDA sponsorship. Over the years, PATMOS has evolved into an important European event, where - searchers from both industry and academia discuss and investigate the emerging ch- lenges in future and contemporary applications, design methodologies, and tools - quired for the development of the upcoming generations of integrated circuits and systems. The technical program of PATMOS 2007 consisted of state-of-the-art te- nical contributions, three invited talks and an industrial session on design challenges in real-life projects. The technical program focused on timing, performance and power consumption, as well as architectural aspects with particular emphasis on m- eling, design, characterization, analysis and optimization in the nanometer era. The Technical Program Committee, with the assistance of additional expert - viewers, selected the 55 papers presented at PATMOS. The papers were organized into 9 technical sessions and 3 poster sessions. As is always the case with the PATMOS workshops, full papers were required, and several reviews were received per manuscript. 600 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -1 Ruby is an open source programming language that was released in 1995. th 2 Ruby is ranked 10 in the TIOBE Programming Community index . Ruby 3 on Rails is an open source web framework that was released in 2004. Ruby on Rails is being widely adopted because of its simplicity, 4 maintainability and development speed. Computerworld lists Ruby on Rails as the one of the top 5 technologies for 2007. Motivation for this Book Ruby is often compared with PHP, which is the most commonly used scripting language, and with Java, which is the most commonly used programming language. In the trends graph of TIOBE index you might notice that since the middle of 2006 Ruby shows an increase in usage 5 while PHP and Java show a decrease in usage. OReilly Radar has noted the trend towards an increased usage of Ruby on Rails. Statistics aside, Ruby on Rails has some advantages over PHP, which are discussed below. 1. Ruby on Rails is more object-oriented than PHP, thus providing all the inherent advantages of an object-oriented language such as simplicity, modularity, modifiability, extensibility, maintainability and re-usability. 2. Ruby on Rails is web framework whereas PHP is only a scripting language.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The increasing relevance of security to real-life applications, such as electronic commerce, is attested by the fast-growing number of research groups, events, conferences, and summer schools that are studying it. This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2006/2007, held in Bertinoro, Italy, in September 2006 and September 2007. 336 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Parallel Computing Technologies, PaCT 2007, held in conjunction with the Russian-Taiwan symposium on Methods and Tools of Parallel Programming of Multicomputers. It covers models and languages, applications, techniques for parallel programming supporting, cellular automata, as well as methods and tools of parallel programming of multicomputers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 656 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book contains the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal. The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium articles cover all issues of current research in logic programming, including theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Welcome to the proceedings of the 1st International Conference on Network- Based Information Systems (NBiS-2007), in conjunction with the 18th Inter- tional Conference on Database and Expert Systems Applications DEXA-2007, which was held in Regensburg, Germany, September 3¿4, 2007. The main objective of NBiS-2007 was to bring together scientists, engineers, and researchers from both network systems and information systems with the aimofencouragingtheexchangeofideas,opinions,andexperiencebetweenthese two communities. NBiS started as a workshop and for 9 years it was held together with DEXA International Conference and is the oldest among DEXA Workshops. The wo- shop has been very successful in quantity and quality. We received many paper submissions every year, but as a workshop we could accept only a limited n- ber of papers. This was the rst year that NBiS was run as an international conference together with DEXA. We received 122 research papers from all over the world. The submitted papers were carefully reviewed by at least two reviewers. Based on the review results, the Program Committee members selected 55 high-quality papers to be presented during the NBiS-2007 conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 560 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Second Brazilian Symposium on Bioinformatics, BSB 2007, held in Angra dos Reis, Brazil, in August 2007, co-located with IWGD 2007, the International Workshop on Genomic Databases. The papers address a broad range of current topics in computational biology and bioinformatics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -EGOV 2007 was the sixth edition of this highly successful series of annual int- national conferences dedicated to electronic government research and practice. Like all its predecessors, EGOV 2007 achieved a remarkable number of paper submissions. Moreover, the quality of this year¿s submissions again superseded previous years¿ submissions. For the third year in a row, the conference was anteceded by a doctoral colloquium, with approximately 20 PhD projects d- cussed. The conference also provided a forum for academic work in progress, for practitioner reports, and for workshops on specialty topics. Along with the International Conference on Digital Government Research (dg.o)intheUSA andthe e-GovernmentTrackatthe HawaiiInternationalC- ference on System Sciences (HICSS), the EGOV series of conferences has est- lished itself as the leading annual conference on e-Government, e-Participation and e-Governance in Europe, with a global reach. Last year, the rst two professional societies were formed in North America 1 and Europe, the Digital Government Society of North America (DGSNA) and 2 the European EGOV Society (EGOV-S) . Both sister societies work closely - gether.Itisnoteworthythatbothsocietieshaveadoptedalmostidenticalmission statements. They both de ne themselves as multi-disciplinary organizations ¿of scholars and practitioners engaged in and committed to democratic digital g- ernment. Digital (or electronic) government fosters the use of information and technology to support and improve public policies and government operations, engage citizens, and provide comprehensive and timely government services¿.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras ¿ as mathematical objects as well as in the context of their application in computer science ¿ the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book is the refereed proceedings of the second CALCO conference, held in August 2007 in Norway. 484 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The refereed proceedings from the 7th International Workshop on Algorithms in Bioinformatics are provided in this volume. Papers address current issues in algorithms in bioinformatics, ranging from mathematical tools to experimental studies of approximation algorithms to significant computational analyses. Biological problems examined include genetic mapping, sequence alignment and analysis, phylogeny, comparative genomics, and protein structure.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.