Springer berlin heidelberg sep 2003 (168 risultati)

Taschenbuch. Condizione: Neu. Neuware -Focuses on a recent approach to adiabatic perturbation theory, which emphasizes the role of effective equations of motion and the separation of the adiabatic limit from the semiclassical limit. A detailed introduction gives an overview of the subject and makes the later chapters accessible also to readers less familiar with the material. Although the general mathematical theory based on pseudodifferential calculus is presented in detail, there is an emphasis on concrete and relevant examples from physics. Applications range from molecular dynamics to the dynamics of electrons in a crystal and from the quantum mechanics of partially confined systems to Dirac particles and nonrelativistic QED. 248 pp. Englisch.…

Taschenbuch. Condizione: Neu. Neuware -Bereits in 6. Auflage präsentiert das erfolgreiche Lehrbuchden Kanon der Analysis einer Veränderlichen. Durch die zahlreichen Beispiele und und Übungsaufgaben mit Lösungen eignet es sich bestens als Begleit-Literatur zu einer Vorlesung, zum Selbststudium und zur Prüfungsvorbereitung. Die vielen historischen Anmerkungen und eingestreuten Perlen der klassischen Analysis geben diesem Lehrbuch seinen besonderen Reiz.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Deutsch.…

Buch. Condizione: Neu. Neuware -Der Band behandelt Grundfragen und zentrale Themen der Informatikgeschichte in Beiträgen von herausragenden Pionieren, von in Theoriefragen engagierten Informatikern und namhaften Technikhistorikern. Der Band kreist um Leitideen und Paradigmen der Informatik, wobei die Visionen einer 'Universalmaschine', einer 'Universalsprache', eines 'Universalmediums' und einer 'Universalwissenschaft' sich leitmotivisch durch die Beiträge ziehen. Der Band löst sich von der engen Computergeschichte und arbeitet so bisher unterbelichtete Innovationsleistungen der deutschen und europäischen Informatik- und Computer-Community heraus. Er gibt der Zuse-Forschung neue Anstöße und bietet neue Einblicke in die Geschichte der Rechnerarchitektur, der Programmierung und Programmiersprachen und der Mensch-Computer-Beziehung. Der Band ist reichhaltig mit instruktiven Abbildungen illustriert und zeigt sich als Extrakt eines über viele Jahre gehenden Generationen- und Disziplinen-übergreifenden Geschichts- und Theorie-Diskurses.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 528 pp. Deutsch.…

