Filter
Nettverksmaskiner
Filter
This book constitutes the proceedings of the International Conference on Web of Services, ICWS 2020, held virtually as part of SCF 2020, in Honolulu, HI, USA, in September 2020. …
This volume contains the papers presented at WS-FM 2009: The 6th Inter- tional Workshop on Web Services and Formal Methods held during September 4-5, 2009 in Bologna, Italy. There …
The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. China, 22-27 July 2007, jointly with the S- posium on Human …
This book constitutes the refereed proceedings of the 6th European Conference on Technology Enhanced Learning, EC-TEL 2011, held in Palermo, Italy, in September 2010. The 30 …
This book constitutes the refereed proceedings of four workshops held in conjunction with the Third European Conference, ServiceWave 2010, held in Ghent, Belgium, in December 2010. …
This volume constitutes the refereed proceedings of the Fourth European Conference, ServiceWave 2011, held in Poznan, Poland, in October 2011. The 25 revised full papers presented …
This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated …
Model transformations are the glue that tie modelling activities together. If you’ve used modelling in anger then, whether you know it or not, you’ve used model transformations. …
This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with the 27th AAAI 2013. …
This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April …