Springer berlin heidelberg jun 2009 (152 risultati)

Taschenbuch. Condizione: Neu. Neuware -Majoreconomicupheavalscanhavethesortofe ectthatSchumpeterforesaw60 yearsagoascreativedestruction.Inscienceandtechnology,equivalentupheavals resultfromeitherscienti crevolutions(asobservedbyKuhn)ortheintroduction of what Christensen calls disruptive technologies. And in software engineering, there has been no technology more disruptive than outsourcing. That it should so quickly reach maturity and an unparalleled scale is truly remarkable; that it should now be called to demonstrate its sustainability in the current nancial turmoil is the challenge that will prove whether and how it will endure. Early signs under even the bleak market conditions of the last 12 months are that it will not only survive, it will rmly establish its role across the world of business. Outsourcing throws into sharp focus the entire software engineering life- cle. Topics as diverse as requirements analysis, concurrency and model-checking need to nd a composite working partnership in software engineering practice. This con uence arises from need, not dogma, and the solutions required are those that will have the right e ect on the associated activities in the world of the application: e.g., reducing the time for a transaction or making the results of a complex analysis available in real-time. While the business of outsourcing continues to be studied, the engineering innovations that make it compelling are constantly changing. It is in this milieu that this series of conferences has placed itself. 224 pp. Englisch.…

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refeered proceedings of the 21st International Conference on Information Processing in Medical Imaging, IPMI 2009, held in Williamsburg, VA, USA, in July 2009 The 26 revised full papers and 33 revised poster papers presented were carefully reviewed and selected from 150 submissions. The papers are organized in topical sections on diffusion imaging, PET imaging, image registration, functional networks, space curves, tractography, microscopy, exploratory analyses, features and detection, image guided surgery, shape analysis, motion, and segmentation and validation. 748 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Second International Conference on Forensic Applications and Techniques in Telecommunications, Information and Multimedia (e-Forensics 2009) took place in Adelaide, South Australia during January 19-21, 2009, at the Australian National Wine Centre, University of Adelaide. In addition to the peer-reviewed academic papers presented in this volume, the c- ference featured a significant number of plenary contributions from recognized - tional and international leaders in digital forensic investigation. Keynote speaker Andy Jones, head of security research at British Telecom, outlined the emerging challenges of investigation as new devices enter the market. These - clude the impact of solid-state memory, ultra-portable devices, and distributed storage - also known as cloud computing. The plenary session on Digital Forensics Practice included Troy O'Malley, Que- sland Police Service, who outlined the paperless case file system now in use in Que- sland, noting that efficiency and efficacy gains in using the system have now meant that police can arrive at a suspect's home before the suspect! Joseph Razik, represe- ing Patrick Perrot of the Institut de Recherche Criminelle de la Gendarmerie Nati- ale, France, summarized research activities in speech, image, video and multimedia at the IRCGN. The plenary session on The Interaction Between Technology and Law brought a legal perspective to the technological challenges of digital forensic investigation. 224 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the First International Conference on User Modeling, Adaptation, and Personalization, held in Trento, Italy, on June 22-26, 2009. This annual conference was merged from the biennial conference series User Modeling, UM, and the conference on Adaptive Hypermedia and Adaptive Web-Based Systems, AH. The 53 papers presented together with 3 invited talks were carefully reviewed and selected from 125 submissions. The tutorials and workshops were organized in topical sections on constraint-based tutoring systems; new paradigms for adaptive interaction; adaption and personalization for Web 2.0; lifelong user modelling; personalization in mobile and pervasive computing; ubiquitous user modeling; user-centred design and evaluation of adaptive systems. 488 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -the virtually unlimited possibilities of modern information and communication technology. Future enterprises will therefore have to operate in an ever more dynamic and global environment. They need to be more agile, more adaptive, and more transparent. In addition, they will be held more publicly accountable for every e ect they produce. These challenges are traditionally addressed by black-box thinking-based knowledge, i.e., knowledge concerning the function and the behavior of ent- prises, as contained in the organizational sciences. Such knowledge is su cient, and perfectly adequate, for managing an enterprise (within the range of c- trol). However, it is de nitely inadequate for changing an enterprise. In order to bring about changes, white-box-based knowledge is needed, i.e., knowledge concerning the construction and the operation of enterprises. Developing and applying such knowledge requires no less than a paradigm shift in our thi- ing about enterprises, since the organizational sciences are dominantly oriented toward organizational behavior, based on black-box thinking. 228 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 4th International Workshop on Enterprise Applications and Services in the Finance Industry, FinanceCom2008, held in Paris, France, on December 13, 2008. The workshop spans multiple disciplines, including technical, economic, sociological and behavioral sciences. The guiding theme of this workshop was concerned with innovations in the financial services industry, driven by either new business models or changed regulations. The nine presented papers and the keynote speech were carefully reviewed and selected from numerous submissions. The topics covered are financial markets and customers, service-oriented architectures, and regulation and compliance. 176 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed procedings of the 6th International Conference on Autonomic and Trusted Computing, ATC 2009, held in Brisbane, Australia, in July 2009, co-located with UIC 2009, the 6th International Conference on Ubiquitous Intelligence and Computing.The 17 revised full papers presented together with one invited paper and one keynote talk were carefully reviewed and selected from 52 submissions. The regular papers are organized in topical sections on organic and autonomic computing, trusted computing, wireless sensor networks, and trust. 288 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The two-volume set LNCS 5601 and LNCS 5602 constitutes the refereed proceedings of the Third International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2009, held in Santiago de Compostela, Spain, in June 2009. The 108 revised papers presented are thematically divided into two volumes. The first volume includes papers relating the most recent collaborations with Professor Mira and contributions mainly related with theoretical, conceptual and methodological aspects linking AI and knowledge engineering with neurophysiology, clinics and cognition. The second volume contains all the contributions connected with biologically inspired methods and techniques for solving AI and knowledge engineering problems in different application domains. 556 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is our great pleasure to introduce the proceedings of the 20th anniversary edition of the Annual Symposium on Combinatorial Pattern Matching (CPM). The meeting was held in Lille, France,hosted by the Laboratoired Informatique Fondamentale de Lille (LIFL) a liated with the Universit e de Lille 1 and the French Centre National de Recherche Scienti que (CNRS), as well as by INRIA Lille - Nord Europe. Started in 1990as a summer school with about 30 invited participants, CPM quicklyevolvedintoarepresentativeannualinternationalconference.Principally motivated by combinatorial algorithms for search problems in strings (texts, sequences), the scope of CPM extended to more complex data structures such astrees,graphs,two-dimensionalarrays,or setsof points.Thosestudiesresulted inarichcollectionofalgorithmictechniquesanddatastructures,makingbridges to other parts of the theory of discrete algorithms and algorithm engineering. Today, the area of combinatorial pattern matching is a well-identi ed active sub eld of algorithmic research. Importantly, this development has been fertilized by a number of major - plication areas providing direct motivations and fruitful feedback to the CPM problematics. Those applications include data compression, computational bi- ogy,Internetsearch,datamining,informationretrieval,coding,naturallanguage processing,pattern recognition,music analysis, and others. On the one hand, all these areas make use of combinatorial pattern matching techniques and, on the otherhand,raisenewpatternmatchingproblems.Forexample,the fastprogress in computational molecular biology, triggered in the 1990s by the availability of mass genomic data, considerably in uenced the combinatorial pattern matching eld: as an illustration, about one-third of the papers presented in this volume deal with problems related to bioinformatics applications. 388 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In a rst approximation, certainly rough, one can de ne as non-crystalline materials those which are neither single-crystals nor poly-crystals. Within this category, we canincludedisorderedsolids,softcondensed matter,andlivesystemsamong others. Contrary to crystals, non-crystalline materials have in common that their intrinsic structures cannot be exclusively described by a discrete and periodical function but by a continuous function with short range of order. Structurally these systems have in common the relevance of length scales between those de ned by the atomic and the macroscopic scale. In a simple uid, for example, mobile molecules may freely exchange their positions, so that their new positions are permutations of their old ones. By contrast, in a complex uid large groups of molecules may be interc- nected so that the permutation freedom within the group is lost, while the p- mutation between the groups is possible. In this case, the dominant characteristic length, which may de ne the properties of the system, is not the molecular size but that of the groups. A central aspect of some non-crystalline materials is that they may self-organize. This is of particular importance for Soft-matter materials. Self-organization is characterized by the spontaneous creation of regular structures at different length scales which may exhibit a certain hierarchy that controls the properties of the system. X-ray scattering and diffraction have been for more than a hundred years an essential technique to characterize the structure of materials. Quite often scattering anddiffractionphenomenaexhibitedbynon-crystallinematerialshavebeenreferred to as non-crystalline diffraction. 336 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th International Symposium on Software Composition, SC 2009, held in Zurich, Switzerland, in July 2009. The workshop has been organized as an event co-located with the TOOLS Europe 2009 conference. The 10 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 34 submissions. The papers reflect current research in software composition to foster developing of composition models and techniques by using aspect- and service-oriented programming, specification of component contracts and protocols, methods of correct components composition, as well as verification, validation and testing techniques - even in pervasive computing environments and for the Web. 188 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Web Engineering, ICWE 2009, held in San Sebastian, Spain in June 2009. The 22 revised full papers and 15 revised short papers presented together with 8 posters and 10 demonstration papers were carefully reviewed and selected from 90 submissions. The papers are organized in topical sections on accessibility and usability, component-based web engineering: portals and mashups, data and semantics, model-driven web engineering, navigation, process, planning and phases, quality, rich internet applications, search, testing, web services, SOA and REST, and web 2.0. 556 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The two-volume set LNCS 5601 and LNCS 5602 constitutes the refereed proceedings of the Third International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2009, held in Santiago de Compostela, Spain, in June 2009. The 108 revised papers presented are thematically divided into two volumes. The first volume includes papers relating the most recent collaborations with Professor Mira and contributions mainly related with theoretical, conceptual and methodological aspects linking AI and knowledge engineering with neurophysiology, clinics and cognition. The second volume contains all the contributions connected with biologically inspired methods and techniques for solving AI and knowledge engineering problems in different application domains. 556 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2008, held in Warsaw, Poland, in November 2008. The 48 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on image processing, image quality assessment, geometrical models of objects and scenes, motion analysis, visual navigation and active vision, image and video coding, virtual reality and multimedia applications, biomedical applications, practical applications of pattern recognition, computer animation, visualization and graphical data presentation. 516 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009. The 19 revised papers classified as theory papers (13), application papers (1), and tool papers (5) were carefully reviewed and selected from 46 submissions. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed, novel tools as well as substantial enhancements to existing tools are presented. 368 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Since 1993 the conference Developments in Language Theory (DLT) has been held in Europe every odd year and, since 2002, outside Europe every even year. The 13th conference in this series was DLT 2009. It took place in Stuttgart fromJune30to July3.PreviousmeetingsoccurredinTurku(1993),Magdeburg (1995),Thessaloniki(1997),Aachen(1999),Vienna(2001),Kyoto(2002),Szeged (2003), Auckland (2004), Palermo (2005), Santa Barbara (2006), Turku (2007), and Kyoto (2008). The DLT conference has developed into the main forum for language theory and related topics. This has also been re ected in the high quality of the 70 s- missions received in 2009. Most submissions were reviewed by four Programme Committeemembersandtheirsub-referees.TheProgrammeCommitteeselected the best 35 papers for presentation during the conference. These 35 papers are also published in this proceedings volume. Members of the ProgrammeComm- tee were not allowed to submit papers. The work of the Programme Committee wasorganizedusingtheEasyChairconferencesystem,thankstoAndreiVoronkov. The conference programme included ve invited lectures. They were given by Mikola j Bojanczyk (Warsaw), Paul Gastin (Cachan), Tero Harju (Turku), ChristosKapoutsis(Nicosia),andBenjaminSteinberg(Ottawa).Wearegrateful to the invited speakers for accepting the invitation and presenting their lectures and for their contributions to the proceedings. The Informatik Forum Stuttgart provided a best paper award, which was selected by the Programme Committee. The recipient was: Magic Numbers and Ternary Alphabet by Galina Jiraskova. 520 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools. 308 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed papers of the 14th International Conference on Implementation and Application of Automata, CIAA 2009, held in Sydney, Austrialia, in July 2009.The 23 revised full papers togehter with 6 short papers were carefullyselected from42 submissions. The papers cover various topics in the theory, implementation, and applications of automata and related structures. 276 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 2009 Australasian Conference on Information Security and Privacy was the 14th in an annual series that started in 1996. Over the years ACISP has grown froma relativelysmall conferencewith a largeproportionof paperscoming from Australia into a truly international conference with an established reputation. ACISP 2009 was held at Queensland University of Technology in Brisbane, d- ing July 1-3, 2009. This year there were 106 paper submissions and from those 30 papers were accepted for presentation, but one was subsequently withdrawn. Authors of - cepted papers came from 17 countries and 4 continents, illustrating the inter- tional avorof ACISP. We would like to extend our sincere thanks to all authors who submitted papers to ACISP 2009. The contributed papers were supplemented by two invited talks from e- nent researchers in information security. Basie von Solms (University of Joh- nesburg), currently President of IFIP, raised the question of how well dressed is the information security king. L. Jean Camp (Indiana University) talked about how to harden the network from the friend within. We are grateful to both of them for sharing their extensive knowledge and setting challenging questions for the ACISP 2009 delegates. We were fortunate to have an energetic team of experts who formed the Program Committee. Their names may be found overleaf, and we thank them warmly for their considerable e orts. This team was helped by an even larger number of individuals who reviewedpapers in their particularareasof expertise. 484 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th International Conference on Rewriting Techniques and Applications as part of RDP 2009, the 5th International Conference on Rewriting, Deduction, and Programming. The 27 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 53 submissions. The papers present original research results that are broadly relevant to the theory and applications of typed calculi and address a wide variety of topics such as proof-theory, semantics, implementation, types, and programming. 432 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings are a record of the Multiple Classi er Systems Workshop, MCS 2009, held at the University of Iceland, Reykjavik, Iceland in June 2009. Being the eighth in a well-established series of meetings providing an inter- tional forum for the discussion of issues in multiple classi er system design, the workshop achieved its objective of bringing together researchers from diverse communities (neural networks,pattern recognition,machine learning and stat- tics) concerned with this research topic. From more than 70 submissions, the Program Committee selected 54 papers to create an interesting scienti c program. The special focus of MCS 2009 was on the application of multiple classi er systems in remote sensing. This part- ular application uses multiple classi ers for raw data fusion, feature level fusion and decision level fusion. In addition to the excellent regular submission in the technical program, outstanding contributions were made by invited speakers Melba Crawford from Purdue University and Zhi-Hua Zhou of Nanjing Univ- sity. Papers of these talks are included in these workshop proceedings. With the workshop'sapplicationfocusbeingonremotesensing,Prof.Crawford'sexpertise in the use of multiple classi cation systems in this context made the discussions on this topic at MCS 2009 particularly fruitful. 556 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed proceedings of the 47th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2009, held in Zurich, Switzerland, in June/July 2009. TOOLS has played a major role in the spread of object-oriented and component technologies. It has now broadened its scope beyond the original topics of object technology and component-based development to encompass all modern, practical approaches to software development. At the same time, TOOLS has kept its traditional spirit of technical excellence, its acclaimed focus on practicality, its well-proven combination of theory and applications, and its reliance on the best experts from academia and industry.The17 regularpapers and two short papers presented in this book, together with two invited papers,were carefully reviewed and selected from 67 submissions. The topics covered in this volume are reflection and aspects, models, theory, components, monitoring, and systems generation. 384 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -- Semantic caching - Data warehousing and semantic data mining - Spatial, temporal, multimedia and multimodal semantics - Semantics in data visualization - Semantic services for mobile users - Supporting tools - Applications of semantic-driven approaches These topics are to be understood as specifically related to semantic issues. Contributions submitted to the journal and dealing with semantics of data will be considered even if they are not from the topics in the list. While the physical appearance of the journal issues is like the books from the well-known Springer LNCS series, the mode of operation is that of a journal. Contributions can be freely submitted by authors and are reviewed by the Editorial Board. Contributions may also be invited, and nevertheless carefully reviewed, as in the case for issues that contain extended versions of the best papers from major conferences addressing data semantics issues. Special issues, focusing on a specific topic, are coordinated by guest editors once the proposal for a special issue is accepted by the Editorial Board. Finally, it is also possible that a journal issue be devoted to a single text. The Editorial Board comprises an Editor-in-Chief (with overall responsibility), a Coeditor-in-Chief, and several members. The Editor-in-Chief has a four-year mandate. Members of the board have a three-year mandate. Mandates are renewable and new members may be elected at any time. We are happy to welcome you to our readership and authorship, and hope we will share this privileged contact for a long time. 196 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -SSTD 2009 was the 11th in a series of biannual events that discuss new and exciting research in spatio-temporal data management and related technologies. PrevioussymposiaweresuccessfullyheldinSantaBarbara(1989),Zurich(1991), Singapore (1993), Portland (1995), Berlin (1997), Hong Kong (1999), Los An- les (2001), Santorini, Greece (2003), Angra dos Reis, Brazil (2005), and Boston (2007). Before 2001, the series was devoted solely to spatial database mana- ment, and called SSD. From 2001, the scope was extended in order to also accommodate temporal database management, in part due to the increasing importance of research that considers spatial and temporal aspects jointly. SSTD2009introducedseveralinnovativeaspectscomparedtopreviousevents. There was a demonstrations track which included ten presentations of systems related to the topics of interest. In addition to that, the event included a poster session with seven presentations of innovative research developed at an early stage. For the rst time in the SSTD series, the best paper of the symposium was awarded and a few high-quality papers were selected and the authors were invited to submit extended versionsof their work to a special issue of the Geo- formatica journal (Springer). Prior to the symposium, there was a two-day - vanced seminar, which hosted three half-day tutorials on state-of-the-art topics within spatio-temporal data management, held by distinguished international researchers. 480 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of UIC 2009, the 6th International C- ference on Ubiquitous Intelligence and Computing: Building Smart Worlds in Real and Cyber Spaces. The UIC 2009 conference was technically co-sponsored by the IEEE and the IEEE Computer Society Technical Committee on Scalable Computing. The conference was also sponsored by the Australian Centre of - cellence in Information and Communication Technologies (NICTA). UIC 2009 was accompanied by six workshops on a variety of research challenges within the area of ubiquitous intelligence and computing. The conference was held in Brisbane, Australia, July 7-9, 2009. The event was the sixth meeting of this conference series. USW 2005 (First International Workshop on Ubiquitous Smart World), held in March 2005 in Taiwan, was the rst event in the series. This event was followed by UISW 2005 (Second International Symposium on Ubiquitous Intelligence and Smart Worlds) held in December 2005 in Japan. Since 2006, the conference has been held annually under the name UIC (International Conference on Ubiquitous Intelligence and Computing). UIC 2006 was held in September 2006 in Wuhan andThreeGorges,China,followedbyUIC2007heldinJuly2007inHongKong, and UIC 2008 held in June 2008 in Oslo, Norway. Ubiquitous sensors,computers, networksand informationare paving the way towardasmartworldinwhichcomputationalintelligenceisdistributedthrou- out the physical environment to provide reliable and relevant services to people. 408 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Case-Based Reasoning, ICCBR 2009, held in Seattle, WA, USA, in July 2009.The 17 revised full papers and 17 revised poster papers presented together with 2 invited talks were carefully reviewed and selected from 55 submissions. Covering a wide range of CBR topics of interest both to practitioners and researchers, the papers are devoted to theoretical/methodological as well as to applicative aspects of current CBR analysis. 544 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -How can our societies be stabilized in a crisis Why can we enjoy and understand Shakespeare Why are fruitflies uniform Howdo omnivorous eating habits aid our survival What makes the Mona Lisa's smile beautiful How do women keep our social structures intact - Could there possibly be a single answer to allthese questions This book shows that the statement: 'weak links stabilize complex systems' provides thekey tounderstandingeach oftheseintriguing puzzles, and many more besides. The author, a recipient of several distinguished science communication prizes, explains weak or low probability interactions, and uses them as connecting threads in a vast variety of networks from proteins to ecosystems. This unique book and the ideas it develops will have a significant impact on diverse, seemingly unrelated fields of study. 432 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nowadays, there is software everywhere in our life. It controls cars, airplanes, factories, medical implants. Without software, banking, logistics and transportation, media, and even scientific research would not function in the accustomed way. Building and maintaining software is a knowledge-intensive endeavour and requires that specific experiences are handled successfully. However, neither knowledge nor experience can be collected, stored, and shipped like physical goods, instead these delicate resources require dedicated techniques. Knowledge and experience are often called company assets, yet this is only part of the truth: it is only software engineers and other creative employees who will effectively exploit an organisation's knowledge and experience. Kurt Schneider's textbook is written for those who want to make better use of their own knowledge and experience - either personally or within their group or company. Everyone related to software development will benefit from his detailed explanations and case studies: project managers, software engineers, quality assurance responsibles, and knowledge managers. His presentation is based on years of both practical experience, with companies such as Boeing, Daimler, and Nokia, and research in renowned environments, such as the Fraunhofer Institute. Each chapter is self-contained, it clearly states its learning objectives, gives in-depth presentations, shows the techniques' practical relevance in application scenarios, lists detailed references for further reading, and is finally completed by exercises that review the material presented and also challenge further, critical examinations. The overall result is a textbook that is equally suitable as a personal resource for self-directed learning and as the basis for a one-semester course on software engineering and knowledge management. 252 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of future software systems that are able to self-adapt to changes that may occur in the system, its requirements, or the environment in which it is deployed. The 12 carefully reviewed papers included in this state-of-the-art survey originate from the International Seminar on Software Engineering for Self-Adaptive Systems, held in Dagstuhl Castle, Germany, in January 2008. They examine the current state-of-the-art in the field, describing a wide range of approaches coming from different strands of software engineering, and present future challenges facing this ever-resurgent and challenging field of research. Also included in this book is an invited roadmap paper on the research challenges facing self-adaptive systems within the area of software engineering, based on discussions at the Dagstuhl Seminar and put together by several of its participants. The papers have been divided into topical sections on architecture-based self-adaptation, context-aware and model-driven self-adaptation, and self-healing. These are preceded by three research roadmap papers. 272 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP 2009, held in Pasadena, CA, USA, in July2009. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium articles were carefully reviewed and selected from 69 initial submissions. The papers cover all issues of current research in logic programming, namely semantic foundations, formalisms, nonmonotonic reasoning, knowledge representation, compilation, memory management, virtual machines, parallelism, program analysis, program transformation, validation and verification, debugging, profiling, concurrency, objects, coordination, mobility, higher order, types, modes, programming techniques, abductive logic programming, answer set programming, constraint logic programming, inductive logic programming, alternative inference engines and mechanisms, deductive databases, data integration, software engineering, natural language, web tools, internet agents, artificial intelligence, bioinformatics. 564 pp. Englisch.…