Buch. Condizione: Neu. Neuware -Der Band behandelt Grundfragen und zentrale Themen der Informatikgeschichte in Beiträgen von herausragenden Pionieren, von in Theoriefragen engagierten Informatikern und namhaften Technikhistorikern. Der Band kreist um Leitideen und Paradigmen der Informatik, wobei die Visionen einer 'Universalmaschine', einer 'Universalsprache', eines 'Universalmediums' und einer 'Universalwissenschaft' sich leitmotivisch durch die Beiträge ziehen. Der Band löst sich von der engen Computergeschichte und arbeitet so bisher unterbelichtete Innovationsleistungen der deutschen und europäischen Informatik- und Computer-Community heraus. Er gibt der Zuse-Forschung neue Anstöße und bietet neue Einblicke in die Geschichte der Rechnerarchitektur, der Programmierung und Programmiersprachen und der Mensch-Computer-Beziehung. Der Band ist reichhaltig mit instruktiven Abbildungen illustriert und zeigt sich als Extrakt eines über viele Jahre gehenden Generationen- und Disziplinen-übergreifenden Geschichts- und Theorie-Diskurses. 528 pp. Deutsch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Generic programming attempts to make programming more efficient by making it more general. This book is devoted to a novel form of genericity in programs, based on parameterizing programs by the structure of the data they manipulate.The book presents the following four revised and extended chapters first given as lectures at the Generic Programming Summer School held at the University of Oxford, UK in August 2002:- Generic Haskell: Practice and Theory- Generic Haskell: Applications- Generic Properties of Datatypes- Basic Category Theory for Models of Syntax 240 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the 9th International Workshop on Groupware (CRIWG 2003). The conference was held in the city of Autrans, on the spectacular Vercors plateau in the foothills of the French Alps. The or- nizing committee could not have thought of a better setting to inspire lively discussions and re ection on open issues facing the eld of groupware. The CRIWG workshops have been motivated by advances in Computer- Supported Cooperative Work, and by the need for CSCW to meet the challenges of new application areas. With this ninth meeting, CRIWG aimed to provide a forum for academic researchers and professionals to exchange their experiences and ideas about problems and solutions related to the design, development, and use of groupware applications. The selection of papers followed a strict refereeing process by a renowned international committee. We received 84 contributions with rst authors from 21 di erent countries, from which 30 papers were selected to be presented and published in this proceedings volume. The papers in these proceedings include 18longpaperspresentingmatureworkand12shortpapersdescribingpromising work in progress in the eld. We thank all members of the Program Committee for their valuable reviews of the papers. In addition, we were pleased to have as invited speaker Prof. Saul Greenberg from the University of Calgary in Canada, a renowned specialist in Groupware and HCI. An extended abstract of his lecture is included in these proceedings. 400 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of the MATA workshops series is to provide a unique opportunity for researchers from the IT, Internet, and telecommunications domain, as well as related software and application developers and service providers to discuss the advances in agent technologies and their applications in next generation mobile Internet and telecommunications. Since 1999 in Canada, MATA workshops have contributed to the creation of a research community around mobile agents and their use in telecommunication applications. The 2003 workshop focused on recent developments in agent technologies and particularly the use of agent technologies within the elds of network - nagement, dynamic service provisioning and management, nomadic and mobile computing, context aware services and environments, active and programmable networks,policybasedservicesandmanagement,adhocnetworking,peer-to-peer computing, ambient intelligence, Wireless Java, software de ned radio, adaptive mobile end systems, virtual home environments, smart home, smart cars and navigation, e-learning, m-commerce, and other related 3Gb areas. October 2003 Eric HORLAIT VI Preface Scienti c Program Committee T. Araragi, NTT, Japan P. Bellavista, Bologna, Italy F. Bellifemine, TILab, Italy R. Boutaba, Univ. of Waterloo, Canada P. Brezillon, LIP6, France B. Burg, HP Labs, USA J. Celestino Junior, FUC, Brazil J. Delgado, UPF Barcelona, Spain B. Dillenseger, France Teleco, France W. Enkelmann, Chrysler AG, Germany B. Falchuk, Telecordia, USA R. Glitho, Ericsson, Canada Y. Gourhant, FT R&D, France S. Guan, NUS, Singapore S. . Honiden, NII, Japan E. Horlait, LIP6, France R. Impey, NRC, Canada Y. Ismailov, Ericsson, Sweden A. Karmouch, Univ. of Ottawa, Canada K. Kim, Konkuk University, Korea L. 308 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Recently, we have seen a steep increase in the popularity and adoption of XML, in areas such as traditional databases, e-business, the scientific environment, and on the web. Querying XML documents and data efficiently is a challenging issue; this book approaches search on XML data by combining content-based methods from information retrieval and structure-based XML query methods and presents the following parts: applications, query languages, retrieval models, implementing intelligent XML systems, and evaluation.To appreciate the book, basic knowledge of traditional database technology, information retrieval, and XML is needed. The book is ideally suited for courses or seminars at the graduate level as well as foreducation of research and development professionals working on Web applications, digital libraries, database systems, and information retrieval. 344 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nowadays, newly developed software packages are often obsolete already at the time of their introduction. Object-oriented software development is a possible if not the only solution to this dilemma: applications are modeled as software objects that describe the properties and the behavior of real-world entities. Such objects are encapsulated, in that they hide behind a publicly known interface the complexity of their internal data structures and behaviors. This enables objects to be used in a wide range of program packages without needing to know the details of their internal implementation.Linking object-oriented modeled applications with a database places special demands on a database management system and development environment when the usual performance and semantics losses are to be avoided. This book provides a detailed description of the object model of the Caché postrelational database.This second, revised and expanded edition includes the many new features of Caché 5. There is a comprehensive description of the new Caché Studio with its improvements for developing and debugging applications as well as a whole new chapter about XML and SOAP based Web Services. The chapters about Java, ActiveX and the SQL manager have undergone a complete revision.The accompanying CD-ROM contains the complete associated software as well as a searchable PDF version of the book.System requirementsPC with Intel CPU (Pentium or better), Windows 95, 98, ME, NT 4.0 (SP4, 5 or 6), 2000 (SP2) or XP, 128 MB main memory, 100 MB free disk space, CD-ROM drive. 408 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Communications and Multimedia Security conference (CMS 2003) was - ganized in Torino, Italy, on October 2-3, 2003. CMS 2003 was the seventh IFIP working conference on communications and multimedia security since 1995. - search issues and practical experiences were the topics of interest, with a special focus on the security of advanced technologies, such as wireless and multimedia communications. The book Advanced Communications and Multimedia Security contains the 21 articles that were selected by the conference program committee for p- sentation at CMS 2003. The articles address new ideas and experimental eval- tion in several elds related to communications and multimedia security, such as cryptography, network security, multimedia data protection, application se- rity, trust management and user privacy. We think that they will be of interest not only to the conference attendees but also to the general public of researchers in the security eld. We wish to thank all the participants, organizers, and contributors of the CMS 2003 conference for having made it a success. October 2003 Antonio Lioy GeneralChairofCMS2003 Daniele Mazzocchi ProgramChairofCMS2003 VI Organization CMS 2003 was organized by the TORSEC Computer and Network Security Group of the Dipartimento di Automatica ed Informatica at the Politecnico di Torino, in cooperation with the Istituto Superiore Mario Boella. 280 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti cial Intelligence, and Reasoning (LPAR 2003), heldonSeptember22 26,2003,inAlmaty,Kazakhstan,togetherwiththeFourth International Workshop on Implementation of Logics. There were 65 submissions, of which 8 belonged to the special submission category of experimental papers, intended to describe implementations or c- parisons of systems, or experiments with systems. Each submission was reviewed by at least three program committee members and an electronic program c- mitteemeetingwasheldviatheInternet.Weareverygratefultothe32program committee members for their e orts and for the quality of their reviews and d- cussions. Finally, the committee decided to accept 27 papers. The program also included ve invited talks, by Franz Baader, Serikzhan Badaev, Dexter Kozen, Sergei Goncharov, and Thomas Wilke. Apart from the program committee, we would also like to thank the other people who have made LPAR 2003 possible: the external reviewers and the local organizers Serikzhan Badaev and Anna Romina. The Internet-based submission software and the program-committee disc- sion software were provided by the second co-chair. 456 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) was held at the University Residential Center of Bertinoro, Italy, on October 13 15 2003. The center is composed of three large historical and monumental buildings not far from one another, forming a united complex on the top of the built up area of the ancient town of Bertinoro. Previous conferences took place in Pisa (1972), Mantova (1974 and 1989), L Aquila (1992), Ravello (1995), Prato (1998), and Torino (2001). The conference aims at bringing together computer scientists, expecially youngresearchers,tofostercooperationandexchangeideasandresults.Itsmain topicsinclude:analysisanddesignofalgorithms,datatypesanddatastructures, theory of logical design and layout, computability, complexity, automata, s- bolic and algebraic computation, security, cryptography, speci cation and ve- cation, formal languages, foundations of functional programming, foundations of logic programming, term-rewriting, semantics, type theory, new computing paradigms, parallel and distributed computation, theory of concurrency, theory of databases, theory of knowledge bases, theory of robotics. The program committee, consisting of 14 members, considered 65 papers and selected 27 for presentation. These papers were selected on the basis of origin- ity, quality, and relevance to theoretical computer science. These proceedings include the revised versions of the 27 accepted papers and the invited talks by Marios Mavronicolas (Extreme Nash Equilibria), Martin Hofmann (Certi cation of Memory Usage), and G erard Boudol (On Programming Models for Mobility). 412 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Internet has nearly a ten year history as a global, public communication infrastructure. The two applications that have created the demand from private and business users have been the World-Wide Web and electronic mail. We have inthelast veyearsseentherapidlyemergingpopularityofpeer-to-peersharing of les, mostly for music, and to a more limited extent also the introduction of Internet telephony, television, and radio. These services place demands on the infrastructure that are higher with respect to quality and connectivity than web sur ng and e-mail. Mobile (cellular) telephony has rivaled the Internet with respect to growth during the last decade. The hitherto separate networks are now set to merge into a mobile Internet that will give wireless access to all Internet services. The ambition behind the Internet's continuing development is that it should serve as a general-purpose infrastructure and provide adequate support for all types of applications in terms of quality, connectivity, and cost. Thus the demands made on all Internet services must also be met by wireless access, and the circuit quality of a voice connection for mobile telephony must also be provided in the wiredIPnetworks. 240 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The second Symposium on Stochastic Algorithms, Foundations and Applications (SAGA 2003),took place on September 22 23,2003, in Hat eld, England.The present volume comprises 12 contributed papers and 3 invited talks. The contributed papers included in the proceedings present results in the following areas: ant colony optimization; randomized algorithmsfor the intersection problem; - cal search for constraint satisfaction problems; randomized local search methods for combinatorial optimization, in particular, simulated annealing techniques; probabilistic global search algorithms; network communication complexity; open shop scheduling; aircraft routing; traf c control; randomized straight-line programs; and stochastic - tomata and probabilistic transformations. TheinvitedtalkbyRolandKirschnerprovidesabriefintroductiontoquantuminf- matics. The requirements and the prospects of the physical implementation of a qu- tum computer are addressed. Lucila Ohno-Machado and Winston P. Kuo describe the factors that make the an- ysis of high-throughput gene expression data especially challenging, and indicate why properly evaluated stochastic algorithms can play a particularly important role in this process. John Vaccaro et al. review a fundamental element of quantum information theory, source coding, which entails the compression of quantum data. A recent experiment that demonstrates this fundamental principle is presented and discussed. Our special thanks go to all who supported SAGA 2003, to all authors who subm- ted papers, to the members of the program committee, to the invited speakers, and to the members of the organizing committee. Andreas Albrecht Kathleen Steinhofel Organization SAGA2003wasorganizedbytheUniversityofHertfordshire,DepartmentofComputer Science, Hat eld, Hertfordshire AL10 9AB, United Kingdom. 184 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is now possible to gain competitive advantages based on consolidated R/3 system implementations. One of the most important optimisation aspects is a more consistent process integration in order to bring about fast, secure and cost effective business processes. This approach inevitably leads to Workflow Management and for SAP users to SAP® WebFlow®. This book introduces the topic of Workflow Management, gives an overview of the technical possibilities of SAP® WebFlow® and allows the reader to assess SAP workflow project risks and costs/benefits based on real life examples. Check lists and technical hints not only aid the reader in evaluating potential projects but also in the management of real life workflow project engineering. 272 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the International Workshop on Mathematical Methods, Models and Architectures for Computer Network Se- rity(MMM-ACNS2003)heldinSt.Petersburg,Russia,duringSeptember21 23, 2003.TheworkshopwasorganizedbytheSt.PetersburgInstituteforInformatics and Automation of the Russian Academy of Sciences (SPIIRAS) in cooperation with the Russian Foundation for Basic Research (RFBR), the US Air Force - search Laboratory/Information Directorate (AFRL/IF) and the Air Force O ce of Scienti c Research (AFOSR), the O ce of Naval Research International Field O ce (USA), and Binghamton University (SUNY, USA). The rst international workshop of this series, MMM-ACNS2001, May 21 23, 2001, St. Petersburg, Russia, hosted by the St. Petersburg Institute for - formatics and Automation, demonstrated the keen interest of the international researchcommunityinthetheoreticalaspectsofcomputernetworkandinfor- tion security and encouraged the establishment of an on-going series of brennial workshops. MMM-ACNS2003 provided an international forum for sharing original - search results and application experiences among specialists in fundamental and applied problems of computer network security. An important distinction of the workshop was its focus on mathematical aspects of information and computer networksecurityandtheroleofmathematicalissuesincontemporaryandfuture development of models of secure computing. 488 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThesearetheproceedingsoftheGermanconferenceonMultiagentSystemTe- nologies(MATES2003),whichwasthe rstconferenceorganizedbytheGerman specialinterestgrouponDistributedArti cialIntelligencetopromotethetheory and application of agents and multiagent systems. Its goals were to cover the whole range from the theory to applications of agent and multiagent technology and re ect the national and international state of the art. The conference p- vided an excellent interdisciplinary forum for both researchers and members of business and industry to present and discuss the latest advances in theoretical work on and prototyped or elded systems of intelligent agents. Building on the sequence of agent-related events in Germany in the past, such as VDI 1998 (Chemnitz), VertIS 2001 (Bamberg), and KI 2002 (Aachen), MATES 2003 was exclusively devoted to agents and multiagent systems, and the cro- fertilization between agent theory and application. In addition, it built on the success of the past international workshop on Agent Technology and Software Engineering (AgeS 2002) , and the international symposium on Multiagent Systems,LargeComplexSystems,andE-Businesses (MALCEB2002).MATES 2003 was co-located with the fourth international Net.ObjectDays conference in an exciting event held in Erfurt during September 22 24. The MATES 2003 conference featured a sequence of regular and invited talks of excellence given by leading experts in the eld. Among these were two k- notes, an invited talk and 18 paper presentations selected from 49 submissions. 244 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 International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003.The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi. 288 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level.This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally suited for advanced courses on software architecture as well as for ongoing education of software engineers using formal methods in their day-to-day professional work. 304 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 Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip. 388 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisstate-of-the-artsurveyoftechnologies,algorithms,models,andexperiments in the area of Internet Quality of Service is the nal report of COST (European Cooperation in the eld of Scienti c and Technical Research) Action 263,Qu- ity of future Internet Services, fokus. fraunhofer. de/cost263 (QofIS). COST 263 ran from January 1999 until October 2003 with the participation of some 70 researchers from 38 organizations from 14 European countries (France, Hungary, Italy, Sweden, UK, Belgium, Germany, the Netherlands, Portugal, Slovenia, Switzerland, Finland, Greece, Romania, and Spain). The Action - longed to the COST area Multimedia and Internet Communication ; together with COST 264, Networked Group Communication, this Action continued the e ort started in 1992 by COST 237, Multimedia Telecommunications Services. Both groups have combined their e orts now in the Network of Excellence in Emerging Networking Experiments and Technologies, ist-e-next. net (E-NEXT) of the 6th European Framework program. The book consists of seven chapters that were written in 18 months by 67 individual authors. The main objective of this book is to report the state of the art in the area of QofIS, as percieved by the authors, including achievements that wereoriginatedby the authors. The book wasdesigned in a top-downm- ner: after three years of running the Action with close co-ordination of research e orts, it was easy to achieve a consensus on the table of contents. To ensure the content quality the following roles were de ned and assigned to COST 263 members: chapter editor, chapter author, chapter reader. 308 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -UbiComp 2003, the 5th Annual Conference on Ubiquitous Computing, is the premier forum for presentation of research results in all areas relating to the - sign, implementation, deployment and evaluation of ubiquitous computing te- nologies. The conference brings together leading researchers, from a variety of disciplines, perspectives and geographical areas, who are exploring the impli- tions of computing as it moves beyond the desktop and becomes increasingly interwoven into the fabrics of our lives. This volume, the conference proceedings, contains the entire collection of high-quality full papers and technical notes from UbiComp 2003. There were 16 full papers in this year's conference, selected by our international program committee from among 117 submissions. There were also 11 technical notes in the program: 8 taken from the 36 technical note submissions, and 3 that were adapted from full paper submissions. We are very grateful to Tim Kindberg and Bernt Schiele, our Technical Notes Co-chairs, and to all the authors and reviewers of both papers and technical notes who contributed to maintaining the high standards of quality for the conference. In addition to the full papers and technical notes, UbiComp 2003 also p- vided a number of other participation categories, including workshops, dem- strations, interactive posters, a panel, a doctoral colloquium and a video p- gram. While accepted submissions in these categories were also of high quality, timing and size constraints prevented us from including them in this volume. 392 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The13thInternationalConferenceonInductive LogicProgramming(ILP 2003), organizedbytheDepartmentofInformaticsattheUniversityofSzeged,washeld between September 29 and October 1, 2003 in Szeged, Hungary. ILP 2003 was co-located with the Kalm ar Workshop on Logic and Computer Science devoted to the workofL aszl oKalm arandto recentresultsinlogicandcomputerscience. This volume contains all full papers presented at ILP 2003, together with the abstracts of the invited lectures by Ross D. King (University of Wales, Aber- twyth) and John W. Lloyd (Australian National University, Canberra). TheILP conferenceseries,startedin1991,wasoriginallydesignedto provide an international forum for the presentation and discussion of the latest research resultsinallareasoflearninglogicprograms.InrecentyearsthescopeofILPhas been broadened to cover theoretical, algorithmic, empirical, and applicational aspects of learning in non-propositional logic, multi-relational learning and data mining, and learning from structured and semi-structured data. The program committee received altogether 58 submissions in response to the call for papers, of which 5 were withdrawn by the authors themselves. Out of the remaining 53 submissions, the program committee selected 23 papers for full presentation at ILP 2003. High reviewing standards were applied for the selection of the papers. For the rst time, the Machine Learning journal awarded the best student papers. The awards were presented to Marta Arias for her theoretical paper withRoniKhardon:ComplexityParametersforFirst-OrderClasses,andtoKurt DriessensandThomasG artnerfortheirjointalgorithmicpaperwithJanRamon: Graph Kernels and Gaussian Processes for Relational Reinforcement Learning. 416 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experiences in emerging methods across the borders of different disciplines. SAFECOMP year after year registers new multidisciplinary trends on dependability of computer-based systems. The cross-fertilization between different scientific communities and industry supports the achievement of long-term results contributing to the integration of multidisciplinary experiences in order to improve the design and deployment of dependable computer-based systems. Over the years the participation of industry in SAFECOMP has grown steadily. This emphasizes the importance of technology transfer between academia and industry. SAFECOMP 2003 further sustains the healthy interchange of research results and practical experiences. The SAFECOMP 2003 program consisted of 30 papers selected from 96 submissions from all over the world. SAFECOMP 2003 acknowledges the invited keynote talks enhancing the technical and scientific merit of the conference. 448 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -After some time of early experience Web Services are moving themselves from a new highly fragmented technology to a piece of nowadays infrastructures which promise to address various current challenges. These include especially classical issues of integration and data in a heterogeneous environment. The Web Service technology provides an open and technology-agnostic interface, and furthermore propels new usage paradigms in distributed computing infrastructures like Grid Services. Successful adoption of Web Service technology relies on the de nition of interoperable architectural building blocks which can be integrated in existing softwarearchitectures,likeJ2EEorCORBAheritage. Interoperabilitywillsurely proveitselfasthecriticalsuccessfactoroftheWebServiceproliferation. Inorder to accomplish these interoperability various standardization bodies such as the W3C, UN or OASIS founded activities to create speci cations and products implementing these building blocks. As the sister event of the First International Conference on Web Services (ICWS 2003), which was held in Las Vegas, June 23 - 26, USA, has proven to be an excellent catalyst for research and collaboration, the 2003 International C- ference on Web Services - Europe (ICWS-Europe 2003) is expected to continue this trend. The topics of papers collected in this proceedings volume ranges from issues like modeling, development, deployment, publishing, as well as discovery, composition and collaboration, plus monitoring and analytical control. Addit- nal contributions summarize some research and development challenges of bu- ding Web Service solutions. Especially, some contributions present an emerging research direction, namely, Web Services collaboration. Moreover, some major research activities associated with facilitating extended business collaboration using Web services and semantic annotation are also covered. 240 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume collects the papers accepted for presentation at the 10th IMA C- ference on the Mathematics of Surfaces, held at the University of Leeds, UK, September 15 17, 2003. As with all earlier conferences in the series, contributors to this volume come from a wide variety of countries in Asia, Europe and North America. The papers presented here re ect the continued relevance of the s- ject, and, by comparison with the contents of earlier volumes in the series, the changing nature of application areas and mathematical techniques. To give the casual browser of these proceedings an idea of the diversity of the subject area, the papers in the present volume cover such topics and techniques as digital geometry processing, computer graphics, surface topology, medical applications, subdivision surfaces, surface reconstruction, surface triangulation, waterma- ing, data compression, data smoothing, human-computer interaction, extracting shapeformshading,surfaceheightrecovery,reverseengineering,box-splines,the Plateau Problem, splines (a variety of papers), trans nite blending, and a ne arithmetic. There is also a paper in memory of the late Prof. Josef Hoschek of theTechnischeUniversit atDarmstadt,co-authoredbyaformerresearchstudent, Prof. Bert Juttler, on the subject of using line congruences for parameterizing special algebraic surfaces. We would like to thank all those who attended the conference and helped to makeitasuccess. Inparticularwethankthosewhocontributedtotheseproce- ings. 408 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -AdHoc Networks are wireless, self-organizing systems formed by co-operating nodes, within communication range of each other which form temporary n- works. Their topology is dynamic, decentralized, and ever-changing, and the nodes may move around arbitrarily. The last few years have witnessed a wealth ofresearchideasonAdHocnetworkswhicharemovingrapidlyintoimplemented standards. Mobile computing, particularly wireless-enabled mobile computing, covers a large area of applications in mobile computing environments, networking, c- municationdevicesandsystems.Thisconferenceexposesexperimentalaswellas theoretical research in adhoc, mobile and wireless networks. The range of topics covered includes management of power consumption, architectures and pro- cols, quality of service, and security. The aim of the conference was to provide a unique opportunity for researchers and students in industry and academia to participate at an annual forum and share their research results and experiences. This conference followed the rst successful conference (held at the Fields - stituteinTorontoduringSeptember20 21oflastyear),andwasheldattheH- iday Inn, Midtown in Montreal during October 8 10, 2003. It was co-sponsored by the Mobile Computing and Networking Research Laboratory (LARIM) of the Ecole Polytechnique de Montr eal, theSchool of Computer Science (SCS) of C- leton University, MITACS (Mathematics of Information Technology and C- plex Systems), and the Association for Computing Machinery (ACM). 308 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains 29 submitted and 2 invited papers presented at the tenth East-European Conference on Advances in Databases and Information Systems (ADVIS 2003), which took place in Dresden, Germany, September 3-6, 2003. An international program committee of 42 members from 24 countries s- ected these contributions from 86 submissions. Eight additional contributions were selected as short papers and have been published in a separate volume of local proceedings by the organizing institution. For the rst time, ADBIS also included an industrial program consisting of nine submitted presentations by representatives of commercial companies active in the database market. ADBIS 2003 was the tenth scienti c event taking place under the acronym ADBIS, and thus marks a rst 'jubilee' for this young, but by now we- established,seriesofconferences. ADBISwasfoundedbytheMoscowACMSIG- MOD Chapter in 1993. In 1994-1996 ADBIS was held in the form of workshops organized by the MOSCOW ACM SIGMOD Chapter in collaboration with the RussianFoundationforBasicResearch. Inthisperiod,anumberofinternational guests were invited to Moscow every year in order to improve and consolidate contacts between the national research community in Russia and the research community worldwide. International program committees for ADBIS were es- blished in 1995, contributing to the quality of the selection process and thus of the conference contributions in general. In 1996, following discussions with Dr. 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 provides a c- prehensive, state-of-the-art survey of recent advances in string processing and information retrieval. It includes invited and research papers presented at the 10th International Symposium on String Processing and Information Retrieval, SPIRE 2003, held in Manaus, Brazil. SPIRE 2003 received 54 full submissions from 17 countries, namely: - gentina(2), Australia(2), Brazil(9),Canada(1),Chile (4),Colombia(2),Czech Republic (1), Finland (10), France (1), Japan (2), Korea (5), Malaysia (1), P- tugal (2), Spain (6), Turkey (1), UK (1), USA (4) - the numbers in parentheses indicate the number of submissions from that country. In the nontrivial task of selecting the papers to be published in these proceedings we were fortunate to count on a very international program committee with 43 members, represe- ing all continents but one. These people, in turn, used the help of 40 external referees. During the review processall but a few papers had four reviewsinstead of the usual three, and at the end 21 submissions were accepted to be p- lished as full papers, yielding an acceptance rate of about 38%. An additional set of six short papers was also accepted. The technical program spans over the two well-de ned scopes of SPIRE (string processing and information retrieval) with a number of papers also focusing on important application domains such as bioinformatics. SPIRE 2003 also features two invited speakers: Krishna Bharat (Google, Inc. ) and Joa o Meidanis (State Univ. of Campinas and Scylla Bioinformatics). 396 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the setting of multi-party computation, sets of two or more parties with private inputs wish to jointly compute some (predetermined) function of their inputs. General results concerning secure two-party or multi-party computation were first announced in the 1980s. Put briefly, these results assert thatunder certain assumptions one can construct protocols for securely computing any desired multi-party functionality. However, this research relates only to a setting where a single protocol execution is carried out. In contrast, in modern networks, many different protocol executions are run at the same time.This book is devoted to the general and systematic study of secure multi-party computation under composition. Despiteits emphasis on a theoretically well-founded treatment of the subject, general techniques for designing secure protocols are developed thatmay even result in schemes or modules to be incorporated in practical systems. The book clarifies fundamental issues regarding security in a multi-execution environment and gives a comprehensive and unique treatment of the composition of secure multi-party protocols. 216 pp. Englisch.…