...
机译:适用于多用户分布式服务的正式规范:协作t学习的经验
ETSE Telecomunicacion, Campus Universitario s, 36310 Vigo, Spain;
multiuser systems; interaction patterns; formal specification;
机译:ATLAS:通过MHP提供多用户和分布式t学习服务的框架
机译:CORBA服务的正式规范:经验和教训
机译:自适应语义Web服务组成的正式规范
机译:CORBA服务的正式规范:经验和教训
机译:异步通信Web服务的正式规范和验证
机译:了解中风医生在早期支持的出院服务中的作用。英国诺丁汉郡德比郡和林肯郡应用健康研究与护理(CLAHRC)的协作领导力
机译:分布式服务管理的正式规范
机译:防止ada服务中拒绝服务的形式规范和验证方法。