Constitutes the proceedings of the 16th Annual Symposium on Combinatorial Pattern Matching, CPM 2005, held on June 19-22, 2005. This volume features papers which constitute original research contributions in combinatorial pattern matching and its applications, addressing application fields such as computational biology, bioinformatics, and others.
Constitutes the proceedings of the 16th Annual Symposium on Combinatorial Pattern Matching, CPM 2005, held on June 19-22, 2005. This volume features p...
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....
This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICA...
The ?rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 18 19 October 2004 in Berlin, Germany. The workshop was organized by Fra- hofer FOKUS with the help of partners of the EU-funded Autonomic Com- nication Coordination Action IST-6475 (ACCA), and under technical sp- sorship of IFIP WG6. 6 Management of Networks and Distributed Systems. The purpose of this workshop was to discuss Autonomic Communication a new communication paradigm to assist the design of the next-generation n- works. WAC 2004 was explicitly focused on the principles that help to achieve purposeful behavior on...
The ?rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 18 19 October 2004 in Berlin, Germany. The workshop was organized by Fra- hofer ...
The papers in this volume were presented at the 9th Workshop on Algorithms and Data Structures (WADS 2005). The workshop took place during August 15 17, 2005, at the University of Waterloo, Waterloo, Canada. The workshop alternateswith the ScandinavianWorkshopon Algorithm Theory(SWAT), c- tinuing the traditionof SWAT and WADS startingwith SWAT 1988and WADS 1989. From 90 submissions, the Program Committee selected 37 papers for p- sentation at the workshop. In addition, invited lectures were given by the f- lowing distinguished researchers: Allan Borodin and Max J. Egenhofer....
The papers in this volume were presented at the 9th Workshop on Algorithms and Data Structures (WADS 2005). The workshop took place during August 15 1...
The PaCT 2005 (Parallel Computing Technologies) conference was a four-day conference held in Krasnoyarsk, September 5 9, 2005. This was the Eighth - ternational conference in the PaCT series. The conferences are held in R- sia every odd year. The ?rst conference, PaCT 91, was held in Novosibirsk (Academgorodok), September 7 11, 1991. The next PaCT conferences were held in Obninsk (near Moscow), August 30 September 4, 1993, in St. Pete- burg, September 12 15, 1995, in Yaroslavl, September, 9 12 1997, in Pushkin (near St. Petersburg) September, 6 10 1999, in Academgorodok (Novosibirsk),...
The PaCT 2005 (Parallel Computing Technologies) conference was a four-day conference held in Krasnoyarsk, September 5 9, 2005. This was the Eighth - t...
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and to promote its applications. This year s conference was in San Francisco, California, from August 23 to August 26. We received 100 submissions in response to a call for papers. Each subm- sionwasassignedto at leastthreemembers ofthe ProgramCommittee; in many cases, reviews were solicited from outside experts. The...
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of...
This book constitutes the refereed proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held in Swansea, UK in September 2005. The biennial conference was created by joining the International Workshop on Coalgebraic Methods in Computer Science (CMCS) and the Workshop on Algebraic Development Techniques (WADT). It addresses two basic areas of application for algebras and coalgebras - as mathematical objects as well as their application in computer science.
The 25 revised full papers presented together with 3 invited papers were...
This book constitutes the refereed proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held...
This volume contains the papers selected for presentation at the 10th Int- national Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, RSFDGrC 2005, organized at the University of Regina, August 31st-September 3rd, 2005. This conference followed in the footsteps of inter- tional events devoted to the subject of rough sets, held so far in Canada, China, Japan, Poland, Sweden, and the USA. RSFDGrC achievedthe status of biennial international conference, starting from 2003 in Chongqing, China. The theory of rough sets, proposed by Zdzis law Pawlak in 1982, is a model of...
This volume contains the papers selected for presentation at the 10th Int- national Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Co...
The flying machines proposed by Leonardo da Vinci in the fifteenth century, the se- reproducing automata theory proposed by John von Neumann in the middle of the twentieth century and the current possibility of designing electronic and mechanical systems using evolutionary principles are all examples of the efforts made by humans to explore the mechanisms present in biological systems that permit them to tackle complex tasks. These initiatives have recently given rise to the emergent field of b- inspired systems and evolvable hardware. The inaugural workshop, Towards Evolvable Hardware, took...
The flying machines proposed by Leonardo da Vinci in the fifteenth century, the se- reproducing automata theory proposed by John von Neumann in the mi...
This book constitutes the refereed proceedings of the 7th International Conference on Ubiquitous Computing, UbiComp 2005, held in Tokyo, Japan in September 2005.
The 22 revised full papers presented were carefully reviewed and selected from 230 submissions. The papers address topics related to human-computer interface (HCI), systems, context recognition and use, communications, and social implications and applications of computing. Methodologies included real-world deployments, laboratory experiments, ethnographic analysis, qualitative and quantitative evaluation, and theoretical...
This book constitutes the refereed proceedings of the 7th International Conference on Ubiquitous Computing, UbiComp 2005, held in Tokyo, Japan in S...
