Springer berlin heidelberg sep 2004 (99 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The volume develops a thorough theory of singular fibers of generic differentiable maps. This is the first work that establishes the foundational framework of the global study of singular differentiable maps of negative codimension from the viewpoint of differential topology. The book contains not only a general theory, but also some explicit examples together with a number of very concrete applications. This is a very interesting subject in differential topology, since it shows a beautiful interplay between the usual theory of singularities of differentiable maps and the geometric topology of manifolds. 164 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -UNESCO-Biosphärenreservate stecken 'voller Leben'. Hier setzen Menschen Nachhaltigkeit in die Praxis um: Ökonomische, ökologische, soziale und kulturelle Ziele werden gleichermaßen verfolgt und dabei wertvolle Naturräume erhalten. Damit eröffnen sich die Menschen neue Chancen für heute und tragen Verantwortung für zukünftige Generationen. Was kann spannender sein, als ein Blick auf neue Wege in die Zukunft Die 14 Biosphärenreservate in Deutschland gehören zu einem Weltnetz von 440 Gebieten des UNESCO-Programms 'Der Mensch und die Biosphäre' (MAB). In den 70er Jahren zur Erforschung der Mensch-Umwelt-Beziehung gegründet, werden Biosphärenreservate seit der Rio-Konferenz 1992 zu Modellregionen für eine nachhaltige Entwicklung ausgebaut.Die vorliegende Publikation gibt einen Überblick über die bisherige Entwicklung und die Neuausrichtung des MAB-Programms in Deutschland. Die allgemein gültigen Leitlinien für Schutz, Pflege und Entwicklung dieser Gebiete werden erläutert. Vielfältige Projekt-Beispiele aus Praxis und Wissenschaft zeigen die lebendige Umsetzung des Programms in den deutschen UNESCO-Biosphärenreservaten. 176 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Paris-Princeton Lectures in Financial Mathematics, of which this is the second volume, will, on an annual basis, publish cutting-edge research in self-contained, expository articles from outstanding - established or upcoming! - specialists. The aim is to produce a series of articles that can serve as an introductory reference for research in the field. It arises as a result of frequent exchanges between the finance and financial mathematics groups in Paris and Princeton. This volume presents the following articles: 'Hedging of Defaultable Claims' by T. Bielecki, M. Jeanblanc, and M. Rutkowski; 'On the Geometry of Interest Rate Models' by T. Björk;'Heterogeneous Beliefs, Speculationand Trading in Financial Markets' by J.A. Scheinkman, and W. Xiong. 264 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Welcometotheproceedingsofthe2004EuropeanConferenceonWebServices(ECOWS 2004).ECOWSisoneoftheleadinginternationalconferencesfocusingonWebservices. ECOWS2004wasaforumforresearchersandpractitionersfromacademiaandindustry to exchange information regarding advances in the state of the art and practice of Web services, identify emerging research topics, and de ne the future directions of Web services computing. ECOWS 2004 had a special interest in papers that contribute to the convergence of Web services, Grid computing, e-business and autonomic computing, and papers that apply techniques from one area to another. This conference was called the International Conference on Web Services Europe in 2003. ECOWS 2004 was a sister event of the International Conference onWeb Services 2004 (ICWS 2004), which attracted more than 250 registered participants in San Diego, USA. Web services are characterized by network-based application components and a service-oriented architecture using standard interface description languages and u- form communicationprotocols. Industrial applicationdomainsforWebservicesinclude business-to-business integration, business process integration and management, c- tent management, e-sourcing, composite Web services creation, design collaboration for computer engineering, multimedia communication, digital TV, and interactive Web solutions. Recently, Grid computing has also started to leverage Web services to de ne standard interfaces for business Grid services and generic reusable Grid resources. The program of ECOWS 2004 featured a variety of papers on topics ranging from Web services and dynamic business process composition to Web services and process management,Web services discovery,Web services security,Web services-based app- cations for e-commerce, Web services-based Grid computing, and Web services solu- ons. 316 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Semantic Web o ers new options for information processes. Dr. Visser is dealing with twocore issuesin this area:the integrationofdata onthe sem- tic level and the problem of spatio-temporalrepresentation and reasoning. He tackles existing research problems within the eld of geographic information systems(GIS), thesolutionsofwhichareessentialfor animprovedfunction- ity of applicationsthat makeuse of the Semantic Web (e.g., for heterogeneous digitalmaps).Inaddition,theyareoffundamentalsigni canceforinformation sciences as such. In an introductory overview of this eld of research, he motivates the - cessity for formal metadata for unstructured information in the World Wide Web. Without metadata, an e cient search on a semantic level will turn out to be impossible, above all if it is not only applied to a terminological level but also to spatial-temporal knowledge. In this context, the task of infor- tionintegrationisdividedinto syntactic,structural,andsemanticintegration, the last class by far the most di cult, above all with respect to contextual semantic heterogeneities. A current overview of the state of the art in the eld of information in- gration follows. Emphasis is put particularly on the representation of spatial and temporal aspects including the corresponding inference mechanisms, and also the special requirements on the Open GIS Consortium. 172 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The best informal de nition of the Semantic Web is maybe found in the May 2001Scienti cAmericanarticle'TheSemanticWeb'(Berners-Leeetal. ),which says'TheSemanticWebisanextensionofthecurrentWebinwhichinformation is given well-de ned meaning, better enabling computers and people to work in cooperation. ' People who work on the Semantic Web quite often base their work on the famous 'semantic web tower', a product of Tim Berners-Lee's inspiring drawing on whiteboards. The lowest level is the level of character representation (Unicode) and the identi cation of resources on the Web (URIs). The highest level concerns the problem of trusting information on the Web. Somewhere in the middle of the tower is the logic level. It addresses the problem of represe- ing information on the Web in a way so that inference rules can derive implicit information from explicitly stated information. The workshop 'Principles and Practices of Semantic Web Reasoning' (PPSWR 2004) addressed problems on this level. It took place in September 2004 as a satellite event of the 20th Int- national Conference on Logic Programming (ICLP) in St. Malo, France. After PPSWR 2003 in Mumbai, India, it was the second workshop in this series. This book contains the articles presented at the workshop. 180 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Algorithmic learning theory is mathematics about computer programs which learn from experience. This involves considerable interaction between various mathematical disciplines including theory of computation, statistics, and c- binatorics. There is also considerable interaction with the practical, empirical elds of machine and statistical learning in which a principal aim is to predict, from past data about phenomena, useful features of future data from the same phenomena. The papers in this volume cover a broad range of topics of current research in the eld of algorithmic learning theory. We have divided the 29 technical, contributed papers in this volume into eight categories (corresponding to eight sessions) re ecting this broad range. The categories featured are Inductive Inf- ence, Approximate Optimization Algorithms, Online Sequence Prediction, S- tistical Analysis of Unlabeled Data, PAC Learning & Boosting, Statistical - pervisedLearning,LogicBasedLearning,andQuery&ReinforcementLearning. Below we give a brief overview of the eld, placing each of these topics in the general context of the eld. Formal models of automated learning re ect various facets of the wide range of activities that can be viewed as learning. A rst dichotomy is between viewing learning as an inde nite process and viewing it as a nite activity with a de ned termination. Inductive Inference models focus on inde nite learning processes, requiring only eventual success of the learner to converge to a satisfactory conclusion. 528 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thecentralchallengeoftheoreticalcomputerscienceistodeploymathematicsin waysthatservethecreationofusefulalgorithms. Inrecentyearstherehasbeena growinginterest in the two-dimensionalframework of parameterizedcomplexity, where, in addition to the overall input size, one also considers a parameter,with a focus on how these two dimensions interact in problem complexity. This book presents the proceedings of the 1st InternationalWorkshopon - rameterized and Exact Computation (IWPEC 2004,iwpec. org), which took place in Bergen, Norway, on September 14 16, 2004. The workshop was organized as part of ALGO 2004. There were seven previous workshops on the theory and applications of parameterized complexity. The rst was - ganized at the Institute for the Mathematical Sciences in Chennai, India, in September, 2000. The second was held at Dagstuhl Castle, Germany, in July, 2001. In December, 2002, a workshop on parameterized complexity was held in conjunction with the FST-TCS meeting in Kanpur, India. A second Dagstuhl workshop on parameterized complexity was held in July, 2003. Another wo- shoponthesubjectwasheldinOttawa,Canada,inAugust,2003,inconjunction with the WADS 2003 meeting. There have also been two Barbados workshops on applications of parameterized complexity. In response to the IWPEC 2004 call for papers, 47 papers were submitted, and from these the programcommittee selected 25 for presentation at the wo- shop. Inaddition,invitedlectureswereacceptedbythedistinguishedresearchers Michael Langston and Gerhard Woeginger. 308 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ForewordfromtheProgramChairs These proceedings contain the papers selected for presentation at the 9th - ropean Symposium on Research in Computer Security (ESORICS), held during September 13 15, 2004 in Sophia Antipolis, France. In response to the call for papers 159 papers were submitted to the conference. These papers were evaluated on the basis of their signi cance, novelty,and te- nicalquality. Eachpaper wasreviewedby at leastthree members of the program committee. The program committee meeting was held electronically; there was an intensive discussion over a period of two weeks. Of the papers submitted, 27 were selected for presentation at the conference, giving an acceptance rate lower than 17%. The conference program also included an invited talk. A workshop like this does not just happen; it depends on the volunteer e orts of ahostofindividuals. Thereisalonglistofpeoplewhovolunteeredtheirtimeand energy to put together the workshopand who deserve special thanks. Thanks to all the members of the program committee, and the external reviewers, for all their hardwork in the paper evaluation. Due to the large number of submissions the program committee members were really required to work hard in a short time frame, and we are very thankful to them for the commitment they showed with their active participation in the electronic discussion. 472 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 8th ERCIM Workshop 'User Interfaces for All' was held in Vienna, Austria, on 28-29 June 2004, building upon the results of the seven previous workshops held in Heraklion, Crete, Greece, 30-31 October 1995; Prague, Czech Republic, 7-8 Nov- ber 1996; Obernai, France, 3-4 November 1997; Stockholm, Sweden, 19-21 October 1998; Dagstuhl, Germany, 28 November - 1 December 1999; Florence, Italy, 25-26 October 2000; and Paris (Chantilly), France, 24-25 October 2002. The concept of 'User Interfaces for All' targets a proactive realization of the '- signforall'principleinthe eldofhuman-computerinteraction(HCI),andinvolvesthe developmentof user interfaces to interactiveapplicationsand e-services, which provide universalaccess andusabilityto potentiallyall users. In thetraditionofits predecessors, the 8th ERCIM Workshop 'User Interfaces for All' aimed to consolidate recent work and to stimulate further discussion on the state of the art in 'User Interfaces for All' and its increasing range of applications in the upcoming Information Society. The emphasis of the 2004 event was on 'User-Centered Interaction Paradigms for Universal Access in the Information Society. ' The requirement for user-centered u- versal access stems from the growing impact of the fusion of the emerging techno- gies and from the different dimensions of diversity that are intrinsic to the Information Society. These dimensions become evident when considering the broad range of user characteristics, the changing nature of human activities, the variety of contexts of use, the increasing availability and diversi cation of information, knowledge sources and e-services, the proliferation of technological platforms, etc. 504 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The message passing paradigm is the most frequently used approach to develop high-performancecomputing applications on paralleland distributed computing architectures. Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the two main representatives in this domain. This volume comprises 50 selected contributions presented at the 11th - ropean PVM/MPI Users' Group Meeting, which was held in Budapest, H- gary, September 19-22, 2004. The conference was organized by the Laboratory of Parallel and Distributed Systems (LPDS) at the Computer and Automation Research Institute of the Hungarian Academy of Sciences (MTA SZTAKI). The conference was previously held in Venice, Italy (2003), Linz, Austria (2002), Santorini, Greece (2001), Balatonfu red, Hungary (2000), Barcelona, Spain (1999), Liverpool, UK (1998), and Krakow,Poland (1997).The rst three conferences were devoted to PVM and were held in Munich, Germany (1996), Lyon, France (1995), and Rome, Italy (1994). In its eleventh year, this conference is well established as the forum for users and developers of PVM, MPI, and other messagepassing environments.Inter- tionsbetweenthesegroupshaveprovedtobeveryusefulfordevelopingnewideas in parallel computing, and for applying some of those already existent to new practical elds.Themaintopicsofthe meeting wereevaluationandperformance of PVM and MPI, extensions, implementations and improvements of PVM and MPI, parallel algorithms using the message passing paradigm, and parallel - plications in science and engineering. In addition, the topics of the conference were extended to include cluster and grid computing, in order to re ect the importance of this area for the high-performance computing community. 472 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These are the proceedings of the 8th International Workshop on Cooperative Information Agents (CIA 2004), held at the Fair and Congress Center in - furt, Germany, September 27-29, 2004. It was part of the multi-conference Net. ObjectDays 2004, and, in particular, was co-located with the 2nd German Conference on Multiagent Systems Technologies (MATES 2004). In today's networked world of linked heterogeneous, pervasive computer systems, devices, and information landscapes, the intelligent coordination and provision of relevant added-value information at any time, anywhere, by means of cooperative information agents becomes increasingly important for a variety of applications. An information agent is a computational software entity that has access to one or multiple, heterogeneous, and geographically dispersed data and information sources. It proactively searches for and maintains information on behalf of its human users, or other agents, preferably just in time. In other words,itismanagingandovercomingthedi cultiesassociatedwithinformation overload in open, pervasive information and service landscapes. Cooperative - formation agents may collaborate with each other to accomplish both individual and shared joint goals depending on the actual preferences of their users, b- getary constraints, and resources available. One major challenge of developing agent-based intelligent information systems in open environments is to balance the autonomy of networked data, information, and knowledge sources with the potential payo of leveraging them using information agents. Interdisciplinaryresearchanddevelopmentofinformationagentsrequires- pertise in relevant domains of information retrieval, arti cial intelligence, database systems, human-computer interaction, and Internet and Web techn- ogy. 324 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus necessary to address safety and security. It is furthermore required to take into account the interactions between these two properties. 356 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A large class of computing systems can be speci ed and veri ed by abstracting away from the temporal aspects of their behavior. Inreal-timesystems,instead, time issues become essential. Their correctness depends not only on which - tions they can perform, but also on the action execution time. Due to their importance and design challenges, real-time systems have attracted the att- tion of a considerable number of computer scientists and engineers from various research areas. This volume collects a set of papers accompanying the lectures of the fourth edition of theInternational School on Formal Methods for the Design of C- puter,Communication andSoftware Systems (SFM). The school addressed the use of formal methods in computer science as a prominent approach to the r- orous design of computer, communication and software systems. The main aim of the SFM series is to o er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the eld. SFM-04:RT was devoted to real-time systems. It covered formal models and languagesforthespeci cation,modeling,analysis,andveri cationoftheseti- critical systems, the expressiveness of such models and languages, as well as supporting tools and related applications in di erent domains. 308 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 East European Conference on Advances in Databases and Information Systems, ADBIS 2004, held in Budapest, Hungary, in September 2004.The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on constraint databases, deductive databases, heterogenous and Web information systems, cross enterprise information systems, knowledge discovery, database modeling, XML and semistructured databases, physical database design and query evaluation, transaction management and workflow systems, query processing and data streams, spatial databases, and agents and mobile systems. 440 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1 Thisbookcontainsrefereedandimprovedpaperspresentedatthe5thIAPR - ternational Workshop on Graphics Recognition (GREC 2003). GREC 2003 was held in the Computer Vision Center, in Barcelona (Spain) during July 30-31, 2003. TheGRECworkshopisthemainactivityoftheIAPR-TC10,theTechnical 2 Committee on Graphics Recognition . Edited volumes from the previous wo- shops in the series are available as Lecture Notes in Computer Science: LNCS Volume 1072 (GREC 1995 at Penn State University, USA), LNCS Volume 1389 (GREC 1997 in Nancy, France), LNCS Volume 1941 (GREC 1999 in Jaipur, India), and LNCS Volume 2390 (GREC 2001 in Kingston, Canada). Graphics recognition is a particular eld in the domain of document ana- sis that combines pattern recognition and image processing techniques for the analysis of any kind of graphical information in documents, either from paper or electronic formats. Topics of interest for the graphics recognition community are: vectorization; symbol recognition; analysis of graphic documents with - agrammatic notation like electrical diagrams, architectural plans, engineering drawings, musical scores, maps, etc. ; graphics-based information retrieval; p- formance evaluation in graphics recognition; and systems for graphics recog- tion. Inadditiontotheclassicobjectives,inrecentyearsgraphicsrecognitionhas faced up to new and promising perspectives, some of them in conjunction with other, a ne scienti c communities. Examples of that are sketchy interfaces and on-line graphics recognition in the framework of human computer interaction, or query by graphic content for retrieval and browsing in large-format graphic d- uments, digital libraries and Web applications. Thus, the combination of classic challenges with new research interests gives the graphics recognition eld an active scienti c community, with a promising future. 404 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We were very pleased to once again extend to the delegates and, we are pleased to th say, our friends the warmest of welcomes to the 8 International Conference on Knowledge-Based Intelligent Information and Engineering Systems at Wellington - stitute of Technology in Wellington, New Zealand. The KES conferences attract a wide range of interest. The broad focus of the c- ference series is the theory and applications of computational intelligence and em- gent technologies. Once purely a research field, intelligent systems have advanced to the point where their abilities have been incorporated into many conventional appli- tion areas. The quest to encapsulate human knowledge and capabilities in domains such as reasoning, problem solving, sensory analysis, and other complex areas has been avidly pursued. This is because it has been demonstrated that these abilities have definite practical applications. The techniques long ago reached the point where they are being exploited to provide commercial advantages for companies and real beneficial effects on profits. KES 2004 provided a valuable mechanism for delegates to obtain a profound view of the latest intelligent systems research into a range of - gorithms, tools and techniques. KES 2004 also gave delegates the chance to come into contact with those applying intelligent systems in diverse commercial areas. The combination of theory and practice represents a uniquely valuable opportunity for - preciating the full spectrum of intelligent-systems activity and the 'state of the art'. 1404 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The proceedings of ECML/PKDD 2004 are published in two separate, albeit - tertwined,volumes:theProceedingsofthe 15thEuropeanConferenceonMac- ne Learning (LNAI 3201) and the Proceedings of the 8th European Conferences on Principles and Practice of Knowledge Discovery in Databases (LNAI 3202). The two conferences were co-located in Pisa, Tuscany, Italy during September 20 24, 2004. It was the fourth time in a row that ECML and PKDD were co-located. - ter the successful co-locations in Freiburg (2001), Helsinki (2002), and Cavtat- Dubrovnik (2003), it became clear that researchersstrongly supported the or- nization of a major scienti c event about machine learning and data mining in Europe. We are happy to provide some statistics about the conferences. 581 di erent papers were submitted to ECML/PKDD (about a 75% increase over 2003); 280 weresubmittedtoECML2004only,194weresubmittedtoPKDD2004only,and 107weresubmitted to both.Aroundhalfofthe authorsforsubmitted papersare from outside Europe, which is a clear indicator of the increasing attractiveness of ECML/PKDD. The Program Committee members were deeply involved in what turned out to be a highly competitive selection process. We assigned each paper to 3 - viewers, deciding on the appropriate PC for papers submitted to both ECML and PKDD. As a result, ECML PC members reviewed 312 papers and PKDD PC members reviewed 269 papers. We accepted for publication regular papers (45 for ECML 2004 and 39 for PKDD 2004) and short papers that were as- ciated with poster presentations (6 for ECML 2004 and 9 for PKDD 2004). The globalacceptance ratewas14.5%for regular papers(17% if we include the short papers). 588 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are delighted to present the proceedings of the 7th IFIP/IEEE International Conference on Management of Multimedia Networks & Services (MMNS). The MMNS 2004 conference was held in San Diego, California, USA on October 4 6,2004.Asinpreviousyears,theconferencebroughttogether aninternational audience of researchers and scientists from industry and academia who are - searching and developing state-of-the-art management systems, while creating a public venue for results dissemination and intellectual collaboration. This year marked a challenging chapter in the advancement of management s- tems for the wider management researchcommunity, with the growing compl- ities ofthe Internet, the proliferationof alternativewireless networksandmobile services, intelligent and high-speed networks, scalable multimedia services, and the convergence of computing and communications for data and voice delivery. Contributions from the research community met this challenge with 84 paper submissions; 26 selected high-quality papers were subsequently selected to form the MMNS 2004 technical program. The diverse topics in this year s program included novel protocols in wireless systems, multimedia over wireless, mobility management, multimedia service control, proactive techniques for QoS mana- ment, MPLStra cengineeringandresiliency,distributedsystems management, scalable multimedia systems, and adaptive methods for streaming multimedia. 356 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -AISC 2004, the 7th International Conference on Arti cial Intelligence and S- bolicComputation,wasthelatestintheseriesofspecializedbiennialconferences foundedin1992byJacquesCalmetoftheUniversitat KarlsruheandJohnCa- bell of University College London with the initial title Arti cial Intelligence and Symbolic Mathematical Computing (AISMC).TheM disappeared from the title between the 1996 and 1998 conferences. As the editors of the AISC 1998 p- ceedings said, the organizers of the current meeting decided to drop the adjective mathematical and toemphasize that the conference is concerned with all aspects of symbolic computation in AI: mathematical foundations, implementations, and applications, including applications in industry and academia. This remains the intended pro le of the series, and will gure in the call for papersfor AISC 2006,whichis intended to takeplaceinChina. Thedistribution of papers in the present volume over all the areas of AISC happens to be rather noticeably mathematical, an e ect that emerged because we were concerned to select the best relevant papers that were o ered to us in 2004, irrespective of their particular topics; hence the title on the cover. Nevertheless, we encourage researchersovertheentirespectrumofAISC,asexpressedbythe1998quotation above,to be intouchwith us abouttheir interestsandthe possibility ofeventual submission of papers on their work for the next conference in the series. The papers in the present volume are evidence of the health of the eld of AISC. Additionally, there are two reasons for optimism about the continuation of this situation. 300 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Medical imaging and medical image analysisare rapidly developing. While m- ical imaging has already become a standard of modern medical care, medical image analysis is still mostly performed visually and qualitatively. The ev- increasing volume of acquired data makes it impossible to utilize them in full. Equally important, the visual approaches to medical image analysis are known to su er from a lack of reproducibility. A signi cant researche ort is devoted to developing algorithms for processing the wealth of data available and extracting the relevant information in a computerized and quantitative fashion. Medical imaging and image analysis are interdisciplinary areas combining electrical, computer, and biomedical engineering; computer science; mathem- ics; physics; statistics; biology; medicine; and other elds. Medical imaging and computer vision, interestingly enough, have developed and continue developing somewhat independently. Nevertheless, bringing them together promises to b- e t both of these elds. We were enthusiastic when the organizers of the 2004 European Conference on Computer Vision (ECCV) allowed us to organize a satellite workshop devoted to medical image analysis. 452 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume of the Lecture Notes in Computer Science series contains the set of papers accepted for presentation at the 5th International Workshop on Quality of future Internet Services (QofIS 2004) and at the two one-day workshops - locatedwithQofIS2004,namelythe1stInternationalWorkshoponQoSRouting (WQoSR 2004) and the 4th International Workshop on Internet Charging and QoS Technology (ICQT 2004). QofIS 2004, the fth international event, was organized under the umbrella of the E-NEXT Network of Excellence on Emerging Networking Experiments and Technologies , which started its activities in January 2004. QofIS 2004 took place on September 29 30, 2004 at the Telef onica premises in Barcelona, and was arranged by the Universitat Polit` ecnica de Catalunya (UPC). QofIS 2004 in Barcelona followed the highly successful workshops in Stockholm in 2003, Zuric h in2002,Coimbrain2001,andBerlinin2000.ThepurposeofQofIS2004,asofall QofIS events, was to present and discuss design and implementation techniques for providing quality of service in the Internet. Theimpactofemergingterminals,mobilityandembeddedsystemsiscreating a new environment where networks are ambient. New challenges are opened by this new space where networks of interest ranging from personal networks to large-scale application networks need to be designed and often integrated. Protocol mechanisms for supporting quality of service at the di erent layers of thenetworksneedtobeassessedandeventuallyredesignedinsuchenvironments. In this context, the focus of the QofIS 2004 workshop was on the provisioning of Quality of Service in the Emerging Networking Panorama, assessed by results of experiments carried out in simulation platforms and test-beds, and given the progressive irruption of optical technologies. 412 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is a documentation of the main results in the research area In- gration of Software Speci cation Techniques for Applications in Engineering . On one hand it is based on the Priority Program Integration von Techniken der Softwarespezi kation fur ingenieurwissenschaftliche Anwendungen , short Soft- Spez,oftheGermanResearchCouncil(DFG). Ontheotherhanditcontainsnew contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on Integration of Sp- i cation Techniques for Applications in Engineering . INT 2004 was launched as a satellite event of ETAPS in Barcelona, the European Joint Conferences on Theory and Practice of Software . The Priority Program SoftSpez was initiated by W. Brauer, M. Broy, H. Ehrig, H. J. Kreowski, H. Reichel, and H. Weber concerning di erent aspects from computer science, and by E. Schnieder and E. Westk amper concerning two main application areas in engineering, namely Tra c Control Systems and Production Automation . After acceptance of SoftSpez by the German Research Council for the period of 1998 2004 a call for speci c projects within this priority program was launched, where 11 projects from about 75 project proposals were accepted for a period of two years. Since 1998 each year the main research proposals and results of the projects have been presented at an annual colloquium of the priority program, and every two years the projects have been evaluated by an independent group of referees appointed by the G- man Research Council. At this point we would like to thank A. 644 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Arti cial Immune Systems have come of age. They are no longer an obscure computersciencetechnique,workedonbyacoupleoffarsightedresearchgroups. Today, researchers across the globe are working on new computer algorithms inspired by the workings of the immune system. This vigorous eld of research investigates how immunobiology can assist our technology, and along the way is beginning to help biologists understand their unique problems. AIS is now old enough to understand its roots, its context in the research community, and its exciting future. It has grown too big to be con ned to s- cial sessions in evolutionary computation conferences. AIS researchers are now forming their own community and identity. The International Conference on Arti cial Immune Systems is proud to be the premiere conference in the area. As its organizers, we were honored to have such a variety of innovative and original scienti c papers presented this year. ICARIS 2004 was the third international conference dedicated entirely to the eld of Arti cial Immune Systems (AIS). It was held in Catania, on the beautiful island of Sicily, Italy, during September 13-16, 2004. While hosting the conference, the city of Catania gave the participants the opportunity to enjoy the richness of its historical and cultural atmosphere and the beauty of its natural resources, the sea, and the Etna volcano. 460 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 First International Conference on Grid Services Engineering and Management, GSEM 2004, held in Erfurt, Germany, in September 2004.The 11 revised full papers presented were carefully reviewed and selected from 21 submissions. The papers are organized in topical sections on grid service architecture, grid service composition, service security, and grid service management. 180 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -On behalf of the Program Committee, it is our pleasure to present to you the proceedings of the 7th Symposium on Recent Advances in Intrusion Detection (RAID 2004), which took place in Sophia-Antipolis, French Riviera, France, September 15-17, 2004. The symposium brought together leading researchers and practitioners from academia, government and industry to discuss intrusion detection from research as well as commercial perspectives. We also encouraged discussions that - dressed issues that arise when studying intrusion detection, including infor- tion gathering and monitoring, from a wider perspective. Thus, we had sessions on detection of worms and viruses, attack analysis, and practical experience reports. The RAID 2004 Program Committee received 118 paper submissions from all over the world. All submissions were carefully reviewed by several members of the Program Committee and selection was made on the basis of scienti c novelty, importance to the eld, and technical quality. Final selection took place at a meeting held May 24 in Paris, France. Fourteen papers and two practical experience reports were selected for presentation and publication in the conf- ence proceedings. In addition, a number of papers describing work in progress were selected for presentation at the symposium. The keynote addresswas given by Bruce Schneier of Counterpane Systems. H akan Kvarnstrom of TeliaSonera gave an invited talk on the topic 'Fighting Fraud in Telecom Environments. ' A successful symposium is the result of the joint e ort of many people. 332 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the refereed proceedings of the rst edition of three wo- shops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE). The workshops took place in Toledo (Spain) on the 1st and 2nd of October of 2004, and they dealt with d- ferent topics related to the application of formal methods. The names of the workshops were the following: TheFormEMC: 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce EPEW: 1st European Performance Engineering Workshop ITM: 1st International Workshop on Integration of Testing Methodologies In total, the calls for papers of the workshops attracted 62 high-quality s- missions. The program committees of the workshops selected 27 papers after a rigorous review process in which every paper was reviewed by at least three - viewers. In these proceedings,the papersaregrouped accordingto the workshop they belong to. In addition to the selected papers, there was a keynote speech by Prof. Rob Pooley, from the Heriot-Watt University, UK. We wantto express our gratitude for their nancial support both to the U- versidaddeCastilla-LaManchaandtotheJuntadeComunidadesdeCastilla-La Mancha. Besides, we are in debt to all the authors who submitted high-quality papers to the workshops: Without their e ort and interest, it would have been impossible to organize the workshops. We would also like to thank the program committee members of the three workshops for their collaboration during the reviewing process. 400 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Based on the Net.ObjectDays tradition of bringing together researchers from academia and industry on the one hand and system architects, developers, and users fromindustry andadministrationon the other hand, this year sconference took an international research perspective, so that we see the rst volume of Net.ObjectDays main conference proceedings published in the Springer Lecture Notes in Computer Science series. This volume consists of 16 papers carefully selected in a rigorous reviewing process by an international program committee; to provide a concise overview, these papers are brie y described. In the Languages and Models session, Beate Ritterbach proposes a new l- guage element for object-oriented programming languages that supports ar- trary value types. In her contribution Support for Value Types in an Object- OrientedProgramming Language shedescribesthecorrespondingkeywords,s- tax, and consistency checks, thereby giving an impression of the look and feel of value types from an application programmer s perspective. Walter Binder and Jarle Hulaas look at portable CPU accounting and control in Java, which is based on program transformation techniques. In their paper Self-accounting as Principle for Portable CPU Control in Java periodically the threads of an application component aggregate the information of their respective CPU c- sumption within a shared account; scheduling functions make sure applications do not exceed their allowed CPU share. 252 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Machine Learning has become a key enabling technology for many engineering applications, investigating scientific questions and theoretical problems alike. To stimulate discussions and to disseminate new results, a summer school series was started in February 2002, the documentation of which is published as LNAI 2600.This book presents revised lectures of two subsequent summer schools held in 2003 in Canberra, Australia, and in Tübingen, Germany. The tutorial lectures included are devoted to statistical learning theory, unsupervised learning, Bayesian inference, and applications in pattern recognition; they provide in-depth overviews of exciting new developments and contain a large number of references.Graduate students, lecturers, researchers and professionals alike will find this book a useful resource in learning and teaching machine learning. 256 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 2004 Information Security Conference was the seventh in a series that started with the Information Security Workshop in 1997. A distinct feature of this series is the wide coverage of topics with the aim of encouraging interaction between researchers in di erent aspects of information security. This trend c- tinuedintheprogramofthisyear'sconference.Theprogramcommitteereceived 106 submissions, from which 36 were selected for presentation. Each submission was reviewed by at least three experts in the relevant research area. We would liketothankalltheauthorsfortakingtheirtimetopreparethesubmissions,and wehopethatthosewhosepapersweredeclinedwillbeableto ndanalternative forum for their work. We were fortunate to have an energetic team of experts who took on the task of the program committee. Their names may be found overleaf, and we thank them warmly for their time and e orts. This team was helped by an even larger number of external reviewers who reviewed papers in their particular areas of expertise. A list of these names is also provided, which we hope is complete. We would also like to thank the advisory committee for their advice and s- port.TheexcellentlocalarrangementswerehandledbyDirkBalfanzandJessica Staddon. We made use of the electronic submission and reviewing software s- plied by COSIC at the Katholieke Universiteit Leuven. Both the software and the ISC 2004 website were run on a server at UNC Charlotte, and were perfectly maintained by Seung-Hyun Im. We also appreciate assistance from Lawrence Teo in editing the proceedings. 460 pp. Englisch.…