springer berlin heidelberg springer berlin heidelberg sep 2003 (273 resultados)

Taschenbuch. Condición: 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. Condición: Neu. 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 SyntaxSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.

Taschenbuch. Condición: Neu. 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. Condición: Neu. 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. Condición: Neu. 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. Condición: Neu. Neuware -ICICS 2003, the Fifth International Conference on Information and C- munication Security, was held in Huhehaote city, Inner Mongolia, China, 10¿13 October 2003. Among the preceding conferences, ICICS¿97 was held in B- jing, China, ICICS¿99 in Sydney, Australia, ICICS 2001 in Xi¿an, China, and ICICS 2002,in Singapore.TheproceedingswerereleasedasVolumes1334,1726, 2229, and 2513 of the LNCS series of Springer-Verlag, respectively. ICICS 2003 was sponsored by the Chinese Academy of Sciences (CAS), the National Natural Science Foundation of China, and the China Computer F- eration. The conference was organized by the Engineering Research Center for Information Security Technology of the Chinese Academy of Sciences (ERCIST, CAS) in co-operation with the International Communications and Information Security Association (ICISA). The aim of the ICICS conferences has been to o er the attendees the - portunity to discuss the state-of-the-art technology in theoretical and practical aspects of information and communications security. The response to the Call forPaperswassurprising.WhenwewerepreparingtheconferencebetweenApril and May, China, including the conference venue, Huhehaote City, was ghting against SARS. Despite this 176 papers were submitted to the conference from 22 countries and regions, and after a competitive selection process, 37 papers from 14 countries and regions were accepted to appear in the proceedings and be presented at ICICS 2003. We would like to take this opportunity to thank all those who submitted papers to ICICS 2003 for their valued contribution to the conference. 436 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -COSIT,theseriesofConferencesonSpatialInformationTheory,hasbeenaround for more than ten years. Its hallmarks are a fruitful interdisciplinary dialogue between computational and human perspectives on spatio-temporal information and a thorough review process that selects the best papers while giving all - thors detailed feedback on how to develop their work. A clear pro le of the COSIT community has emerged from the series of conference proceedings, all published as Springer Lecture Notes in Computer Science, and from the per- nent web site at cosit. info, containing links to the conference web sites and proceedings, a history and program of the series, an impact study, interviews with participants, and pictures. The proceedings of this sixth conference provide ample evidence that COSIT is healthy and maturing, while retaining its youth. Out of the 61 submissions, the program committee selected 26 papers for presentation, in discussions based on at least three double-blind reviews and one or more meta-review from PC members for each paper. Classical COSIT themes, such as spatial reasoning (about distances and directions, regions and shapes) or vagueness are being f- ther re ned; topics like way nding and landmarks are boosted by new synergies betweencognitiveandcomputationalapproaches;andthestudyofontologiesfor space and time, a subject since the rst COSIT, is gaining more depth. 416 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, AI\*IA 2003, held in Pisa, Italy in September 2003.The 44 revised full papers presented were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on knowledge representation and reasoning, soft computing, machine learning, data mining, intelligent agents, planning, robotics, natural language processing, and applications in various fields. 576 pp. Englisch.

