springer berlin heidelberg jun 2005 (171 risultati)

Taschenbuch. Condizione: Neu. Neuware -Automatic person authentication, the identification and verification of an individual as such, has increasingly been acknowledged as a significant aspect of various security applications. Various recognition and identification systems have been based on biometrics utilizing biometric features such as fingerprint, face, retina scans, iris patterns, hand geometry, DNA traces, gait, and others.This book originates from an international summer school on biometrics, held in Alghero, Italy, in June 2003. The seven revised tutorial lectures by leading researchers introduce the reader to biometrics-based person authentication, fingerprint recognition, gait recognition, various aspects of face recognition and face detection, topologies for biometric recognition, and hand detection. Also included are the four best selected student papers, all dealing with face recognition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Buch. Condizione: Neu. Neuware -¿Don¿t miss out on China!¿ and ¿What are you doing about China ¿ Catch phrases like these are spreading among managers all over the world. Just take a brief look at the business class occupancy of flights from Europe, North America or Japan to major Chinese cities: This gives you a glimpse of how business people are attracted by steady growth rates of 6 percent to 10 percent. It also indicates how much attention is given to a market featuring 1.3 billion potential consumers and a government committed to rapidly changing the country from an agricultu- dominated developing country into one of the world¿s economic powerhouses. Most of the global industrial players have had economic ties with China for decades already, but they were further strengthened after the country¿s opening to the world in the early 1980s. Furthermore, Chinäs accession to the World Trade Or- nization is expected to catapult this already surging economy into another sphere of development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The computational paradigm considered here is a conceptual, theoretical and formal framework situated above machines and living creatures (two instant- tions), su ciently solid, and still non-exclusive, that allows us: 1. tohelpneuroscientiststoformulateintentions,questions,experiments,me- ods and explanation mechanisms assuming that neural circuits are the p- chological support of calculus; 2. to help scientists and engineers from the elds of arti cial intelligence (AI) and knowledge engineering (KE) to model, formalize and program the c- putable part of human knowledge; 3. to establish an interaction framework between natural system computation (NSC) and arti cial system computation (ASC) in both directions, from ASC to NSC (in computational neuroscience), and from NSC to ASC (in bioinspired computation). With these global purposes, we organized IWINAC 2005, the 1st International Work Conference on the Interplay Between Natural and Arti cial Computation, whichtookplaceinLasPalmasdeGranCanaria,CanaryIslands(Spain),during June 15¿18, 2005, trying to contribute to both directions of the interplay: I: From Arti cial to Natural Computation. What can computation, arti cial intelligence (AI) and knowledge engineering (KE) contribute to the und- standing of the nervous system, cognitive processes and social behavior This is the scope of computational neuroscience and cognition, which uses the computational paradigm to model and improve our understanding of natural science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 560 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New York City, and was a great success. We saw a signi cant increase in both the number of submitted papers and workshop attendees from the rst meeting, held July 2003 in Melbourne. Nearly 40 research groups worldwide were motivated to contribute to this event by submitting their most recent research achievements, covering a wide variety of the topics listed in the call for papers. More than 30 top researchers agreed to join the Program Committee, which then collectively faced the hard task of selecting the one-day event program. The fact that research in multi-agent systems is no longer only a novel and promising research horizon at dawn is, in our opinion, the main reason behind DALT¿s (still short) success story. On the one hand, agent theories and app- cations are mature enough to model complex domains and scenarios, and to successfully address a wide range of multifaceted problems, thus creating the urge to make the best use of this expressive and versatile paradigm, and also pro t from all the important results achieved so far. On the other hand, bui- ing multi-agent systems still calls for models and technologies that could ensure system predictability, accommodate exibility, heterogeneity and openness, and enable system veri cation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The ultimate goal of many information access systems (e.g., digital libraries, the Web, intranets) is to provide the right content to their end-users. This content is increasingly a mixture of text, multimedia, and metadata, and is formatted according to the adopted ¿W3C standard for information repositories, the so-called eXtensible Markup L- guage (XML). Whereas many of today¿s information access systems still treat do- ments as single large (text) blocks, XML offers the opportunity to exploit the internal structure of documents in order to allow for more precise access thus providing more specific answers to user requests. Providing effective access to XML-based content is therefore a key issue for the success of these systems. The aim of the INEX campaign (Initiative for the Evaluation of XML Retrieval), which was set up at the beginning of 2002, is to establish infrastructures, XML test suites, and appropriate measurements for evaluating the performance of information retrieval systems that aim at giving effective access to XML content. More precisely, the goal of the INEX initiative is to provide means, in the form of a large XML test collection and appropriate scoring methods, for the evaluation of content-oriented XML retrieval systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Information Society is bringing about radical changes in the way people work and interact with each other and with information. In contrast to previous information processing paradigms, where the vast majority of computer-mediated tasks were business-oriented and executed by office workers using the personal computer in its various forms (i. e. , initially alphanumeric terminals and later on graphical user interfaces), the Information Society signifies a growth not only in the range and scope of the tasks, but also in the way in which they are carried out and experienced. To address the resulting dimensions of diversity, the notion of universal access is critically important. Universal access implies the accessibility and usability of Information Society technologies by anyone, anywhere, anytime. Universal access aims to enable equitable access and active participation of potentially all citizens in existing and emerging computer-mediated human activities by developing universally accessible and usable products and services, which are capable of accommodating individual user requirements in different contexts of use and independently of location, target machine, or run-time environment. In the context of the emerging Information Society, universal access becomes predominantly an issue of design, pointing to the compelling need for devising systematic and cost-effective approaches to designing systems that accommodate the requirements of the widest possible range of end-users. Recent developments have emphasized the need to consolidate progress by means of establishing a common vocabulary and a code of design practice, which addresses the specific challenges posed by universal access.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Active Mining (AM 2003) which was organized in conju- tion with the 14th International Symposium on Methodologies for Intelligent Systems (ISMIS 2003), held in Maebashi City, Japan, 28¿31 October, 2003. The workshop was organized by the Maebashi Institute of Technology in - operation with the Japanese Society for Arti cial Intelligence. It was sponsored by the Maebashi Institute of Technology, the Maebashi Convention Bureau, the Maebashi City Government, the Gunma Prefecture Government, JSAI SIGKBS (Japanese Arti cial Intelligence Society, Special Interest Group on Knowledge- Based Systems), a Grant-in-Aid for Scienti c Research on Priority Areas (No. 759) ¿Implementation of Active Mining in the Era of Information Flood,¿ US AFOSR/AOARD, the Web Intelligence Consortium (Japan), the Gunma Inf- mation Service Industry Association, and Ryomo Systems Co., Ltd. ISMIS is a conference series that was started in 1986 in Knoxville, Tennessee. SincethenithasbeenheldinCharlotte(NorthCarolina),Knoxville(Tennessee), Torin (Italy), Trondheim (Norway), Warsaw (Poland), Zakopane (Poland), and Lyon (France). The objective of this workshop was to gather researchers as well as prac- tioners who are working on various research elds of active mining, share ha- learned experiences, and shed light on the future development of active mining.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -their manuscript to a scienti c journal, rather than publish it in the conference proceedings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 consecutive years, the International Conference on Reliable Software Technologies celebrated this year its tenth anniversary by going to York, UK, where the rst series of technical meetings on Ada were held in the 1970s. Besides being a beautiful and historical place in itself, York also hosts the Depa- ment of Computer Science of the local university, whose Real-Time Group has been tremendously in uential in shaping the Ada language and in the progress on real-time computing worldwide. This year¿s conference was therefore put together under exc- lent auspices, in a very important year for the Ada community in view of the forthc- ing completion of the revision process that is upgrading the language standard to face the challenges of the new millennium. The conference took place on June 20¿24, 2005. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. The conference was organized by selected staff of the University of York teamed up with collaborators from various places in Europe, in what turned out to be a very effective instance of distributed collaborative processing. The conference also enjoyed the generous support of 11 industrial sponsors.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The belief that a committee of people make better decisions than any individual is widely held and appreciated. We also understand that, for this to be true, the members of the committee have to be simultaneously competent and comp- mentary. This intuitive notion holds true for committees of data sources (such as sensors) and models (such as classi ers). The substantial current research in the areas of data fusion and model fusion focuses on ensuring that the di - ent sources provide useful information but nevertheless complement one another to yield better results than any source would on its own. During the 1990s, a variety of schemes in classi er fusion, which is the focus of this workshop, were developed under many names in di erent scienti c communities such as machine learning, pattern recognition, neural networks, and statistics. The previous ve workshops on Multiple Classi er Systems (MCS) were themselves exercises in information fusion, with the goal of bringing the di erent scienti c commu- ties together, providing each other with di erent perspectives on this fascinating topic, and aiding cross-fertilization of ideas. These ve workshops achieved this goal, demonstrating signi cant advances in the theory, algorithms, and appli- tions of multiple classi er systems. Followingits vepredecessorspublishedbySpringer,thisvolumecontainsthe proceedings of the 6th International Workshop on Multiple Classi er Systems (MCS2005)heldattheEmbassySuitesinSeaside,California,USA,June13¿15, 2005. Forty-two papers were selected by the Scienti c Committee, and they were organized into the following sessions: Boosting, Combination Methods, Design of Ensembles, Performance Analysis, and Applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In the era of ubiquitous computing and networking, millions of electronic devices with computing facilities in the public space are connected with each other in ad hoc ways, but are required to behave coherently. Massively multi-agent systems, MMAS can be a major design paradigm or an implementation method for ubiquitous computing and ambient intelligence. As the infrastructure of massively multi-agent systems, technologies such as grid computing together with semantic annotation can be combined with agent technology. A new system design approach, society-centered design, may be realized by embedding participatory technologies in human society.This book originates from the First International Workshop on Massively Multi-Agent Systems, MMAS 2004, held in Kyoto, Japan in December 2004. The 25 revised full selected and invited papers give an excellent introduction and overview on massively multi-agent systems. The papers are organized in parts on massively multi-agent technology, teams and organization, ubiquitous computing and ambient intelligence, and massively multi-agent systems in the public space. 368 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -DLT 2005 was the 9th Conference on Developments in Language Theory. It was intended to cover all important areas of language theory, such us gr- mars, acceptors and transducers for strings, trees, graphs, and arrays; e cient text algorithms; algebraic theories for automata and languages; combinatorial andalgebraicpropertiesofwordsand languages;variable-lengthcodes; symbolic dynamics; decision problems; relations to complexity theory and logic; picture descriptionandanalysis;polyominoesandbidimensionalpatterns;cryptography; concurrency; and DNA and quantum computing. DLT 2005 was held at Mondello (Palermo, Italy) during July 4¿8, 2005 and was sponsored by the Department of ¿Matematica e Applicazioni,¿ University of Palermo, the Department of ¿Informatica e Applicazioni ¿ R.M. Capocelli,¿ UniversityofSalerno,andtheMIURProject¿Formal Languages and Automata: Methods, Models and Applications.¿ The conference was also under the auspices of EATCS. We are grateful to these organizations. Previous DLTs were held in Turku (1993), Magdeburg (1995), Thessaloniki (1997), Aachen (1999), Vienna (2001), Kyoto (2002), Szeged (2003) and Auckland (2004). Since 2001, a DLT conference takes place in every odd year in Europe, and in every even year in another continent. The Program Committee selected 29 papers from 73 submitted papers. The papers came from the following countries: Austria, Belgium, Canada, Czech - public,Finland,France,Germany,India,Italy,Portugal,Moldova,Russia,Spain, and the UK. Each submitted paper was evaluated by at least three members of theProgramCommittee,whowereoftenassistedbytheirreferees.All29selected papers are contained in this volume together with 6 invited presentations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 8th International Conference on Theory and Applications of Satis ability Testing(SAT2005)providedaninternationalforumforthemostrecentresearch on the satis ablity problem (SAT). SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was the rst problem shown by Cook to be NP-complete. Despite its seemingly specialized nature, satis ability testing has proved to extremely useful in a wide range of di erent disciplines, both from a practical as well as from a theoretical point of view. For example, work on SAT continues to provide insight into various fundamental problems in computation, and SAT solving technology has advanced to the point where it has become the most e ective way of solving a number of practical problems. The SAT series of conferences are multidisciplinary conferences intended to bring together researchers from various disciplines who are interested in SAT. Topics of interest include, but are not limited to: proof systems and proof c- plexity; search algorithms and heuristics; analysis of algorithms; theories beyond the propositional; hard instances and random formulae; problem encodings; - dustrial applications; solvers and other tools. This volume contains the papers accepted for presentation at SAT 2005. The conference attracted a record number of 73 submissions. Of these, 26 papers were accepted for presentation in the technical programme. In addition, 16 - pers were accepted as shorter papers and were presented as posters during the technicalprogramme.Theacceptedpapersandposterpaperscoverthefullran ge of topics listed in the call for papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 508 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 16th Annual Symposium on Combinatorial Pattern Matching was held on Jeju Island, Korea on June 19¿22, 2005. Previous meetings were held in Paris, London, Tucson, Padova, Asilomar, Helsinki, Laguna Beach, Aarhus, Piscataway,Warwick,Montreal,Jerusalem,Fukuoka, Morelia,and Istanbul over the years 1990¿2004. In response to the call for papers, CPM 2005 received a record number of 129papers.Eachsubmissionwasreviewedbyatleast threeProgramCommittee members with the assistance of external referees. Since there were many hi- quality papers, the Program Committee¿s task was extremely di cult. Through an extensive discussion the Program Committee accepted 37 of the submissions tobepresentedattheconference.Theyconstituteoriginalresearchcontributions in combinatorial pattern matching and its applications. Inadditiontotheselectedpapers,CPM2005hadthreeinvitedpresentations, by Esko Ukkonen from the University of Helsinki, Ming Li from the University of Waterloo, and Naftali Tishby from The Hebrew University of Jerusalem. We would like to thank all Program Committee members and external r- erees for their excellent work, especially given the demanding time constraints; they gave the conference its distinctive character. We also thank all who s- mitted papers for consideration; they all contributed to the high quality of the conference. Finally, we thank the Organizing Committee members and the graduates- dents who worked hard to put in place the logistical arrangements of the c- ference. It is their dedicated contribution that made the conference possible and enjoyable.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name ¿Mathematics Mechanization¿ has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di ers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Automated Reasoning in that its goal is to make algorithmic studies and applications of mathematics the major trend of mathematics development in the information age. The International Workshop on Mathematics Mechanization (IWMM) was initiated by Prof. Wu in 1992, and has ever since been held by the Key L- oratory of Mathematics Mechanization (KLMM) of the Chinese Academy of Sciences. There have been seven workshops of the series up to now. At each workshop, several experts are invited to deliver plenary lectures on cutting-edge methods and algorithms of the selected theme. The workshop is also a forum for people working on related subjects to meet, collaborate and exchange ideas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Fast Software Encryption 2005 Workshop was the twelfth in a series of annual workshops on symmetric cryptography, sponsored for the fourth year by the International Association for Cryptologic Research (IACR). The workshop concentratedonallaspectsoffastprimitivesforsymmetriccryptology,i ncluding thedesign,cryptanalysisandimplementationofblockandstreamciphersaswell as hash functions and message authentication codes. The rst FSE workshop was held in Cambridge in 1993, followed by Leuven in 1994, Cambridge in 1996, Haifain1997,Parisin1998,Romein1999,NewYorkin2000,Yokohamain2001, Leuven in 2002, Lund in 2003, and New Delhi in 2004. This year, a total of 96 submissions were received. After an extensive review by the Program Committee, 30 submissions were accepted. Two of these s- missions were merged into a single paper, yielding a total of 29 papers accepted for presentation at the workshop. Also, we were very fortunate to have in the programan invited talk byXuejia Laion ¿Attacks andProtection ofHash Fu- tions¿ and a very entertaining rump session that Bart Preneel kindly accepted to chair. These proceedings contain the revised versions of the accepted papers; the revised versions were not subsequently checked for correctness.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Extreme Programming has come a long way since its rst use in the C3 project almost 10 years ago. Agile methods have found their way into the mainstream, and at the end of last year we saw the second edition of Kent Beck¿s book on Extreme Programming, containing a major refactoring of XP. This year, the 6th International Conference on Extreme Programming and Agile Processes in Software Engineering took place June 18¿23 in She eld. As in the yearsbefore, XP 2005provideda unique forum for industry and academic professionals to discuss their needs and ideas on Extreme Programming and - ile methodologies. These proceedings re ect the activities during the conference which ranged from presentation of research papers, invited talks, posters and demonstrations, panels and activity sessions, to tutorials and workshops. - cluded are also papers from the Ph.D. and Master¿s Symposium which provided a forum for young researchers to present their results and to get feedback. Asvariedastheactivities werethe topicsofthe conferencewhichcoveredthe presentationofnewandimprovedpractices,empiricalstudies,experiencereports and case studies, and last but not least the social aspects of agile methods. The papers and the activities went through a rigorous reviewing process. Each paper was reviewed by at least three Program Committee members and wasdiscussedcarefullyamongtheProgramCommittee.Of62paperssubmitted, only 22 were accepted as full papers. 352 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 2005 Australasian Conference on Information Security and Privacy was the tenth in the annual series that started in 1996.Over the yearsACISP has grown from a relativelysmallconferencewith a largeproportionof paperscoming from Australia into a truly international conference with an established reputation. ACISP 2005 was held at Queensland University of Technology in Brisbane, d- ing July 4¿6, 2005. This year there were 185 paper submissions and from these 45 papers were accepted. Accepted papers came from 13 countries, with the largest proportions coming from Australia (12), China (8) and Japan (6). India and Korea both contributed 2 papers and one came from Singapore. There were also 11 papers from European countries and 3 from North America. We would like to extend our sincere thanks to all authors who submitted papers to ACISP 2005. The contributed papers were supplemented by four invited talks from e- nent researchers in information security. The father-and-son team of Prof. and Dr. Bob Blakley (Texas A&M University and IBM) gave a talk entitled ¿All Sail, No Anchor III,¿ following up on a theme started at their ACISP 2000 - vited talk. Adrian McCullagh (Phillips Fox Lawyers and QUT) talked on the bene t and perils of Internet banking. Ted Dunstone (Biometix) enlightened us on multimodal biometric systems. Yvo Desmedt (University College London) elucidated the growing gap between theory and practice in information security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 604 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -facto) standardnotation and languagesfor serviceo- ented design, e. g. web services orchestration languages, was explicitly welcome.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005). The Petri net conferences serve to discuss yearly progress in the eld of Petri nets and related models of concurrency, and to foster new - vancesintheapplicationandtheoryofPetrinets.Theconferencestypicallyhave 100¿150 participants, one third from industry and the others from universities and research institutions, and they always take place in the last week of June. SuccessiveeditionsoftheconferencearecoordinatedbytheSteeringC ommittee, whose members are listed on the next page, which also supervises several other activities¿see the Petri Nets World at the URLdaimi.au.dk/PetriNets. The 2005 conference was organized in Miami by the School of Computer Science at Florida International University (USA). We would like to express our deep thanks to the Organizing Committee, chaired by Xudong He, for the time and e ort invested to the bene t of the community in making the event successful. Several tutorials and workshops were organized within the conf- ence, covering introductory and advanced aspects related to Petri nets. Detailed information can be found at the conference URLcs.fiu.edu/atpn2005. We received altogether 71 submissions from authors in 22 countries. Two submissions were not in the scope of the conference. The Program Comm- tee selected 23 contributions from the remaining 69 submissions, classi ed into three categories: application papers (6 accepted, 25 submitted), theory papers (14 accepted, 40 submitted), and tool presentations (3 accepted, 4 submitted).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -NLDB 2005, the 10th International Conference on Applications of Natural L- guage to Information Systems, was held on June 15¿17, 2005 at the University of Alicante, Spain. Since the rst NLDB conference in 1995 the main goal has been to provide a forum to discuss and disseminate research on the integration of natural language resources in information system engineering. The development and convergence of computing, telecommunications and information systems has already led to a revolution in the way that we work, communicate with each other, buy goods and use services, and even in the way that weentertainandeducate ourselves.The revolutioncontinues,andoneof its results is that large volumes of information will increasingly be held in a form which is more natural for users than the data presentation formats typical of computer systems of the past. Natural language processing (NLP) is crucial in solving these problems, and language technologies will make an indispensable contribution to the success of information systems. We hope that NLDB 2005 was a modest contribution to this goal. NLDB 2005 contributed to advancing the goals and the high international standing of these conferences, largely due to its Program Committee, composed of renowned researchers in the eld of natural language processing and inf- mation system engineering. Papers were reviewed by three reviewers from the Program Committee. This clearly contributed to the signi cant number of - pers submitted(95).Twenty-ninewereacceptedasregularpapers,while18were accepted as short papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the refereed proceedings of the 3rd International Conf- ence on Sequences and Their Applications (SETA 2004), held in Seoul, Korea during October 24¿28, 2004. The previous two conferences, SETA 1998 and SETA 2001, were held in Singapore and Bergen, Norway, respectively. These conferences are motivated by the many widespread applications of sequences in modern communication systems. These applications include pseudorandom sequences in spread spectrum systems, code-division multiple-access, stream ciphers in cryptography and several connections to coding theory. The Technical Program Committee of SETA 2004 received 59 submitted - pers, many more than the submissions to previous SETA conferences. The C- mittee therefore had the di cult task of selecting the 33 papers to be presented at the Conference in addition to four invited papers. The authors of papers p- sented at the conference were invited to submit full papers that were refereed before appearing in this proceedings. These proceedings have been edited by the Co-chairs of the Technical P- gram Committee for SETA 2004: Tor Helleseth of the University of Bergen, Norway, and Dilip Sarwate of the University of Illinois at Urbana-Champaign, USA, and Technical Program Committee members Hong-Yeop Song of Yonsei University, Korea, and Kyeongcheol Yang of Pohang University of Science and Technology, Korea.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -We welcome you to the proceedings of IWQoS 2005 held at the University of Passau, in the beautiful state of Bavaria, Germany. We hope that all attendees enjoyed their time in that ancient and historic city. Quality of Service(QoS) continues to be an important area of research. T- ditionally very focused on the area of networking, it has grown to include mobile applications, wireless environments, 3G and 4G cellular networks, user expe- ence,overlay networks, large-scale systemsand other important areas ofappli- tion. Six full-paper sessions that comprised selected papers of very high quality were devoted to the above mentioned, cutting-edge topics in this volume. We had a fascinating cross-disciplinary program and hope to have seeded conn- tions between di erent disciplines and between industry and academia. In addition to the reviewed paper sessions, we were pleased to present two inspiring keynote speakers in this year¿s program: Randy Katz,Universityof California, Berkeley, USA, and Michael Stal,SiemensAG,Munich,Germany. One speaker being from academia and one from industry, re ected well the balanced view of this workshop. Both keynotes extended the scope of QoS and addressed pressing issues, such as ¿spam,¿ and leading trends, such as ¿service orientation,¿ and their relevance to QoS.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book provides graduate students and practitioners with knowledge of the CORBA standard and practical experience of implementing distributed systems with CORBA's Java mapping. With tested code examples that will run immediately!Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -ThisvolumecontainstheproceedingsoftheIFIPWG6. 1InternationalWorking Conference on Distributed Applications and Interoperable Systems V held in Athens, Greece, on June 15¿17, 2005. The conference program presented the state of the art in research concerning distributed and interoperable systems. The emergence of 4th-generation c- munication systems, the evolution of Internet technologies, the convergence of telecom and datacom, wireless and xed communication systems and appli- tions pave the path for ubiquitous service and application provision. Innovative solutions are required for the development, implementation and operation of distributed applications in complex IT environments full of diversity and h- erogeneity. Today, the emerging wide spectrum of distributed systems ¿ ranging from ambient intelligence to global computing scenarios ¿ lacks systematic - plication development support. Following the evolution of the eld, DAIS 2005 focuses on models, technologies and platforms for interoperable, scalable and adaptable distributed applications within all kinds of computing environments. The papers presented at DAIS 2005 cover methodological aspects of building and architecting distributed and interoperable services, interoperability te- nologies, context- and location-based applications, con gurability of commu- cation services, performance issues, data-integration issues, and Web services. In comparison to earlier events, the submissions showed increased interest towards methodological aspects and large-scale system interoperability. These proceedings contain 16 regular and 5 short papers, which were - lected in a careful, international reviewing process.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The1stEuropeanWorkshoponSoftwareArchitecture(EWSA2004)washeldin St Andrews, Scotland on 21¿22 May 2004. The workshop provided an inter- tional forum for researchers and practitioners from academia and industry to discuss a wide range of topics in the area of software architecture and to jointly formulate an agenda for future research. We were pleased to continue this forum in EWSA 2005. The importance of software architecture as a fundamental area of software engineeringcontinues togrow.Inaddition todescribingtheunderlyingstructure of software systems, architectures are now being used to model and understand dynamicbehavior.Newareasofstudy,whichhavetheirrootsincontrolsystems, arebeginningtoemerge.The eldofautonomicsrequiresanunderlyingsoftware architecture to describe the executing computation as does any control system that involves system evolution. The range of papers in EWSA 2005 re ected both the traditional and new applications of software architecture techniques. EWSA 2005 distinguished between three types of papers: research papers (which describe authors¿ novel research work), a case study (which describes experiencesrelatedtosoftwarearchitectures)andpositionpapers(whichpresent concise arguments about a topic of software architecture research or practice). TheProgrammeCommitteeselected18papers(12researchpapers,4position papers, 1 case study, and 1 unrefereed invited paper) out of 41 submissions from 20 countries (Australia, Belgium, Brazil, Chile, China, Czech Republic, Finland, France, Germany, India, Italy, Ireland, Korea, Netherlands, Pakistan, Portugal, Spain, Switzerland, UK, USA). All submissions were reviewed by at least three members of the Programme Committee. Papers were selected based on originality, quality, soundness and relevance to theworkshop. Credit for the quality of the proceedings goes to all authors of papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Buch. Condizione: Neu. Neuware -The nite element method is one of the major tools used in the numerical solution of partial di erential equations. This book o ers a fundamental and practical introduction to the method, its variants, and their applications. In presenting the material, I have attempted to introduce every concept in the simplest possible setting and to maintain a level of treatment that is as rigorous as possible without being unnecessarily abstract. The book is based on the material that I have used in a graduate course at Southern Methodist University for several years. Part of the material was alsousedformyseminarnotesatPurdueUniversity,UniversityofMinnesota , andTexasA&MUniversity.Furthermore,thisbookwasthebasisforsummer schools on the nite element method and its applications held in China, Iran, Mexico, and Venezuela. This book covers six major topics and four applications. In Chap. 1, the 1 2 standard (H-and H -conforming) nite element method is introduced. In Chaps.2and3,twocloselyrelated niteelementmethods,thenonconforming and the mixed nite element methods, are discussed. The discontinuous and characteristic niteelementmethodsarestudiedinChaps.4and5;thesetwo methods have been recently developed. The adaptive nite element method is considered in Chap. 6. The last four chapters are devoted to applications of these methods to solid mechanics (Chap. 7), uid mechanics (Chap. 8), uid ow in porous media (Chap. 9), and semiconductor modeling (Chap. 10).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Visual notations and languages continue to play a pivotal role ¿ in the design of complex software systems. In many cases visual notations are used to - scribe usage or interaction scenarios of software systems or their components. While representing scenarios using a visual notation is not the only possibility, a vast majority of scenario description languages is visual. Scenarios are used in telecommunications as Message Sequence Charts, in object-oriented system design as Sequence Diagrams, in reverse engineering as execution traces, and in requirements engineering as, for example, Use Case Maps or Life Sequence Charts. These techniques are used to capture requirements, to capture use cases in system documentation, to specify test cases, or to visualize runs of existing systems. They are often employed to represent concurrent systems that int- act via message passing or method invocation. In telecommunications, for more than 15 years the International Telecommunication Union has standardized the Message Sequence Charts (MSCs) notation in its recommendation Z. 120. More recently, with the emergence of UML as a predominant software design meth- ology, there has been special interest in the development of the sequence d- gram notation. As a result, the most recent version, 2. 0, of UML encompasses the Message Sequence Chart notation, including its hierarchical modeling f- tures. Other scenario- avored diagrams in UML 2. 0 include activity diagrams and timing diagrams.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains a selection of the papers presented at LOPSTR 2004, the 14th International Symposium on Logic-Based Program Synthesis and Transf- mation. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The workshop is open to contributions in logic-based program development in any language paradigm. This year, LOPSTR put extra emphasis on the eld of veri cation by incorporating the VCL (Veri cation in Computational Logic) workshop. LOPSTR 2004 took place in Verona, Italy, and was co-located with the - ternational Static Analysis Symposium (SAS 2004), the ACM SIGPLAN 2004 Workshop on Partial Evaluation and Semantics Based Program Manipulation (PEPM 2004), and the 6th ACM-SIGPLAN International Conference on Pr- ciples and Practice of Declarative Programming (PPDP 2004). Past workshops were held in Manchester (UK), Louvain-la-Neuve (Belgium), Pisa(Italy),Arnhem(theNetherlands),Stockholm(Sweden),Leuven(Belgium) , Venice (Italy), London (UK), Paphos (Cyprus), Madrid (Spain) and Uppsala (Sweden). Since 1994 the proceedings have beenpublished in the Springer LNCS series. We received 23 full paper submissions (1 from Australia, 3 from the US, 4 1 from Asia, 3 from Africa, 11 from Europe , and one Spain¿US cooperation), and 11 extended abstract submissions (1 from Israel, 1 from Africa, one US¿Spain 2 cooperation,andtheotherswerefromEurope ).Weacceptedforpresentation11 full papers and 8 extended abstracts. This volume contains a selection consisting of the 11 full papers and of the full version of 6 of the extended abstracts.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The British National Conference on Databases (BNCOD) was established in 1980 as a forum for research into the theory and practice of databases. The original conference in the series took place at the University of Aberdeen. To be precise, this conference was in fact entitled ICOD which stood for International Conference on Databases. It was the intention, when the series began, that an ICOD would take place every two years, whilst a BNCOD would run in the years in between. As the record shows ICOD was only held in 1980 and 1983. The more junior conference has managed to acquire a lifetime much longer than that of its senior relative! If truth wereknown,however,BNCOD has,overthe years,growninto ICOD and although the conference is still titled ¿British National,¿ it is, in fact, an international conference that takes place on a yearly basis. Proof of this can be obtained simply by looking at the table of contents of these proceeding which clearlyshowthatthe majorityofpaperspresentedatthis year¿sconferencecame from contributors whose a liations are outside the UK. Despitetherangeofpapersono er,BNCODstillretainsitsuniquelyBritish avor. The Programme Committee is drawn from UK academics and the c- ference is always held at a British university (or in earlier years a polytechnic!).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.