Computers - Computer Science

As information technology (IT) becomes specialized and fragmented, it is easy to lose sight that many topics have common threads and because of this, advances in one s- discipline may transmit to another. The presentation of results between different s- disciplines encourages this interchange...

This book constitutes the refereed best selected papers of the 5th International Symposium on Parameterized and Exact Computation, IPEC 2010, held in Chennai, India, in December 2010. The 19 revised full papers presented were carefully reviewed and selected from 32 submissions. The topics addressed...

This book constitutes the refereed proceedings of the 23rd Australasian Joint Conference on Artificial Intelligence, AI 2010, held in Adelaide, Australia, in December 2010. The 52 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical...

This book constitutes the refereed proceedings of the 11th International Conference on Cryptology in India, INDOCRYPT 2010, held in Hyderabad, India, in December 2010. The 22 revised full papers were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections...

Locally computable (NC0) functions are "simple" functions for which every bit of the output can be computed by reading a small number of bits of their input. The study of locally computable cryptography attempts to construct cryptographic functions that achieve this strong notion of...

Data management has evolved over the years from being strictly associated with database systems, through active databases, to become a topic that has grown beyond the scope of a single field encompassing a large range of subjects, such as distributed systems, event-driven systems, and...

Securing complex and networked systems has become increasingly important as these systems play an indispensable role in modern life at the turn of the - formation age. Concurrently, security of ubiquitous communication, data, and computing poses novel research challenges. Security is a multi-faceted problem...

This book constitutes the refereed proceedings of the 20th Irish Conference on Artificial Intelligence and Cognitive Science, AICS 2009, held in Dublin, Ireland in August 2009. The 32 papers presented were carefully reviewed and selected for inclusion in the book. The topics covered are...

This volume contains the papers presented at ALGOSENSORS 2010, the 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, held on July 5, 2010 in Bordeaux, France. There were 31 submissions. Each submission was reviewed by four...

This book constitutes the proceedings of the Second International Workshop on Motion in Games, held in Utrecht, The Netherlands, in November 2010.The 30 revised full papers presented together with 9 revised poster papers in this volume were carefully reviewed and selected. The papers are...

The Fifth International Workshop on Security (IWSEC 2010) was held at Kobe InternationalConferenceCenter, Kobe, Japan, November22-24,2010. Thewo- shop was co-organized by CSEC, a special interest group concerned with the computer security of the Information Processing Society of Japan (IPSJ) and ISEC, atechnicalgroupconcernedwiththe informationsecurityofTheInstitute of...

Constitutes the refereed post-conference proceedings of the 6th European Workshop on Public Key Services, Applications and Infrastructures, EuroPKI 2009, held in Pisa, Italy, in September 2009.Author: Fabio MartinelliISBN-10: 3642164404ISBN-13: 9783642164408Publisher: SpringerLanguage: EnglishPublished: 10/25/2010Pages: 303Format: PaperbackWeight: 1.05lbsSize: 9.10h x 6.00w x 0.70d

Property Testing is the study of super-fast (randomized) algorithms for approximate decision making. These algorithms are given direct access to items of a huge data set, and determine, whether this data set has some predetermined (global) property or is far from having this property....

Constitutes the refereed proceedings of the International RuleML Symposium on Rule Interchange and Applications, RuleML 2010, held in Washington, DC, USA, in October 2010 - collocated with the 13th International Business Rules Forum Conference 2010.Author: Mike DeanISBN-10: 3642162886ISBN-13: 9783642162886Publisher: SpringerLanguage: EnglishPublished: 10/06/2010Pages: 305Format: PaperbackWeight:...

The 9th issue of the Transactions on Computational Science journal, edited by François Anton, is devoted to the subject of Voronoi diagrams in science and engineering. The 9 papers included in the issue constitute extended versions of selected papers from the International Symposium on...

The Mexican Conference on Pattern Recognition 2010 (MCPR 2010) was the second event organized by the Mexican Association for Computer Vision, N- rocomputing and Robotics (MACVNR). These conferences provide a forum for exchanging scienti?c results and experiences, sharing new knowledge, and - creasing the...

A that book constitutes the refereed proceedings of the First Joint International Workshop on Statistical Atlases and Computational Models of the Heart and Cardiac Electrophysiological Simulation Challenge, STACOM-CESC 2010, that was held in conjunction with MICCAI 2010, in Beijing, China, in September 2010.Author: Oscar...

