Static Analysis and Verification Victor Vianu U.C. San Diego in Databases.
At Reading Frank Bisby, Alistair Culham, Paul Valdes, Neil Caithness, Tim Sutton, Peter Brewer At Cardiff Alec Gray, Andrew Jones, Nick Fiddian, Nick Pittas,
Process Engineering & Health IT: Which Comes First - The Chicken or The Egg?
INTRODUCING SOA AND WORKFLOW MODELING TO NON- TECHNICAL STUDENTS Bruce J. Neubauer University of South Florida.
The Kepler Project Overview, Status, and Future Directions Matthew B. Jones on behalf of the Kepler Project team National Center for Ecological Analysis.