springer springer aug 2003 (319 risultati)

Taschenbuch. Condizione: Neu. Neuware -The monograph is devoted to a systematic study of means of Hilbert space operators by a unified method based on the theory of double integral transformations and Peller's characterization of Schur multipliers. General properties on means of operators such as comparison results, norm estimates and convergence criteria are established. After some general theory, special investigations are focused on three one-parameter families of A-L-G (arithmetic-logarithmic-geometric) interpolation means, Heinz-type means and binomial means. In particular, norm continuity in the parameter is examined for such means. Some necessary technical results are collected as appendices.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -J. P. La Salle has developed in [20] a stability theory for systems of difference equations (see also [8]) which we introduce in the first chapter within the framework of metric spaces. The stability theory for such systems can also be found in [13] in a slightly modified form. We start with autonomous systems in the first section of chapter 1. After theoretical preparations we examine the localization of limit sets with the aid of Lyapunov Functions. Applying these Lyapunov Functions we can develop a stability theory for autonomous systems. If we linearize a non-linear system at a fixed point we are able to develop a stability theory for fixed points which makes use of the Frechet derivative at the fixed point. The next subsection deals with general linear systems for which we intro duce a new concept of stability and asymptotic stability that we adopt from [18]. Applications to various fields illustrate these results. We start with the classical predator-prey-model as being developed and investigated by Volterra which is based on a 2 x 2-system of first order differential equations for the densities of the prey and predator population, respectively. This model has also been investigated in [13] with respect to stability of its equilibrium via a Lyapunov function. Here we consider the discrete version of the model.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In many ways, our immune systems are as complex as our brains. They learn, predict, remember and adapt, protecting us from the maelstrom of pathogens that infect us daily. Computer Science frequently takes inspiration from the seemingly endless capabilities of natural systems. It should therefore be no s- prise that, like the eld of Arti cial Neural Networks inspired from brains, we now have a vigorous eld of research known as Arti cial Immune Systems (AIS), inspired by our own immune systems. Although still relatively new, the previous 10 years has seen the paradigm of AIS rapidly establish itself as an important biological metaphor. Researchers all over the world fruitfully exploit ¿immunological ideas¿ in many di erent ways to provide mechanisms for tackling a wide variety of applications. In this volume we present the proceedings of ICARIS 2003, the 2nd Int- national Conference on Arti cial Immune Systems. This was the second int- national conference entirely dedicated to the eld, and followed the extremely successful rst conference held in Canterbury, UK in 2002. The number and - versityofpapersinthisyear¿sconferenceisatributetotheever-growingnumber ofresearchersinthearea,andrepresentativeofthesolidfoundationofworkthat now exists in this area. The range of topics considered is wide. For example, at one end of the spectrum we see a selection of papers providing a necessary t- oretical grounding for the eld. At the other end, we have an exciting range of applications to real-world problems, covering, for example, job-shop scheduling and fault detection in refrigeration systems. 316 pp. Englisch.