Since its first edition in 2003, the XML Database Symposium series (XSym) has been a forum for academics, practitioners, users and vendors, allowing all to discuss the use of and synergy between database management systems and XML. The symposia have provided many opportunities for...

The EuropeanSymposium on Researchin Computer Security (ESORICS) has a tradition that goes back two decades. It tries to bring together the international research community in a top-quality event that covers all the areas of computer security, ranging from theory to applications. ESORICS 2010 was...

The ?rst edition of the International Colloquium on Grammatical Inference (ICGI) was held in Essex (United Kingdom) in 1993. After the success of this meeting there have been eight more editions that have been hosted by di- rent academic institutions across the world: Alicante...

The 16th annual International Conference on the Principles and Practice of Constraint Programming (CP 2010) was held in St. Andrews, Scotland, during September 6-10, 2010. We would like to thank our sponsors for their generous support of this event. This conference is concerned with...

We are pleased to present the proceedings of the 10th Workshop on Algorithms in Bioinformatics (WABI 2010) which took place in Liverpool, UK, Sept- ber 6 8, 2010. The WABI 2010 workshop was part of the four ALGO 2010 conference meetings, which, in addition...

ThisvolumecontainsthepaperspresentedatThe11thPaci?cRimInternational Conference on Arti?cial Intelligence (PRICAI 2010) held during August 30 September 2, 2010 in Daegu, one of the most dynamic urban cities in Korea with a rich traditional cultural heritage. PRICAI is a biennial conference inaugurated in Tokyo in 1990 to promote collaborativeexploitationofarti?cialintelligence(AI)inthePaci?cRimnations....

Thisvolumecontainstheinvitedandregularpaperspresentedat TCS 2010, the 6thIFIP International Conference on Theoretical Computer Science, organised by IFIP Tech- cal Committee 1 (Foundations of Computer Science) and IFIP WG 2.2 (Formal - scriptions of Programming Concepts) in association with SIGACT and EATCS. TCS 2010 was part of the...

st This volume contains the proceedings of two conferences held as part of the 21 IFIP World Computer Congress in Brisbane, Australia, 20-23 September 2010. th The first part of the book presents the proceedings of DIPES 2010, the 7 IFIP Conference on Distributed...

