Computers - Computer Science

The two-volume set (LNCS 6728 and 6729) constitutes the refereedproceedings of the International Conference on Swarm Intelligence, ICSI2011, held in Chongqing, China, in June 2011.The 143 revised full papers presented were carefully reviewed and selected from 298 submissions. The papers are organized in topical...

This book constitutes the refereed proceedings of the 11th International Conference on Developments in Language Theory, DLT 2007, held in Turku, Finland in July 2007. It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; algebraic...

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational...

The Workshop on Parameterized and Exact Computation (IWPEC) is an - ternational workshop series that covers research in all aspects of parameterized and exact algorithms and complexity, and especially encourages the study of parameterized and exact computations for real-world applications and algori- mic engineering....

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Privacy Enhancing Technologies, PET 2006, held in Cambridge, UK, in June 2006 co-located with WEIS 2006, the Workshop on the Economics of Information Security, and WOTE 2006, the IAVoSS Workshop On...

This book constitutes the refereed proceedings of the 8th International Algorithmic Number Theory Symposium, ANTS 2008, held in Banff, Canada, in May 2008. The 28 revised full papers presented together with 2 invited papers were carefully reviewed and selected for inclusion in the book....

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with...

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers...

This book provides a good introduction to the classical elementary number theory and the modern algorithmic number theory, and their applications in computing and information technology, including computer systems design, cryptography and network security. In this 2nd edition proofs of many theorems have been...

This book constitutes the refereed proceedings of the 6th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition, GbRPR 2007, held in Alicante, Spain in June 2007. It covers matching, distances and measures, graph-based segmentation and image processing, graph-based clustering, graph representations, pyramids, combinatorial...

This book constitutes the strictly refereed proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS 98, held in Paris, France, in February 1998.The volume presents three invited surveys together with 52 revised full papers selected from a total of 155...

This book constitutes the refereed proceedings of the 12th International Symposium on Fundamentals of Computation Theory, FCT '99, held in Iasi, Romania in August/September 1999.The 42 revised full papers presented together with four invited papers were carefully selected from a total of 102 submissions....

This volume contains the proceedings of the Second International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT 2009), held in Orlando, Florida on September 30, 2009 in conjunction with the 11th International Conference on Ubiquitous Computing (Ubicomp 2009). MELT provides a...

This book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, CLA 2006, held in Tunis, Tunisia, October 30-November 1, 2006. The 18 revised full papers together with 3 invited contributions presented were carefully reviewed and selected from...

