机译:Java可信计算API的规范和标准化
Institute for Applied Information Processing and Communications (IAIK), Graz University of Technology, Inffeldgasse 16a, A-8010 Graz, Austria,Ronald Toegl;
Pervasive Computing Group / Institute of Networked and Embedded Systems (NES), Klagenfurt University , Lakeside B02b, A-9020 Klagenfurt, Austria;
Computer Science Research and Development Unit, Pakistan;
University of Cambridge Computer Laboratory, William Gates Building, 15 J.J. Thomson Ave., Cambridge CB3 OFD,UK;
trusted computing; java; standardization;
机译:现有的Java API规范在运行时验证期间发现错误的效率如何?
机译:JML中的JavaCard API的正式规范:APDU类
机译:通过Java发起OSS:基于J2EE技术标准化OSS API
机译:JML中的JAVACARD API的规范朝着正式规范和applet和API实现的验证
机译:使用Java 5注释的Java建模语言(JML)的规范语言设计
机译:夫妻的信任游戏(TGC):一种新的标准化范例可以评估对浪漫关系的信任
机译:Java门户和Java portlet规范和apI
机译:QspIN:用于量子计算实验的高级Java apI。