Documents December 2009 Data Integration in Grid Environments Alex Poulovassilis, Birkbeck, U. of London.

Slide 1December 2009 Data Integration in Grid Environments Alex Poulovassilis, Birkbeck, U. of London Slide 2 Lecture Overview Part I: Grid Computing Grid Architectures Grid…

Technology A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems

1. Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing SystemsMatteo Casadei, Mirko Viroli {m.casadei,mirko.viroli}@unibo.itAlma…