The series of MFCS symposia, organized in rotation by Poland, Slovakia, and the Czech Republic since 1972, has a long and well-established tradition. The symposiaencouragehigh-qualityresearchinallbranchesoftheoreticalcomputer science.Their broadscopeprovidesanopportunityto bring together researchers whodonotusuallymeetatspecialized conferences. The 35th International Symposium on Mathematical Foundations of C- puter Science (MFCS...

Constitutes the refereed proceedings of the 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 held in Natal, Brazil, in September 2010.Author: Ana CavalcantiISBN-10: 3642148077ISBN-13: 9783642148071Publisher: SpringerLanguage: EnglishPublished: 08/11/2010Pages: 397Format: PaperbackWeight: 1.35lbsSize: 9.30h x 6.10w x 0.90d

This volume contains the 16 papers presented at the INTRUST 2009 conf- ence, held in Beijing, China in December 2009. INTRUST 2009 was the ?rst international conference on the theory, technologies and applications of trusted systems. It was devoted to all aspects of trusted...

Constitutes the refereed proceedings of the 9th International Algorithmic Number Theory Symposium, ANTS 2010, held in Nancy, France, in July 2010. This book features the papers that are devoted to algorithmic aspects of number theory, including elementary number theory, algebraic number theory, analytic number...

This book constitutes the refereed proceedings of the 10th International Symposium, PETS 2010, held in Berlin, Germany in July 2010. The 16 revised full papers were carefully reviewed and selected from 57 submissions for inclusion in the book. The papers handle topics such as...

ICITS2009washeldattheShizuokaConventionandArtsCenter"GRANSHIP" in Japan during December 3-6,2009.This was the 4th International Conference on Information Theoretic Security. Over the last few decades, we have seen several research topics studied - quiringinformationtheoreticalsecurity, alsocalledunconditionalsecurity, where there is no unproven computational assumption on the adversary. (This is the framework...

The Third International Conference on Network Security and Applications (CNSA-2010) focused on all technical and practical aspects of security and its applications for wired and wireless networks. The goal of this conference is to bring together researchers and practitioners from academia and industry to...

The 14th International Conference on Developments in Language Theory (DLT 2010) was held in London, Ontario, Canada on the beautiful campus of the University of Western Ontario. It was a four-day conference starting August 17 and ending August 20, 2010. The DLT conference series...

Contains the refereed post-conference proceedings of the First International Self-Organizing Architectures Workshop (SOAR) in Cambridge, UK, in September 2009. This book includes 9 revised papers, which were selected from 17 submissions of the workshop, as well as 4 invited papers.Author: Danny WeynsISBN-10: 364214411XISBN-13: 9783642144110Publisher:...

This book celebratesthe 25th anniversaryof GULP--the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of their ?elds, it presents an up-to-date survey of a broad collection of topics in logic programming, making it a useful reference for both researchers and students. During its...

This volume contains a selection of the papers accepted for oral presentation at the 13th Conference of the Spanish Association for Arti?cial Intelligence (CAEPIA 2009) and its associated Conference on Arti?cial Intelligence Te- nology Transfer (TTIA 2009), held in Seville, November 9 13, 2009....

Constitutes the refereed proceedings of the 7th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2010, held in Bonn, Germany, in July 2010. This book features the papers that are organized in topical sections on host security, trends, vulnerabilities, intrusion...

The International Conference on Wireless and Mobile networks (WiMo) aims to bring together innovative ideas and new research trends in wireless and mobile networks. Wireless networks are the best inventions in history. Wireless networking gives you a cheap and easy way to share one...

ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICALP is a series of annual conference of the European Association for Th- retical Computer Science (EATCS) which ?rst took place in...

The EUNICE (European Network of Universities and Companies in Information and Communication technology) (http: //www.eunice-forum.org) mission is to jointly - velop and promote the best and most compatible standard of European higher edu- tion and professionals in ICT by increasing scientific and technical knowledge...

CiE 2010: Programs, Proofs, Processes Ponta Delgada, Azores, Portugal, June 30 July 4 2010 The last few years, starting in 2005 with out inaugural conference in Amst- dam, have seen a development from an informal cooperation via an increasingly established conference series to an...

This volume contains the proceedings of the Third International Conference on Trust and Trustworthy Computing (TRUST), held at the Ritz-Carlton hotel in Berlin, Germany, June 21-23, 2010. TRUST is a rapidly growing forum for research on the technical and soc- economic aspects of trustworthy...

These are the proceedings of WAIFI 2010, the Third International Workshop on theArithmeticofFiniteFields, heldinIstanbul, Turkey, duringJune27-30,2010. The ?rst workshop, WAIFI 2007, was held in Madrid, Spain, and then WAIFI 2008 was held in Siena, Italy. In 2008, the workshop series was made biannual and...

This book constitutes the proceedings of the 24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, held in Rome Italy in June 2010. The 18 full and 11 short papers presented in this volume were carefully reviewed and selected from 61...

Constitutes the proceedings of the 12th International Scandinavian Workshop on Algorithm Theory, held in Bergen, Norway in June 2010.Author: Haim KaplanISBN-10: 364213730XISBN-13: 9783642137303Publisher: SpringerLanguage: EnglishPublished: 06/09/2010Pages: 448Format: PaperbackWeight: 1.45lbsSize: 9.20h x 6.20w x 0.90d

This volume consists of the proceedings of the 31th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010). The Petri Net conferences serve as annual meeting places to discuss the progress in the ?eld of Petri...

The14thPaci?c-AsiaConferenceonKnowledgeDiscoveryandData Mining was held in Hyderabad, India during June 21-24, 2010; this was the ?rst time the conference was held in India. PAKDDisamajorinternationalconferenceintheareasofdatamining (DM) and knowledge discovery in databases (KDD). It provides an international - rum for researchers and industry practitioners to share their...

This volume of Springer's Lecture Notes in Computer Science series comprises th the scienti?c proceedings of the 10 International Workshop on Digital Mammography (IWDM), which was held June 16-18, 2010 in Girona, Cata- nia. The IWDMmeetingstraditionallybringtogetheradiversesetofresearchers (physicists, mathematicians, computer scientists, engineers), clinicians (radi- ogists,...

In2010theInternationalFederatedConferenceonDistributedComputingTe- niques (DisCoTec) tookplacein Amsterdam, during June 7-9. It washosted and organized by the Centrum voor Wiskunde & Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal speci?cation techniques to practical considerations. The 12th International...

The 7th Annual Conference on Theory and Applications of Models of Compu- tion was held during June 7-11, 2010 in Prague. After six successful conferences held in 2004-2009 in China (Beijing, Kunming, Beijing, Shanghai, Xi'an, and ChangSha) TAMC left Asia for the ?rst time,...