This volume contains the papers presented at the 30th Symposium on Mat- matical Foundations of Computer Science (MFCS 2005)held in Gdansk, Poland fromAugust29thto September 2nd,2005.TakingplacealternatelyintheCzech Republic, Slovakia and Poland, this year the conference was organized by the Institute of Mathematics of Gdansk University. From the ?rst meeting in 1972 to this year s 30th event, the MFCS series has provided a basis for theoretical computer scientists to present their latest research results. The scope of the conference, consequently, covers all branches of theoretical computer...
This volume contains the papers presented at the 30th Symposium on Mat- matical Foundations of Computer Science (MFCS 2005)held in Gdansk, Poland from...
The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of - search groups, events, conferences, and summer schools that address the study of foundations for the analysis and the design of security aspects. The "Int- national School on Foundations of Security Analysis and Design" (FOSAD, see http: //www.sti.uniurb.it/events/fosad/)has been one of the foremost events - tablishedwiththegoalofdisseminatingknowledgeinthiscriticalarea, especially for young researchers approaching the ?eld and graduate...
The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing numb...
Constitutes the post-proceedings of the 10th International Conference on Computer Aided Systems Theory, EUROCAST 2005, held in Las Palmas de Gran Canaria, Spain in February 2005. This book includes 83 papers, which are organized in topical sections on formal approaches in modelling, intelligent information systems, computer vision, and more.
Constitutes the post-proceedings of the 10th International Conference on Computer Aided Systems Theory, EUROCAST 2005, held in Las Palmas de Gran Cana...
Introduction The PARA workshops in the past were devoted to parallel computing methods in science and technology. There have been seven PARA meetings to date: PARA'94, PARA'95 and PARA'96 in Lyngby, Denmark, PARA'98 in Umea, ? Sweden, PARA 2000 in Bergen, N- way, PARA 2002 in Espoo, Finland, and PARA 2004 again in Lyngby, Denmark. The ?rst six meetings featured lectures in modern numerical algorithms, computer science, en- neering, and industrial applications, all in the context of scienti?c parallel computing. This meeting in the series, the PARA 2004 Workshop with the title "State of the...
Introduction The PARA workshops in the past were devoted to parallel computing methods in science and technology. There have been seven PARA meetings ...
Constitutes the proceedings of the 13th Annual European Symposium on Algorithms, ESA 2005, in the context of the combined conference ALGO 2005. The papers presented in this book address the issues in algorithmics reaching from design and mathematical issues over applications in various fields up to engineering and analysis of algorithms.
Constitutes the proceedings of the 13th Annual European Symposium on Algorithms, ESA 2005, in the context of the combined conference ALGO 2005. The pa...
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 sharing and content distribution, new applications such as Internet telephony are emerging.
Within just a few years, the huge popularity of peer-to-peer systems and the explosion of peer-to-peer research have created a large body of knowledge, but this book is...
Starting with Napster and Gnutella, peer-to-peer systems became an integrated part of the Internet fabric attracting millions of users. According t...
Constitutes the proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP 2005, held in Spain, in October 2005. These papers address issues of computing with constraints, ranging from methodological and foundational aspects to solving real-world problems in various application fields.
Constitutes the proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP 2005, held in Spain, in Octo...
Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because it fosters communication - tween technology experts and those who would bene't from the application of those technologies. Conceptual modeling is the key mechanism for und- standing and representing the domains of information system and database - gineering but also increasingly for other domains including the new virtual e-environmentsandtheinformationsystemsthatsupportthem.Theimportance of conceptual modeling in software engineering is evidenced by recent interest in...
Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because it fosters communication -...
We are pleased to present the proceedings of the workshops held in conjunction with ER 2005, the 24th International Conference on Conceptual Modeling. The objective of these workshops was to extend the spectrum of the main conferencebygivingparticipantsanopportunitytopresentanddiscussemerging hot topics related to conceptual modeling and to add new perspectives to this key mechanism for understanding and representing organizations, including the new virtual e-environments and the information systems that support them. To meet this objective, we selected 5 workshops: AOIS 2005: 7th...
We are pleased to present the proceedings of the workshops held in conjunction with ER 2005, the 24th International Conference on Conceptual Modeling....
