Sciweavers

1186 search results - page 238 / 238
» Analysis of Virtual Workspaces
Sort
View
192
Voted
FMICS
2009
Springer
16 years 10 days ago
A Rigorous Methodology for Composing Services
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
Kenneth J. Turner, Koon Leai Larry Tan