Taschenbuch. Condición: Neu. 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. Condición: Neu. 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. Condición: Neu. 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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Hat eld, Hertfordshire AL10 9AB, United Kingdom. 184 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume constitutes the proceedings of the second International Conference on Generative Programming and Component Engineering (GPCE 2003), held September 22¿25, 2003, in Erfurt, Germany, sponsored by the NetObjectDays German industrial software development event, in cooperation with the ACM SIGPLAN and SIGSOFT societies. GPCE was created as an e ort to bring - getherresearchersworkingonboththeprogramminglanguagesandthesoftware engineeringsideofprogramgenerationandcomponentengineering. Thecommon theme of program generation and component engineering is the domain-speci c nature of both approaches. Depending on the characteristics of a domain, either a generative or a compositional technical solution may be appropriate. In just its second year, GPCE has shown a lot of promise for building a strong community. The response to the call for papers was excellent, with 62 submissions to the technical program, 2 of which were later withdrawn. Each paper received between three and ve reviews, many of them quite thorough and hopefully valuable to all authors. The electronic meeting allowed for - depthdiscussionsofallsubmissions,oftentoamuchgreaterextentthanpossible in a physical PC meeting. As a result, 21 papers were selected for presentation at the conference and are included in this volume, together with abstracts for the invited talks by Olivier Danvy and Peri Tarr. Of the accepted papers, 3 are co-authored by PC members (from a total of 5 PC submissions). We tried hard to ensure fairness and hold PC submissions to a high standard. The EDAS conference submission system was used to manage the paper submissions. Our EDAS installation was supported by Blair MacIntyre, who was particularlyhelpfulinresolvingtechnicalissueswiththesystem. 416 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Thisconferenceexposesexperimenta laswellas 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. Condición: Neu. 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. Condición: Neu. Neuware -ESORICS, the European Symposium On Research In Computer Security, is the leading research-oriented conference on the theory and practice of computer - curity in Europe. The aim of ESORICS is to further the progress of research in computer security by establishing a European forum for bringing together - searchersinthisarea,bypromotingtheexchangeofideaswithsystemdevelopers and by encouraging links with researchers in related areas. ESORICS is coordinated by an independent steering committee. In the past it took place every two years at various locations throughout Europe. Starting this year, it will take place annually. ESORICS 2003 was organized by Gjøvik University College, and took place in Gjøvik, Norway, October 13¿15, 2003. The program committee received 114 submissions, originating from 26 co- tries on all continents. Half the papers originated in Europe (57). The most dominant countries were: UK (16), USA (14), Germany (6), South Korea (6), Sweden (6), Italy (5), France (4) andPoland (4). Each submission was reviewed by at least three program committee members or other experts. The program committee chair and co-chair were not allowed to submit papers. The nal sel- tion of papers was made at a program committee meeting followed by a week of e-mail discussions. Out of the 114 papers received, only 19 got accepted (17%). In comparison, ESORICS 2000and 2002received 75and 83papersand accepted 19% and 16%, respectively. The program re ected the full range of security research, including access control, cryptographic protocols, privacy enhancing technologies, security m- els, authentication, and intrusion detection. 360 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -On behalf of the Program Committee, it is our pleasure to present to you the proceedings of the Sixth Symposium on Recent Advances in Intrusion Detection (RAID 2003). Theprogramcommitteereceived44fullpapersubmissionsfrom10countries . All submissions were carefully reviewed by at least three program committee members or additional intrusion detection experts according to the criteria of scienti c novelty, importance to the eld, and technical quality. The program committee meeting was held in Berkeley, USA on May 14¿15. Thirteen papers were selected for presentation and publication in the conference proceedings. The conference technical program included both fundamental research and practical issues, and was shaped around the following topics: network infr- tructure, anomaly detection, correlation, modeling and speci cation, and sensor technologies. The slides presented by the authors are available on the RAID 2003 web site, raid-symposium.org/raid2003. We would like to thank the authors that submitted papers as well as the p- gram committee members and the additional reviewers who volunteered their time to create a quality program. In addition, we want to thank the Conf- ence General Chair, John McHugh, for organizing the conference in Pittsburgh, Joshua Haines for publicizing the conference, Don McGillen for nding support from our sponsors, and Christopher Kruegel for maintaining the RAID web site and preparing the conference proceedings. Special thanks go to our sponsors Cisco Systems and Symantec, who p- vided nancial support for student participation to the symposium, and to CERT/CMU for hosting the conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume, containing the proceedings of IVA 2003, held at Kloster Irsee, in Germany, September 15¿17, 2003, is testimony to the growing importance of IntelligentVirtualAgents(IVAs) asaresearch eld.Wereceived67submissions, nearly twice as many as for IVA 2001, not only from European countries, but from China, Japan, and Korea, and both North and South America. As IVA research develops, a growing number of application areas and pl- forms are also being researched. Interface agents are used as part of larger - plications, often on the Web. Education applications draw on virtual actors and virtual drama, while the advent of 3D mobile computing and the convergence of telephones and PDAs produce geographically-aware guides and mobile - tertainment applications. A theme that will be apparent in a number of the papers in this volume is the impact of embodiment on IVA research ¿ a char- teristic di erentiating it to some extent from the larger eld of software agents. 388 pp. Englisch.

