SNIFFEN BRIAN

Registry of modular services and a method for automatically selecting an appropriate service to provide particular logical guarantees