Search results for: David Berner
Lecture Notes in Computer Science > Scientific Engineering of Distributed Java Applications > A Framework for Resolution of Deployment Dependencies in Java-Enabled Service Gateways > 33-47
Formal Methods and Models for System Design > Type Theoretic Models and Methods for System Design > 245-282
Electronic Notes in Theoretical Computer Science > 2006 > 146 > 2 > 169-188