Buch. Condizione: Neu. Neuware -Driven by rapidly changing business environments and increasingly demanding consumers, many organizations are searching for new ways to achieve and retain a competitive advantage via customer intimacy and CRM. In this context, new strategic frameworks and cooperation with everybody along the whole value chain are needed to allow managers to deal with the changes in shopping patterns of consumers. This book presents a new strategic framework that has been tested successfully with various global companies. New management concepts such as Collaborative Forecasting and Replenishment, CRM, Category Management, and Mass Customization are integrated into one holistic approach with a view to jointly develop customer bonding and loyalty. Experts from companies like McKinsey, Procter&Gamble, Accenture, and AC Nielsen, as well as authors from renowned academic institutions, offer valuable insights on how to redesign organizations for the future.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In his Ph. D. thesis, Rudiger Wapler analyses the causes of the persistently high unemployment rates especially in continental Europe. Particular emphasis is placed on imperfect labour and product markets on the one hand, and on the numerous links between unemployment, innovations and growth on the other. Hence, Rudiger Wapler provides an important contribution towards a better understanding of both the development of labour markets as well as the dynamics of growth. To aid readers with only little prior knowledge of labour markets, the book presents the most common theories of unemployment: (1) trade-union models in which union bargaining power leads to wages above their market-clearing level, (2) efficiency-wage models in which employers voluntarily pay higher wages in order to motivate or discipline their workers or to reduce the job turnover rate, as well as (3) matching models in which unemployment is caused by the continuous turnover of jobs and workers. In addition, emphasis is placed on the fact that labour needs to be treated as heterogeneous, a fact often neg lected in the literature. Subsequently, these labour-market foundations are integrated with modern theories of innovations and growth, making the ap proach much more relevant and plausible. Without doubt, the generalisations of the models performed by Rudiger Wapler show that there are limits to such formal analysis. Due to the increasing number of interdependencies, it is doubtful whether even more complex models provide additional (usable) insights.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This collection represents the proceedings of the 1st GSFC/JPL Workshop on Radical Agent Concepts (WRAC), which was held on 16¿18 January, 2002 at the Science Applications International Corporation (SAIC) Conference Center in McLean, VA, USA. Over the past few years, agent technologyhas emerged as a powerful force in computing. Agent technology may well form the foundation for the next gen- ation of computing systems. New and innovative agent concepts and techniques may bring further developments to this exploding area of research. Such work is often strongly inspired by theoretical or empirical studies of human behavior, social intelligence, psychology, arts, biology, computer science and philosophy. Thisworkshopaimedatbringingtogether,inaninterdisciplinaryeve nt,or- inal thinkers, practitioners and academics with an interest in radical (very - novative) concepts for agent-based systems. The workshop provided a forum to present the latest research ndings in many aspects of agent technology. The - ganizers welcomed participation by those working in agent architectures, agent communities, agent communications, agent modeling, agent applications and other agent-related areas. We were particularly seeking papers on novel and - novative ideas, pushing the envelope of current agent technology. Contributions without a prototype or working system, i.e., purely conceptual contributions, were welcomed, and ¿out-of-the-box¿ thinkers were especially encouraged to participate. The workshop was structured so as to allow the participants adequate time for discussion and interaction, to exchange ideas and re ect on the motivations, scienti c grounds and practical consequences of the concepts presented. 492 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These are the proceedings of the 7th International Workshop on Cooperative Information Agents (CIA 2003), held at the Sonera Conference Center in H- sinki, Finland, August 27¿29, 2003. It was co-located with the 4th Agentcities Information Days. One key challenge of developing advanced agent-based information systems is to balance the autonomy of networked data and knowledge sources with the pot- tial payo of leveraging them by the appropriate use of intelligent information agents on the Internet. An information agent is a computational software entity thathasaccesstooneormultiple,heterogeneous,anddistributeddataandinf- mation sources; proactively searches for and maintains relevant information on behalfofitshumanusersorotheragents,preferablyjust-in-time. Inotherwords, it is managing and overcoming the di culties associated with information ov- load in the open and exponentially growing Internet and Web. Depending on the application and tasks at hand information agents may collaborate in open, n- worked data and information environments to provide added value to a variety of applications in di erent domains. Thus, research and development of inf- mation agents is inherently interdisciplinary: It requires expertise in information retrieval, arti cial intelligence, database systems, human-computer interaction, and Internet and Web technology. Initiated in 1997, the purpose of the annual international workshop series on cooperativeinformationagents(CIA)istoprovideaninterdisciplinaryforumfor researchers, software developers, and managers to get informed about, present, anddiscussthelatesthigh-qualityresultsinadvancementsoftheoryandpractice in information agent technology for the Internet and Web. Each event of this renowned series attempts to capture theintrinsic interdisciplinary nature of this research area by calling for contributions from di erent research communities, and by promoting open and informative discussions on all related topics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -We are pleased to present the proceedings of Performance TOOLS 2003, the 13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. The series of TOOLS conferences has provided a forum for our community of performance engineers with all their diverse interests. TOOLS 2003, held in Urbana, Illinois during September 2¿5, 2003, was the most recent meeting of the series, which in the past has been held in the following cities: 1984 Paris 1992 Edinburgh 2000 Chicago 1985 Sophia-Antipolis 1994 Vienna 2002 London 1987 Paris 1995 Heidelberg 2003 Urbana 1988 Palma 1997 Saint Malo 1991 Turin 1998 Palma TheproceedingsoftheTOOLSconferenceshavebeenpublishedbySpringer- Verlag in its LNCS series since 1994. TOOLS2003wasthesecondconferenceintheseriestobeheldinthestateof Illinois, USA. It was one of four component conferences that met together under the umbrella of the 2003 Illinois Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems. Other conferences held inconjunctionwithTOOLS2003werethe10thInternationalWorkshoponPetri Nets and Performance Models (PNPM 2003), the International Conference on the Numerical Solution of Markov Chains (NSMC 2003), and the 6th Inter- tional Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-6). The format allowed for a number of joint components in the programs: the three keynote speakers, the tool demonstrations, the tutorials, and the social events were all shared by the participants of the multiconference. Moreover, the PNPM, TOOLS, and NSMC tracks of the multiconference ran concurrently, so that attendees could choose to attend whichever sessions of those component conferences they wished. 324 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In very short time, peer-to-peer computing has evolved from an attractive new paradigm into an exciting and vibrant research field bringing together researchers from systems, networking, and theory.This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Peer-to-Peer Systems, IPTPS 2003, held in Berkeley, CA, USA in February 2003.The 27 revised papers presented together with an introductory summary of the discussions at the workshop were carefully selected during two rounds of reviewing and revision from initially 166 submissions. The papers are organized in topical sections on experience with P2P; theory and algorithms, P2P in a broader perspective; incentive and fairness; new DHT designs; naming, indexing, and searching; file sharing; and networking and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Thisvolumecontainsaselectionofpapersfromthe4thInternationalConference on the Practice and Theory of Automated Timetabling (PATAT 2002) held in Gent, August 21¿23, 2002. Since the rst conference in Edinburgh in 1995, the range of timetabling applications at the conferences has become broader and more diverse. In the s- ected papers volume from the 1995 conference, there were just two contributions (out of 22) which did not speci cally address school and university timetabling. In the selected papers volume from the 1997 conference in Toronto, the number of papers which tackled non-educational problems increased. Two of the papers addressed more than one timetabling application. In both of these papers, educational applications were considered in addition to other applications. A further three papers were concerned with non-educational applications. The conference steering and programme committees have worked hard to attract a wide range of timetabling applications. In the conference held in Konstanz in 2000, the diversi cation of timetabling problems increased signi cantly. Of the 21 selected papers in the postconference volume, just 13 were speci cally concerned with educational timetabling. In the previous volumes, the papers had been sectioned according to solution technique. In the Konstanz volume the papers were classi ed according to application domains. One section of the volume was entitled ¿Employee Timetabling,¿ while sports timetabling, air eet scheduling, and general software architectures for timetabling were also represented. In the present volume, more than one-third of the 21 papers discuss problems in application areas other than academic and educational ones. Sports timetabling and hospital timetabling are particularly wellrepresented.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the 14th International Conference on ConcurrencyTheory(CONCUR2003)heldinMarseille,France,September3¿5, 2003. The conference was hosted by the Universit¿edeProvenceandtheLa- ratoire d¿Informatique Fondamentale de Marseille (LIF). The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scienti c relevance of their fundations. The scope of the conference covers all areas of semantics, logics, and veri cation techniques for concurrent systems. Topics include concurrency-related aspects of: models of computation and semantic domains, process algebras, Petri nets, event struc- res, real-time systems, hybrid systems, decidability, model-checking, veri cation and re nement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, types systems and algorithms, case studies, and tools and environments for programming and - ri cation. Of the 107 papers submitted this year, 29 were accepted for presentation. Four invited talks were given at the conference: on Distributed Monitoring of Concurrent and Asynchronous Systems by Albert Beneveniste, on Quantitative Veri cation via the MU-Calculus by Luca De Alfaro, on Input-Output Au- mata: Basic, Timed, Hybrid, Probabilistic, Dynamic, . . by Nancy Lynch, and on Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus by Andre Scedrov. 544 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The increasing complexity of manufacturing systems as well as the overall demands for flexible and fault-tolerant control of production processes stimulates (among many others) two key emerging technologies that are already making an important breakthrough in the field of intelligent manufacturing, control, and diagnostics. These two paradigms are: ¿ the holonic approach based on the event-driven control strategy, usually aimed at modular control systems that are directly physically linked with the manufacturing hardware equipment, and ¿ the multi-agent approach developed in the area of distributed information processing. The research communities working in both these fields are approaching the problem of intelligent manufacturing from different viewpoints and, until recently, to a certain extent, in an independent way. We can however observe quite a clear convergence of these fields in the last few years: the communities have started to cooperate, joining efforts to solve the painful problems involved in achieving effective industrial practice. We can see convergence in the terminology, standards and methods being applied.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Human performance in visual perception by far exceeds the performance of contemporary computer vision systems. While humans are able to perceive their environment almost instantly and reliably under a wide range of conditions, computer vision systems work well only under controlled conditions in limited domains.This book sets out to reproduce the robustness and speed of human perception by proposing a hierarchical neural network architecture for iterative image interpretation. The proposed architecture can be trained using unsupervised and supervised learning techniques.Applications of the proposed architecture are illustrated using small networks. Furthermore, several larger networks were trained to perform various nontrivial computer vision tasks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The conference on Object Oriented Information Systems (OOIS) is now an es- blished international conference where innovative ideas, research, applications, and experiences in the design, development, and use of object oriented infor- tionsystems,fromboththeacademicandindustrialenvironments,arepresented. The ninth OOIS conference was held at the University of Geneva, September 2¿5, 2003. The main theme was the Evolution of Object Oriented Information Systems. The papers presented ideas and issues related to the evolution, ad- tability, restructuring, and exibility of OOIS. In the context of the conference, ve workshops and four tutorials were organized providing a discussion forum for new ideas and including in depth presentations on important ¿hot¿ subjects. The three invited speakers of the ninth OOIS conference provided an - ternative view on OOIS and their evolution. Prof. John Mylopoulos (Univ- sity of Toronto and VLDB president) gave the opening presentation entitled ¿Agent Oriented IS Development¿ , Dr. Richard Soley (OMG President and CEO) gave the closing presentation entitled ¿Model Driven Architecture: The Evolution of Object-Oriented Systems ¿ and Prof. Lina Al-Jadir (American U- versity of Beirut) gave the theme presentation entitled ¿Once Upon a Time a DTD Evolved into Another DTD.¿.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Buch. Condizione: Neu. Neuware -The simulation of technological and environmental flows is very important for many industrial developments. A major challenge related to their modeling is to involve the characteristic turbulence that appears in most of these flows. The traditional way to tackle this question is to use deterministic equations where the effects of turbulence are directly parametrized, i. e. , assumed as functions of the variables considered. However, this approach often becomes problematic, in particular if reacting flows have to be simulated. In many cases, it turns out that appropriate approximations for the closure of deterministic equations are simply unavailable. The alternative to the traditional way of modeling turbulence is to construct stochastic models which explain the random nature of turbulence. The application of such models is very attractive: one can overcome the closure problems that are inherent to deterministic methods on the basis of relatively simple and physically consistent models. Thus, from a general point of view, the use of stochastic methods for turbulence simulations seems to be the optimal way to solve most of the problems related to industrial flow simulations. However, it turns out that this is not as simple as it looks at first glance. The first question concerns the numerical solution of stochastic equations for flows of environmental and technological interest. To calculate industrial flows, 3 one often has to consider a number of grid cells that is of the order of 100 .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Because of its promise to support human programmers in developing correct and efficient program code and in reasoning about programs, automatic program synthesis has attracted the attention of researchers and professionals since the 1970s.This book focusses on inductive program synthesis, and especially on the induction of recursive functions; it is organized into three parts on planning, inductive program synthesis, and analogical problem solving and learning. Besides methodological issues in inductive program synthesis, emphasis is placed on its applications to control rule learning for planning. Furthermore, relations to problem solving and learning in cognitive psychology are discussed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -As software systems become more and more ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be planned at the beginning of the design process, it is appropriate that these issues be addressed at the architectural level. This book is inspired by the ICSE 2002 Workshop on Architecting Dependable Systems; it is devoted to current topics relevant for improving the state of the art for architecting dependability. Some of the 13 peer-reviewed papers presented were initially presented at the workshop, others were invited in order to achieve competent and complete coverage of all relevant aspects. The papers are organized in topical sections on - architectures for dependability - fault tolerance in software architectures - dependability analysis in software architectures - industrial experience. 328 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The PaCT-2003 (Parallel Computing Technologies) conference was a four-day conference held in Nizhni Novgorod on September 15¿19, 2003. This was the 7th international conference of the PaCT series, organized in Russia every odd year. The rst conference, PaCT-91, was held in Novosibirsk (Academgorodok), September 7¿11, 1991. The next PaCT conferences were held in: Obninsk (near Moscow),30August¿4September,1993;St.Petersburg,September12¿15,1995; Yaroslavl, September 9¿12, 1997; Pushkin (near St. Petersburg) September 6¿ 10, 1999; and Akademgorodok (Novosibirsk), September 3¿7, 2001. The PaCT proceedings are published by Springer-Verlag in the LNCS series. PaCT-2003 was jointly organized by the Institute of Computational - thematics and Mathematical Geophysics of the Russian Academy of Sciences (Novosibirsk) and the State University of Nizhni Novgorod. The purpose of the conference was to bring together scientists working with theory, architectures, software, hardware and solutions of large-scale problems in order to provide integrated discussions on Parallel Computing Technologies. Theconferenceattractedabout100participantsfromaroundtheworld.Authors from 23 countries submitted 78 papers. Of those submitted, 38 papers were selected for the conference as regular ones; there were also 4 invited papers. In addition,anumberofposterswerepresented.Allthepaperswereinternationally reviewed by at least three referees. As usual a demo session was organized for the participants. Many thanks to our sponsors: the Russian Academy of Sciences, the Russian Fund for Basic Research, the Russian State Committee of Higher Education, IBM and Intel (Intel laboratory in Nizhni Novgorod) for their nancial support. The organizers highly appreciate the help of the AssociationAntenne-Provence (France). 588 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Nowadays, societies crucially depend on high-quality software for a large part of their functionalities and activities. Therefore, software professionals, researchers, managers, and practitioners alike have to competently decide what software technologies and products to choose for which purpose.For various reasons, systematic empirical studies employing strictly scientific methods are hardly practiced in software engineering. Thus there is an unquestioned need for developing improved and better-qualified empirical methods, for their application in practice and for dissemination of the results.This book describes different kinds of empirical studies and methods for performing such studies, e.g., for planning, performing, analyzing, and reporting such studies. Actual studies are presented in detail in various chapters dealing with inspections, testing, object-oriented techniques, and component-based software engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Buch. Condizione: Neu. Neuware -PREFACE The theory of differential-operator equations has been described in various monographs, but the initial physical problem which leads to these equations is often hidden. When the physical problem is studied, the mathematical proofs are either not given or are quickly explained. In this book, we give a systematic treatment of the partial differential equations which arise in elastostatic problems. In particular, we study problems which are obtained from asymptotic expansion with two scales. Here the methods of operator pencils and differential-operator equations are used. This book is intended for scientists and graduate students in Functional Analy sis, Differential Equations, Equations of Mathematical Physics, and related topics. It would undoubtedly be very useful for mechanics and theoretical physicists. We would like to thank Professors S. Yakubov and S. Kamin for helpfull dis cussions of some parts of the book. The work on the book was also partially supported by the European Community Program RTN-HPRN-CT-2002-00274. xiii INTRODUCTION In first two sections of the introduction, a classical mathematical problem will be exposed: the Laplace problem. The domain of definition will be, on the first time, an infinite strip and on the second time, a sector. To solve this problem, a well known separation of variables method will be used. In this way, the structure of the solution can be explicitly found. For more details about the separation of variables method exposed in this part, the reader can refer to, for example, the book by D. Leguillon and E. Sanchez-Palencia [LS].Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book is concerned with the rich and fruitful interplay between the fields of computational logic and machine learning. The intended audience is senior undergraduates, graduate students, and researchers in either of those fields. For those in computational logic, no previous knowledge of machine learning is assumed and, for those in machine learning, no previous knowledge of computational logic is assumed. The logic used throughout the book is a higher-order one. Higher-order logic is already heavily used in some parts of computer science, for example, theoretical computer science, functional programming, and hardware verifica tion, mainly because of its great expressive power. Similar motivations apply here as well: higher-order functions can have other functions as arguments and this capability can be exploited to provide abstractions for knowledge representation, methods for constructing predicates, and a foundation for logic-based computation. The book should be of interest to researchers in machine learning, espe cially those who study learning methods for structured data. Machine learn ing applications are becoming increasingly concerned with applications for which the individuals that are the subject of learning have complex struc ture. Typical applications include text learning for the World Wide Web and bioinformatics. Traditional methods for such applications usually involve the extraction of features to reduce the problem to one of attribute-value learning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -A summary of research carried out in the CHOROCHRONOS Project, established as an EC-funded Training and Mobility Research Network with the objective of studying the design, implementation, and application of spatio-temporal database management systems.The nine coherent chapters by leading research groups are written in a tutorial style, making the research contributions of the project accessible to a wider audience interested in spatio-temporal information processing. Following an introductory overview, the book presents chapters on ontologies for spatio-temporal databases, conceptual models, spatio-temporal models and languages, access methods and query processing, architectures and implementation of spatio-temporal DBMS, interactive spatio-temporal documents, and future perspectives.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -For quite some time, in systems and software design, security only came as a second thought or even as a nice-to-have add-on. However, since the breakthrough of the Internet as a virtual backbone for electronic commerce and similar applications, security is now recognized as a fundamental requirement.This book presents a systematic security improvement approach based on the pattern paradigm. The author first clarifies the key concepts of security patterns, defines their semantics and syntax, demonstrates how they can be used, and then compares his model with other security approaches. Based on the author's model and best practice in security patterns, security novices are now in a position to understand how security experts solve problems and can basically act like them by using the patterns available as building blocks for their designs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The mission of JMLC is to explore the concepts of well-structured rogramming languages and software, and those of teaching good design and programming style. A special interest is the construction of large and distributed software systems. JMLC ¿ in the future it may be renamed to PMLC (Programming Methodology and Languages) ¿ has already a long tradition; earlier confer- ces were held in 1987 (Bled, Slovenia), 1990 (Loughborough, UK), 1994 (Ulm, Germany), 1997 (Linz, Austria) and 2000 (Zuric ¿ h, Switzerland). JMLC 2003 attracted 47 papers from 10 countries (Australia, Austria, Czech Republic, Germany, Hungary, Italy, Switzerland, Russia, UK, USA). Each paper was reviewed by three representatives of the international program committee. Seventeen papers were accepted as full and 10 further papers as short contri- tions. In a second, simpli ed reviewing process the editors of this proceedings checked that all authors had accounted for the detailed comments of the rev- wers. In addition to the regular program, JMLC 2003 invited ve distinguished speakers: Niklaus Wirth (ETH Zuric ¿ h), Michael Franz (UCI, Irvine), Jayadev Misra (UT, Austin), C.A.R. Hoare (Microsoft Research and Oxford University) and Jim Miller (Microsoft Corporation), the latter two in common with the co-located EuroPar 2003 conference. JMLC 2003 invited four tutorials: On .NET (Hanspeter M¿ ossenb¿ ock, Wo- gang Beer, Dietrich Birngruber and Albrecht W¿ oß, University Linz and Tech- Talk);C# (JudithBishop,UniversityofPretoriaandNigelHorspool,University of Victoria); and Design by Contract and the Ei el Method and Trusted Com- nentsandAttemptsatProofs (BertrandMeyer,ETHZuric ¿ handEi elSoftware).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Committee (Jean-Claude D- niame, Jacky Estublier, Carlo Ghezzi, Carlo Montangero, Leon Osterweil, Dewayne Perry, and Brian Warboys) for providing timely and signi cant reviews, and for their substantialeffortinmakingEWSPT-9asuccessfulworkshop. This year the workshop was held in conjunction with the joint European Software EngineeringConferenceandACMSIGSOFTSymposiumontheFoundationsofSo- ware Engineering. I would like to acknowledge the General Chair, Jukka Paakki, and themembersoftheOrganizingCommitteefortheirassistanceduringtheorganization ofEWSPT-9asaco-locatedworkshop. IwouldalsoliketoacknowledgethepromptandprofessionalsupportfromSpringer- Verlag, who published these proceedings in printed and electronic volumes as part of theLectureNotesinComputerScienceseries. 188 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2003, held in Prague, Czech Republic in September 2003.The 41 revised full papers presented were carefully reviewed and selected from more than 130 submissions. The papers are organized in topical sections on data cubes and queries, multidimensional data models, Web warehousing, change detection, Web mining and association rules, association rules and decision trees, clustering, association rule mining, data analysis and discovery, ontologies and improving data quality, queries and data patterns, improving database query engines, and sampling and vector classification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on E-Commerce 2003, held in Prague, Czech Republic in September 2003.The 42 revised full papers presented together with an invited paper and a position paper were carefully reviewed and selected from 108 submissions. The papers are organized in topical sections on auctions, security, agents and search, ebXML, modeling and technology, XML, design and performance, business processes, and brokering and recommender systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8¿12, 2003 in Rome, Italy. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri cation. TPHOLs 2003 was co-located with TABLEAUX, the International Con- rence on Automated Reasoning with Analytic Tableaux and Related Methods, and with Calculemus, the Symposium on the Integration of Symbolic Compu- tion and Mechanized Reasoning. There were 50 papers submitted to TPHOLs in the full research category, each of which was refereed by at least 3 reviewers, selected by the program c- mittee.Ofthesesubmissions,21wereacceptedforpresentationattheconference and publication in this volume. In keeping with tradition, TPHOLs 2003 also o ered a venue for the presentation of work in progress, where researchers - vite discussion by means of a brief preliminary talk and then discuss their work at a poster session. A supplementary proceedings containing associated papers for work in progress was published by the computer science department at the Universit¿ at Freiburg. The organizers are grateful to Jean-Raymond Abrial, Patrick Lincoln, and Dale Miller for agreeing to give invited talks at TPHOLs 2003. The TPHOLs conference traditionally changes continent each year in order to maximize the chances that researchers from around the world can attend. 384 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book presents revised versions of the lectures given at the 8th ELSNET European Summer School on Language and Speech Communication held on the Island of Chios, Greece, in summer 2000.Besides an introductory survey, the book presents lectures on data analysis for multimedia libraries, pronunciation modeling for large vocabulary speech recognition, statistical language modeling, very large scale information retrieval, reduction of information variation in text, and a concluding chapter on open questions in research for linguistics in information access.The book gives newcomers to language and speech communication a clear overview of the main technologies and problems in the area. Researchers and professionals active in the area will appreciate the book as a concise review of the technologies used in text- and speech-triggered information access. 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Das Übungsbuch richtet sich an Studierende der Wirtschaftswissenschaften, die ihre Kenntnisse der makroökonomischen Theorie und Politik überprüfen und vertiefen möchten. Anhand von Kontrollfragen und Übungsaufgaben mit Lösungen kann der Leser feststellen, ob er einerseits das analytische Instrumentarium der Makroökonomik und andererseits die Anwendung der theoretischen Ansätze auf wirtschaftspolitisch relevante Fragestellungen beherrscht. Grundlegend für dieses Übungsbuch ist das Lehrbuch Makroökonomik, das vom selben Autor im Springer-Verlag vorliegt. Das Übungsbuch lässt sich aber auch unabhängig vom Lehrbuch als Lernhilfe gebrauchen.Die 2. Auflage wurde im Hinblick auf neuere Entwicklungen in der makroökonomischen Theorie und Politik vollständig überarbeitet. So behandelt das Buch auch aktuelle Phänomene moderner Volkswirtschaften wie beispielsweise die ungelösten Arbeitsmarktprobleme und beschäftigungspolitische Strategien zu ihrer Bekämpfung.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Deutsch.