This volume contains the proceedings of the 15th Spring School of the LITP (Laboratoire d'Informatique Théorique et de Programmation, Université Paris VI-VII, CNRS) held from May 25 to 29, 1987 in Saint-Pierre d'Oléron. The meeting was organized by M. Borillo, M. Gross, M. Nivat...

This volume presents the proceedings of the eleventh in a series of workshops on cryptology sponsored by the International Association for Cryptologic Research. All theoretical and practical aspects of cryptology are represented.Author: Joan FeigenbaumISBN-10: 3540551883ISBN-13: 9783540551881Publisher: SpringerLanguage: EnglishPublished: 02/26/1992Pages: 484Format: PaperbackWeight: 1.52lbsSize: 9.21h x...

This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a...

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A....

With all of the news about the Internet and the Y2K problem, it is easy to forget that other areas of computer science still exist. Reading the newspaper or watching the television conveys a very warped view of what is happening in computer science....

This book constitutes the refereed proceedings of the 26th Annual International Cryptology Conference, CRYPTO 2006, held in Santa Barbara, California, USA in August 2006. The 34 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 250 submissions. The...

The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003. The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61...

This volume constitutes the thoroughly refereed post-workshop proceedings of an international workshop on fuzzy logic in Artificial Intelligence held in Negoya, Japan during IJCAI '97.The 17 revised full papers presented have gone through two rounds of reviewing and revision. Three papers by leading authorities...

The RSA Conferenceis attended by over10,000securityprofessionalseach year. The Cryptographers' Track (CT-RSA), one of several parallel tracks at the c- ference, provides an excellent opportunity for cryptographers to showcase their research to a wide audience. CT-RSA 2005 was the ?fth year of the Cryptog- phers'...

This book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held in Merin, Czech Republic. The 45 revised full papers, presented together with 10 invited contributions were carefully reviewed and selected from 157 submissions. The...

It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?cation and Analysis (ATVA) in Taipei, Taiwan, ROC, October 31- November3,2004.TheseriesofATVAmeetingsisintendedforthepromotionofrelated research in eastern Asia. In the last decade, automated technology on veri?cation has become the new strength in...

This volume constitutes the proceedings of the DIMACS International Workshop on Graph Drawing, GD '94, held in Princeton, New Jersey in October 1994.The 50 papers and system descriptions presented address the problem of constructing geometric representations of abstract graphs, networks and hypergraphs, with applications...

The ISSAC'88 is the thirteenth conference in a sequence of international events started in 1966 thanks to the then established ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM). For the first time the two annual conferences "International Symposium on Symbolic and Algebraic...

The 2nd International Workshop on Statistical Methods in Video Processing, SMVP 2004, was held in Prague, Czech Republic, as an associated workshop of ECCV 2004, the 8th European Conference on Computer Vision. A total of 30 papers were submitted to the workshop. Of these,...

Computers arechanging the way wethink. Of course, nearly all desk-workers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I'm not referring to that. I mean that people have begun to think about...

Since 1984, the Arti?cial Intelligence: Methodology, Systems, and Appli- tions (AIMSA) conference series has provided a biennial forum for the pres- tation of arti?cial intelligence research and development. The conference covers the full range of topics in AI and related disciplines and provides an...

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...

This book is the final report on a comprehensive basic research project, named GOSLER on algorithmic learning for knowledge-based systems supported by the German Federal Ministry of Research and Technology during the years 1991 - 1994. This research effort was focused on the study...

This book, based on the author's Ph.D. thesis, was selected during the 1995 GI Doctoral Dissertation Competition as the winning thesis in the foundations-of-informatics track.Securing integrity for digital communications in the age of global electronic information exchange and electronic commerce is vital to democratic...

WAIM 2004, Dalian (China), 15-17 July, was hosted by Northeastern Univ- sity, China and Dalian University of Technology, China in cooperation with the Database Society of CCF. It was the International Conference on Web-Age Information Management. WAIM 2004 brought together participants from u- versities,...

No book is born in a vacuum. There must always be somebody who needs the book, somebody who will read and use it, and somebody who will write it. I walked with the idea of this book for a long time. However, its final...

th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 - 21, 2006. Responding to the Call for Papers, we received 62 papers from 20 different countries, representing six different continents. This clearly indicates the international...

The field of Cryptology witnessed a revolution in the late seventies. Since then it has been expanded into an important and exciting area of research. Over the last two decades, India neither participated actively nor did it contribute sig- nificantly towards the development in...

This book constitutes the refereed proceedings of the 10th International Conference on Developments in Language Theory, DLT 2006, held in Santa Barbara, CA, June 2006. The book presents 36 revised full papers together with 4 invited papers. All important issues in language theory are...

Thisvolumecontainsrefereedpapersdevotedtocodingandcryptography.These papers arethe full versionsof a selectionof the best extended abstractsaccepted for presentation at the International Workshop on Coding and Cryptography (WCC 2005) held in Bergen, Norway, March 14-18, 2005. Each of the 118 - tended abstracts originallysubmitted to the workshop were reviewed by...

On behalf of the Program Committee, it is our pleasure to present the proceedings of the 8th Symposium on Recent Advances in Intrusion Detection (RAID 2005), which took place in Seattle, Washington, USA, September 7-9, 2005. The symposium brought together leading researchers and practitioners...

This work brings together two streams in computer algebra: symbolic integration and summation on the one hand, and fast algorithmics on the other hand. In many algorithmically oriented areas of computer science, theanalysisof- gorithms-placedintothe limelightbyDonKnuth'stalkat the 1970ICM -provides a crystal-clear criterion for success. The...

Sincerely welcome to proceedings of the 1st International Conference on Trust and Privacy in Digital Business, Zaragoza, Spain, held from August 30th to September 1st, 2004. This conference was an outgrowth of the two successful TrustBus inter- tional workshops, held in 2002 and 2003...

This volume contains the proceedings of the Twelfth Annual International S- posiumonAlgorithmsandComputation(ISAAC2001), heldinChristchurch, NewZealand,19-21December2001. Inthepast, ithasbeenheldinTokyo(1990), Taipei(1991), Nagoya(1992), HongKong(1994), Cairnes(1995), Osaka(1996), Singapore(1997), Taejon, Korea(1998), Madras(1999), andTaipei(2000). Since thethirdinNagoya, theproceedingshavebeenpublishedinSpringer-Verlag's Lecture Notes in Computer Science series. AlthoughthesymposiumrotatesmainlyintheAsia/Paci?cregion, ther- ereeingprocesswasconductedinternationally, andresearchersgatheredfrom allovertheworld. Wereceived124submissionsfrom32countries, ofwhich 62 papers...

Author: Brian R. JefferiesISBN-10: 3540219234ISBN-13: 9783540219231Publisher: SpringerLanguage: EnglishPublished: 05/13/2004Pages: 184Format: PaperbackWeight: 0.62lbsSize: 9.21h x 6.14w x 0.42d

Information systems can be complex due to numerous factors including scale, decentralization, heterogeneity, mobility, dynamism, bugs and failures. Depl- ing, operating and maintaining such systems can be not only very di?cult, but also very costly. A ?urry of recent activity has been directed at...

Starting with Napster and Gnutella, peer-to-peer systems became an integrated part of the Internet fabric attracting millions of users. According to recent evaluations, peer-to-peer traffic now exceeds Web traffic, once the dominant traffic on the Internet. While the most popular peer-to-peer applications remain file...

This book constitutes the refereed proceedings of the 5th Workshop on Algorithm Engineering, WAE 2001, held in Aarhus, Denmark, in August 2001. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. Among the topics addressed are implementation, experimental testing,...

This volume contains the proceedings of ICALP 88, held at Tampere University of Technology, Finland, July 11-15, 1988. ICALP 88 is the 15th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science...

This volume comprises the proceedings of the 4th Conference on Advanced - cryption Standard, 'AES - State of the Crypto Analysis, ' which was held in Bonn, Germany, during 10-12 May 2004. The conference followed a series of events organized by the US National...

Author: E. W. NgISBN-10: 3540095195ISBN-13: 9783540095194Publisher: SpringerLanguage: EnglishPublished: 06/01/1979Pages: 563Format: PaperbackWeight: 1.77lbsSize: 9.21h x 6.14w x 1.17d