Sciweavers

371 search results - page 2 / 75
» From the Guest Editor
Sort
View
SIGMOD
2003
ACM
138views Database» more  SIGMOD 2003»
14 years 6 months ago
Guest editor's introduction
Karl Aberer
ECEASST
2008
79views more  ECEASST 2008»
13 years 6 months ago
Using Graph Transformation Systems to Specify and Verify Data Abstractions
fy and Verify Data Abstractions Luciano Baresi, Carlo Ghezzi, Andrea Mocci and Mattia Monga 14 pages Guest Editors: Claudia Ermel, Reiko Heckel, Juan de Lara Managing Editors: Tizi...
Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia...
ALGORITHMICA
2007
106views more  ALGORITHMICA 2007»
13 years 6 months ago
Guest Editors' Foreword
János Pach, Farhad Shahrokhi
ASE
2008
130views more  ASE 2008»
13 years 6 months ago
Guest Editors' Introduction
Sebastián Uchitel, Steve M. Easterbrook