The 2nd Workshop on Approximation and Online Algorithms (WAOA 2004) focused on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems have a large number of applications arising from a variety of ?elds. WAOA 2004 took place in Bergen, Norway, from September 14 to September 16, 2004. The workshop was part of the ALGO 2004 event which also hosted ESA, WABI, IWPEC, and ATMOS. TopicsofinterestsforWAOA2004were: applicationstogametheory, appr- imation classes, coloring and partitioning, competitive analysis, computational ?nance, cuts and...
The 2nd Workshop on Approximation and Online Algorithms (WAOA 2004) focused on the design and analysis of algorithms for online and computationally ha...
Constitutes the refereed extended postproceedings of the 5th International Workshop on Membrane Computing, held in Italy, in June 2004. This book addresses various topics in the area of membrane computing, ranging from mathematics and theoretical computer science to applications in biology, linguistics, and computer graphics.
Constitutes the refereed extended postproceedings of the 5th International Workshop on Membrane Computing, held in Italy, in June 2004. This book addr...
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the speci?cation and development of systems, an area that was born around the algebraic speci?cation of abstract data types and encompasses today the formal design of software systems, new speci?cation frameworks and a wide range of application areas. WADT 2004 took place at the Technical University of Catalonia (UPC), Barcelona, Spain, on 27 29 March 2004, and was organized by Fernando Orejas and Jordi...
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT ...
This book constitutes the refereed proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS.
The 30 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 108 submissions. The papers are organized in topical sections on rule formats and bisimulation, probabilistic models, algebraic models, games and automata, language analysis, partial order models, logics, coalgebraic modal logics, and computational models.
This book constitutes the refereed proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures, F...
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Peer-to-Peer Systems, IPTPS 2005, held at Cornell University, Ithaca, NY, USA, in February 2005.
The 24 revised full papers were carefully selected during two rounds of reviewing and improvements from 123 submissions. The papers document the state of the art in peer-to-peer computing research. They are organized in topical sections on security and incentives, search, multicast, overlay algorithms, empirical studies, and network locality. The proceedings also include a report with a...
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Peer-to-Peer Systems, IPTPS 2005, held at Corne...
This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2006, held in Turku, Finland in June 2006. The book presents 16 revised full papers and 6 revised tool papers together with 4 invited papers. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed.
This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Co...
ICARIS 2006 is the ?fth instance of a series of conferences dedicated to the comprehension and the exploitation of immunological principles through their translation into computational terms. All scienti?c disciplines carrying a name that begins with arti?cial (followed by life, reality, intelligence or - munesystem ) aresimilarlysu?ering froma veryambiguousidentity.Their axis of research tries to stabilize an on-going identity somewhere in the crossroad of engineering (building useful artifacts), natural sciences (biologyor psychology improving the comprehension and prediction of natural...
ICARIS 2006 is the ?fth instance of a series of conferences dedicated to the comprehension and the exploitation of immunological principles through th...
ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998. ICGT 2006 was held in Natal (Rio Grande do Norte, Brazil) on September 17-23, 2006, co-located with the Brazilian Symposium on Formal Methods (SBMF 2006), under the auspices of the BrazilianComputer Society (SBC), the EuropeanAssociation of Software Science and Technology (EASST), the European Association for Theoretical Computer Science (EATCS) and the IFIP WG 1.3 on Foundations of Systems...
ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series o...
This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS aims to be a major - nual event dedicated to the study of timed systems, uniting three independently started workshops: MTCS, RT-TOOLS, and TPTS. The ?rst three FORMATS conferences were held in Marseille (2003), Grenoble (2004), and Uppsala (2005). Timing aspects of systems have been treated independently in separate s- enti?c disciplines, and there is a growing awareness of the di?cult problems...
This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Par...
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2006, held in Saint-Malo, France in June 2006 in conjunction with the Joint International Conference on Measurement and Modeling of Computer Systems SIGMETRICS/Performance 2006. The 12 revised full research papers cover all current issues of job scheduling strategies for parallel processing.
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Job Scheduling Strategies for Parallel Process...
