27. ICALP Satellite Workshops 2000:
Geneva, Switzerland
José D. P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, J. B. Wells (Eds.):
Proc. ICALP'2000 Satellite Workshops. Carleton Scientific, Waterloo, Ontario, Canada, 2000, ISBN 1-894145-07-0
Fourth International Workshop on Randomization and Approximation Techniques in Computer Science
Workshop on Approximation and Randomized Algorithms in Communication Networks
- Ugo Vaccaro:
Introduction: Approximation and Randomized Algorithms in Communication Networks.
97-98
- Carme Àlvarez, Rafel Cases, Josep Díaz, Jordi Petit, Maria J. Serna:
Routing Tree Problems on Random Graphs.
99-110
- Yasuhito Asano:
Experimental Evaluation of Approximation Algorithms for the Minimum Cost Multiple-source Unsplittable Flow Problem.
111-122
- Gian Carlo Bongiovanni, Andrea E. F. Clementi, Paolo Penna:
A Note on Parallel Read Operations on Large Public Databases.
123-134
- Thomas Erlebach, Klaus Jansen:
Conversion of Coloring Algorithms into Maximum Weight Independent Set Algorithms.
135-146
- Shannon L. Fitzpatrick, Jeannette Janssen, Richard J. Nowakowski:
Distributive Online Channel Assignment for Hexagonal Cellular Networks with Constraints.
147-154
- Luisa Gargano, Adele A. Rescigno:
Coloring Circular Arcs with Applications.
155-166
- Christian Glaßer, Steffen Reith, Heribert Vollmer:
The Complexity of Base Station Positioning in Cellular Networks.
167-178
- Klaus Jansen, Monaldo Mastrolilli:
Parallel Machine Scheduling Problems with Controllable Processing Times.
179-190
- Christos Kaklamanis, Danny Krizanc, Manuela Montangero, Pino Persiano:
Efficient Automatic Simulation of Parallel Computation on Network of Workstations.
191-202
- Lata Narayanan, Jaroslav Opatrny:
Wavelength Routing of Uniform Instances in Optical Rings.
203-214
- Sotiris E. Nikoletseas, Paul G. Spirakis:
Efficient Communication Establishment in Adverse Communication Environments.
215-226
Workshop on Boolean Functions and Applications
Workshop on Intersection Types and Related Systems (ITRS 2000)
Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT'00)
- Andrea Corradini, Reiko Heckel:
Introduction: Graph Transformation and Visual Modeling Techniques.
357-358
- Martin Gogolla:
Graph Transformations on the UML Metamodel.
359-372
- Gregor Engels, Reiko Heckel:
From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation.
373-382
- Francesco Parisi-Presicce:
Which Graphs for Visual Modeling?
383-386
- Mauro Pezzè, Luciano Baresi:
Can Graph Grammars Make Formal Methods More Human?
387-394
- Yoshihiro Adachi, Suguru Kobayashi:
Parsing Context-Sensitive NCE Graph Grammars.
395-402
- Giorgio Busatto, Pieter Jan't Hoen:
A Graph-Grammar Based Approach to the Specification of Hypermedia Application Dynamics.
403-410
- Andrea Corradini, Reiko Heckel, Ugo Montanari:
Graphical Operational Semantics.
411-418
- Ralph Depke, Reiko Heckel:
Formalizing the Development of Agent-Based Systems Using Graph Processes.
419-426
- Hartmut Ehrig, Gabriele Taentzer:
A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components.
427-434
- Stefan Gruner, Murat Kurt, Gabriele Taentzer:
A Visual Modeling Technique for Controlling Graph Transformation.
435-442
- Berthold Hoffmann, Mark Minas:
A Generic Model for Diagram Syntax and Semantics.
443-450
- Barbara König:
A Graph Rewriting Semantics for the Polyadic Calculus.
451-458
- Manfred Münch, Andy Schürr:
Generic and Polymorphic Graph Transformations-Supporting the Definition of Visual Languages.
459-466
- Julia Padberg, Claudia Ermel, Roswitha Bardohl:
Rule-Based and Visual Model Evolution using GENGED.
467-476
- M. Walter:
OpenSESAME: A Tool's Concept.
477-484
International Workshop on Process Algebra and Performance Modeling
- Roberto Gorrieri:
Introduction: International Workshop on Process Algebra and Performance Modelling.
485-486
- Rance Cleaveland, S. Purushothaman Iyer:
Branching-Time Probalistic Model Checking.
487-500
- Boudewijn R. Haverkort:
Are Stochastic Process Algebras Good for Performance and Dependability Evaluation.
501-510
- Jeroen Voeten:
Temporal Rewards for Performance Evaluation.
511-522
- Jane Hillston, J. Tomasik:
Amalgamation of Transition Sequences in the PEPA Formalism.
523-534
- Linda Brodo, Pierpaolo Degano, Corrado Priami:
A tool for quantitative analysis of calculus processes.
535-550
- Marco Bernardo, Nadia Busi, Marina Ribaudo:
Integrating Two Towers and GreatSPN.
551-564
- Fulvio Babich, Lia Deotto:
Performance Analysis of UMTS Resource Allocation Strategies using TIPPtool.
565-578
- Jeremy T. Bradley, N. J. Davies:
A Matrix-based Method for Analysing Stochastic Process Algebras.
579-590
- Alessandro Aldini, Mario Bravetti:
An Asynchronous Calculus for Generative-Reactive Probalistic Systems.
591-606
- Nigel Thomas, Jeremy T. Bradley:
Approximating Variance in Non-product Form Decomposed Models.
607-619
Acknowledgement:
The information on this page was contributed by Martin Gogolla.
Last update Thu May 23 16:57:09 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
