IICS2004, thefourthworkshoponInnovativeInternetCommunitySystems, s- cessfully dealtwith severaltimely topicsofdistributed systems, the Internetand virtualcommunities.TheworkshopseriescommencedwithIICS2001heldatthe Technical University of Ilmenau. After two more workshops, in Kuhlung ] sborn and Leipzig, this year was the ?rst time that the workshop was held abroad (Guadalajara, Mexico). Due to a broader international environment, the wo- shop this year was organized by the IEEE in cooperation with the Universidad de Guadalajara. Thepapersfromtheconferenceweremainlyfocusedonthreeaspects: syst-...
This book constitutes the refereed proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005, held in Koblenz, Germany, in September 2005.
The 18 revised research papers presented together with 7 system descriptions as well as 4 invited talks were carefully reviewed and selected from 46 submissions. All aspects of the mechanization of reasoning with tableaux and related methods are focused: analytic tableaux for various logics, related techniques and concepts, new calculi and methods for theorem proving in classical...
This book constitutes the refereed proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Metho...
This volume contains the papers presented at the Conference on Spatial Inf- mationTheory, heldinEllicottville, NewYorkinSeptember 2005.COSIT2005 was the 7th International Conference held under the COSIT name. When - drewFrankandhiscolleaguesorganizedthe?rstCOSITconferenceontheisland of Elba, Italy, in 1993, it represented the maturing of an international research community that had already met four or ?ve times in the United States, Spain, and Italy. Of course, cognitive and computational approaches to space and s- tial phenomena werenot themselves new topics, but a contextof providingth-...
This volume contains the papers presented at the Conference on Spatial Inf- mationTheory, heldinEllicottville, NewYorkinSeptember 2005.COSIT2005 was t...
The goal of software engineering is to achieve high-quality software in a cost-effective, timely, and reproducible manner. Advances in technology offer reductions in cost and schedule, but their effect on software quality often remains unknown. The International Conferenceon the Quality of Software Architectures(QoSA 2005)focusedon software architectures and their relation to software quality, while the International Workshop on Software Quality (SOQUA 2005) mainly focused on quality assurance and more precisely on software testing. These events complement each other in their view on software...
The goal of software engineering is to achieve high-quality software in a cost-effective, timely, and reproducible manner. Advances in technology offe...
This book constitutes the thoroughly refereed post-proceedings of the7th International Workshop on Information Hiding, IH 2005, held in Barcelona, Spain in June 2005.
The 28 revised full papers presented together with an invited talk were carefully selected from 90 papers submitted. The papers are organized in topical sections on anonymity, watermarking, theory, watermark attacks, steganography, hiding in unusual content, steganalysis, software watermarking, and fingerprinting.
This book constitutes the thoroughly refereed post-proceedings of the7th International Workshop on Information Hiding, IH 2005, held in Barcelona, ...
The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the Centre for Discrete Mathematics and Theoretical Computer Science and the Department of C- puter Science and Arti?cial Intelligence of the University of Seville, was held in Seville, October 3-7, 2005. Seville, one of the most beautiful cities in Spain, is at its best in October. An explosion of colour and contrast: ?amenco, bull?ghting, and a lively at- sphere in the streets due to the open and friendly nature of its people. The river Guadalquivir, the Cathedral and the...
The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the Centre for Discrete Mathemati...
The integration of knowledge in the life sciences is continuing apace with ev- increasingimportancebeing placedoncomputer-basedmethodsofdata capture, analysis, and knowledge representation. Today, our many di?erent sciences are providing us with a sea of information: it is the handling of this in?ux that is becoming a key discovery and regulatory question. The solutions to these problems will result in advancements to all of the involved sciences and will be highly in?uential both in the selection of the areas scientists seek to investigate and also on their success. For this to happen, it is...
The integration of knowledge in the life sciences is continuing apace with ev- increasingimportancebeing placedoncomputer-basedmethodsofdata capture, ...
This book constitutes the refereed proceedings of the 6th International Symposium on Biological and Medical Data Analysis, ISBMDA 2005, held in Aveiro, Portugal, in November 2005.
The 39 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on medical databases and information systems, data analysis and image processing, knowledge discovery and data mining, statistical methods and tools for biomedical data analysis, decision support systems, collaborative systems in biomedical informatics, as well as...
This book constitutes the refereed proceedings of the 6th International Symposium on Biological and Medical Data Analysis, ISBMDA 2005, held in Ave...
Constitutes the refereed proceedings of the 12th International Conference on String Processing and Information Retrieval, SPIRE 2005, held in Buenos Aires, Argentina in November 2005. These papers address issues in various aspects of string processing, information retrieval, pattern matching, computational biology, and related applications.
Constitutes the refereed proceedings of the 12th International Conference on String Processing and Information Retrieval, SPIRE 2005, held in Buenos A...
This book contributes the thoroughly refereed post-proceedings of the 4th International Workshop on Power-Aware Computer Systems, PACS 2004, held in Portland, OR, USA in December 2004.
The 12 revised full papers presented were carefully reviewed, selected, and revised for inclusion in the book. The papers span a wide spectrum of topics in power-aware systems; they are organized in topical sections on microarchitecture- and circuit-level techniques, power-aware memory and interconnect systems, and frequency- and voltage-scaling techniques.
This book contributes the thoroughly refereed post-proceedings of the 4th International Workshop on Power-Aware Computer Systems, PACS 2004, held i...