Taschenbuch. Condición: Neu. 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).Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This conference marked the rst time that the Asia-Paci c Computer Systems Architecture Conference was held outside Australasia (i. e. Australia and New Zealand), and was, we hope, the start of what will be a regular event. The conference started in 1992 as a workshop for computer architects in Australia and subsequently developed into a full- edged conference covering Austra- sia. Two additional major changes led to the present conference. The rst was a change from ¿computer architecture¿ to ¿computer systems architecture¿, a change that recognized the importance and close relationship to computer arc- tecture of certain levels of software (e. g. operating systems and compilers) and of other areas (e. g. computer networks). The second change, which re ected the increasing number of papers being submitted from Asia, was the replacement of ¿Australasiä with ¿Asia-Paci c¿. This year¿s event was therefore particularly signi cant, in that it marked the beginning of a truly ¿Asia-Paci c¿ conference. It is intended that in the future the conference venue will alternate between Asia and Australia/New Zealand and, although still small, we hope that in time the conference will develop into a major one that represents Asia to the same - tent as existing major computer-architecture conferences in North America and Europe represent those regions. 432 pp. Englisch.

Taschenbuch. Condición: Neu. 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 for education of research and development professionals working on Web applications, digital libraries, database systems, and information retrieval.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Buch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.

Taschenbuch. Condición: Neu. 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. Condición: Neu. Neuware -ProfessorDaniel Keim. 288 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The 2003 Information Security Conference was the sixth in a series that started with the InformationSecurity Workshopin 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 continued in the program of this year¿s conference. There were 133 paper submissions to ISC 2003. From these submissions the 31papersintheseproceedingswereselectedbytheprogramcommittee,covering a wide range of technical areas. These papers are supplemented by two invited papers;athirdinvitedtalkwaspresentedattheconferencebutisnotrepresented by a written paper. We would like to extend our sincere thanks to all the authors that submitted papers to ISC 2003, and we hope that those whose papers were declined will be able to nd an alternative forum for their work. We are also very grateful to the three eminent invited speakers at the conference: Paul van Oorschot (Carleton University, Canada), Ueli Maurer (ETH Zur ¿ ich, Switzerland), and Andy Clark (Inforenz Limited, UK). We were fortunate to have an energetic team of experts who took onthe task of 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 reviewed papers in their particular areas of expertise. A list of these names is also provided, which we hope is complete. 460 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -These are the proceedings of CHES 2003, the fth workshop on Cryptographic HardwareandEmbeddedSystems,heldinCologneonSeptember8¿10,2003.As with every previous workshop, there was a record number of submissions despite themuchearlierdeadlineinthisyear¿scallforpapers.Thisisaclearindication of the growing international importance of the scope of the conference and the relevance of the subject material to both industry and academia. The increasing competition for presenting at the conference has led to many excellent papers and a higher standard overall. From the 111 submissions, time constraintsmeantthatonly32couldbeaccepted.Theprogramcommitteewo- ed very hard to select the best. However, at the end of the review process there were a number of good papers ¿ which it would like to have included but for which, sadly, there was insu cient space. In addition to the accepted papers appearing in this volume, there were three invited presentations from Hans D- bertin (Ruhr-Universit¿ at Bochum, Germany), Adi Shamir (Weizmann Institute, Israel), and Frank Stajano (University of Cambridge, UK), and a panel d- cussion on the e ectiveness of current hardware and software countermeasures against side channel leakage in embedded cryptosystems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Condición: Neu. 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. Condición: Neu. 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.