利奥·弗雷塔斯;保罗·沃森 在联合云上规范工作流分区:多级安全性和成本。 (英语) Zbl 1452.68120号 国际期刊计算。数学。 91,第5期,881-906(2014).MSC公司:60年第68季度 68甲18 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Freitas}和\textit{P.Watson},国际计算机学会。数学。91,第5号,881--906(2014;Zbl 1452.68120) 全文: 内政部
赵永新;肖浩;王,郑;浦、葛光;苏婷 定时服务编排的语义和验证。 (英语) Zbl 1373.68127号 国际期刊计算。数学。 91,第3期,384-402(2014).MSC公司:68米14 68英里11 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhao}等人,国际计算机杂志。数学。91,第3号,384--402(2014;Zbl 1373.68127) 全文: 内政部
高洪浩;苗、淮口 基于两阶段兼容性验证的Web应用程序动态重构研究。 (英语) Zbl 1312.68020号 国际期刊计算。数学。 90,第11期,2265-2278(2013).MSC公司:68英里11 68号30 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Gao}和\textit{H.Miao},国际计算机杂志。数学。90,第11号,2265--2278(2013;Zbl 1312.68020) 全文: 内政部
尹玉玉;邓水光 分析和确定不同粒度Web服务的可替换性。 (英语) Zbl 1287.68014号 国际期刊计算。数学。 90,第11号,2201-2220(2013).MSC公司:68英里11 03B15号机组 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yin}和\textit{S.Deng},国际计算机杂志。数学。90,第11号,2201--2220(2013;Zbl 1287.68014) 全文: 内政部
玛丽安·盖奥吉;弗洛伦丁·伊帕特;拉卢卡左翼;佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。;阿德里安·厄尔卡努;路易斯·巴伦西亚·卡布雷拉;曼纽尔·加西亚·基斯蒙多;劳伦·米尔勒 使用简单内核P系统的3列问题建模。 (英语) Zbl 1274.68125号 国际期刊计算。数学。 90,第4期,816-830(2013).MSC公司:2005年第68季度 2010年第68季度 19年第68季度 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人,《国际计算杂志》。数学。90,第4号,816--830(2013;Zbl 1274.68125) 全文: 内政部 链接
罗马圭拉,S。;谢列肯斯,M.P。;O.瓦莱罗。 部分函数的复杂性空间:复杂性分析与指称语义之间的联系。 (英语) Zbl 1237.68104号 国际期刊计算。数学。 88,第9期,1819-1829(2011).MSC公司:65年第68季度 54E50型 68号30 68页第10页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Romaguera}等人,《国际计算机杂志》。数学。88,第9号,1819--1829(2011;Zbl 1237.68104) 全文: 内政部 链接
伊莎贝拉·马斯特罗埃尼;罗伯托·贾科巴齐 基于抽象解释的安全语义模型。 (英语) 兹比尔1215.68125 国际期刊计算。数学。 88,第4期,665-694(2011).MSC公司:68问题55 60年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Mastroeni}和\textit{R.Giacobazzi},国际计算机杂志。数学。88,第4号,665--694(2011;Zbl 1215.68125) 全文: 内政部
苏布拉马尼,K。;顾晓峰 吸收随机漫步和NAE2SAT问题。 (英语) Zbl 1213.68337号 国际期刊计算。数学。 88,第3期,452-467(2011).MSC公司:65年第68季度 68瓦20 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani}和\textit{X.Gu},国际计算杂志。数学。88,第3号,452--467(2011;Zbl 1213.68337) 全文: 内政部
J·阿兰塞。;Domínguez,C。 使用机械化推理工具进行代数操作的案例研究。 (英语) Zbl 1205.68358号 国际期刊计算。数学。 87,第9期,1936-1949(2010).MSC公司:第68页第15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Aransay}和\textit{C.Domínguez},国际计算机学会。数学。87,第9号,1936年--1949年(2010年;Zbl 1205.68358) 全文: 内政部
Petković,Miodrag S。;Milošević,Dušan M。;伊万·佩特科维奇 关于多项式零点包含的改进类牛顿方法。 (英语) Zbl 1221.65113号 国际期刊计算。数学。 87,第8期,1726-1735(2010). 审核人:Günter Mayer(罗斯托克) MSC公司:65小时04 65G30型 65G20个 30立方厘米 65欧元 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Petković}等人,《国际计算杂志》。数学。87,第8号,1726--1735(2010;Zbl 1221.65113) 全文: 内政部
利维乌·迪努。;爱荷华州托梅斯库 从排名的共线性到通过色表表达式计算SDR。 (英语) Zbl 1175.05055号 国际期刊计算。数学。 86,第9期,1483-1489(2009).MSC公司:05C15号 68兰特 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.P.Dinu}和\textit{I.Tomescu},国际计算机杂志。数学。86,第9号,1483-1489(2009;Zbl 1175.05055) 全文: 内政部
Ierotheou,C.S。;H·金。;马修斯,G。;约翰逊,S.P。;右机罩。;莱格特,P.F。 使用交互式软件环境实现真实科学应用程序的并行化。 (英语) Zbl 1116.68683号 国际期刊计算。数学。 84,第2期,167-175(2007).MSC公司:68瓦30 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Ierotheou}等人,《国际计算杂志》。数学。84,第2号,167--175(2007;Zbl 1116.68683) 全文: 内政部
南美洲库里。;谢世申 关于Duffing方程渐近展开式的数值验证。 (英语) Zbl 0951.65064号 国际期刊计算。数学。 72,第325-330号(1999年). 审核人:T.E.Simos(Xanthi) MSC公司:65升05 34A34飞机 34立方厘米 34E05型 34E10型 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Khuri}和\textit{S.Xie},国际计算机杂志。数学。72,第3号,325--330(1999;Zbl 0951.65064) 全文: 内政部
佛罗伦萨伊帕特;迈克·霍尔科姆 一种改进和测试通用机器规格的方法。 (英语) Zbl 0908.68106号 国际期刊计算。数学。 68,第3-4号,197-219(1998).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{M.Holcombe},国际计算机杂志。数学。68,编号3--4,197-219(1998;Zbl 0908.68106) 全文: 内政部
佛罗伦萨伊帕特;迈克·霍尔科姆 一种经证明能够发现所有故障的集成测试方法。 (英语) Zbl 0878.68086号 国际期刊计算。数学。 63,第3-4、159-178号(1997年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{M.Holcombe},国际计算机杂志。数学。63,编号3--4,159--178(1997;Zbl 0878.68086) 全文: 内政部
张明华 无限树的二阶理论。 (英语) Zbl 0822.68024号 国际期刊计算。数学。 47,编号3-4,135-152(1993).MSC公司:68第05页 35楼03号 03B70号 60年第68季度 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{M.-H.Zhang},国际计算机杂志。数学。47,编号3-4135-152(1993年;兹bl 0822.68024) 全文: 内政部
多布纳,H.-J。 Fredholm积分方程的验证方法。 (英语) Zbl 0837.65141号 国际期刊计算。数学。 48,编号3-4,251-261(1993).MSC公司:65兰特 65G30型 45B05型 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Dobner},国际计算机杂志。数学。48,编号3--4,251--261(1993;Zbl 0837.65141) 全文: 内政部
何旭东 时态谓词转换网——一种用于指定和验证并发系统的新形式主义。 (英语) Zbl 0796.68163号 国际期刊计算。数学。 45,第3-4号,171-184(1992).MSC公司:68问题85 2010年第68季度 60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{X.He},国际计算机杂志。数学。45,编号3--4,171-184(1992;Zbl 0796.68163) 全文: 内政部
魏家旺;张泽增 混沌迭代最小不动点计算的收敛性。 (英语) Zbl 0746.68059号 国际期刊计算。数学。 40,第3-4、231-238号(1991年).MSC公司:60年第68季度 68瓦30 68年 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Wei}和\textit{Z.Zhang},国际计算机杂志。数学。40,编号3--4,231--238(1991;Zbl 0746.68059) 全文: 内政部
科林·D·沃尔特。;斯蒂芬·埃尔德里奇。 Brickell快速模乘算法的验证。 (英语) Zbl 0825.68373号 国际期刊计算。数学。 33,编号3-4,153-169(1990).MSC公司:68第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.D.Walter}和\textit{S.E.Eldridge},国际计算机杂志。数学。33,编号3--4,153-169(1990;Zbl 0825.68373) 全文: 内政部
Freire Nistal,JoséL。;阿瓜多·马汀,F。 条件和递归的自然性。 (英语) Zbl 0699.68107号 国际期刊计算。数学。 35,No.1-4,7-14(1990).MSC公司:68问题55 60年第68季度 18A23型 68号01 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Freire Nistal}和textit{F.Aguado Martín},国际计算机杂志。数学。35,编号1--4,7--14(1990;Zbl 0699.68107) 全文: 内政部
林卓杰 脉动阵列上的多项式乘法。 (英语) Zbl 0749.65015号 国际期刊计算。数学。 31,编号1-2,43-54(1989).MSC公司:65D20个 2005年12月 68瓦35 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{C.-j.Lin},国际计算机杂志。数学。31,编号1--2,43-54(1989;Zbl 0749.65015) 全文: 内政部
严、宋元 自顶向下的声明性错误诊断程序的完整性。 (英语) Zbl 0682.68015号 国际期刊计算。数学。 28,编号1-4,103-116(1989).MSC公司:60年第68季度 68吨99 PDF格式BibTeX公司 XML格式引用 \textit{S.Y.Yan},国际计算机杂志。数学。28,编号1--4,103-116(1989;Zbl 0682.68015) 全文: 内政部
菲利普·格兰杰 算术同余的静态分析。 (英语) Zbl 0679.68022号 国际期刊计算。数学。 30,编号3-4,165-190(1989).MSC公司:60年第68季度 68号01 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Granger},国际计算杂志。数学。30,编号3--4,165-190(1989;Zbl 0679.68022) 全文: 内政部
高尔特,D。;M.克林特。 爱丽丝说:“越来越好奇。”。关于有趣递归函数的进一步思考。 (英语) Zbl 0686.68012号 国际期刊计算。数学。 26,第1期,35-43(1988). 审核人:J.梁 MSC公司:60年第68季度 11立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Gault}和\textit{M.Clint},国际计算机杂志。数学。26,编号1,35-43(1988;Zbl 0686.68012) 全文: 内政部
梅森,K.P。 动态模板转换器-一种用于指定编程语言的新设备。 (英语) Zbl 0656.68089号 国际期刊计算。数学。 22,第3-4号,199-212(1987).MSC公司:第68季度第45季度 60年第68季度 68问题55 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.P.Mason},国际计算机杂志。数学。22,编号3-4199-212(1987年;Zbl 0656.68089) 全文: 内政部
卡罗来纳州佩西恩西亚·萨拉斯市麦克卢斯基 PL/0的属性翻译语法。 (英语) Zbl 0656.68027号 国际期刊计算。数学。 21,编号3-4,205-227(1987).MSC公司:60年第68季度 68问题55 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{C.P.S.McCluskey},国际计算机杂志。数学。21,编号3--4,205-227(1987;Zbl 0656.68027) 全文: 内政部
克里斯蒂安·阿特米 Knaster-Tarski不动点定理不是一致构造的。 (英语) Zbl 0654.03047号 国际期刊计算。数学。 23,第1期,25-28(1987).MSC公司:03层60 03D60年 60年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{C.Artemi},国际计算机杂志。数学。23,编号1,25--28(1987;Zbl 0654.03047) 全文: 内政部
Kwong,Y.S。 并行程序中的活锁。第2部分:证明技巧。 (英语) Zbl 0488.68018号 国际期刊计算。数学。 10, 201-212 (1982).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{Y.S.Kwong},国际计算机杂志。数学。10,201--212(1982;Zbl 0488.68018) 全文: 内政部
乔希,S.M。;Dhamdhere,D.M。 用于全局程序优化的复合提升强度降低转换。二、。 (英语) Zbl 0481.68023号 国际期刊计算。数学。 11, 111-126 (1982).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Joshi}和\textit{D.M.Dhamdhere},国际计算机杂志。数学。11111-126(1982年;兹bl 04816.8023) 全文: 内政部
乔希,S.M。;Dhamdhere,D.M。 用于全局程序优化的复合提升强度降低转换。一、。 (英语) Zbl 0481.68022号 国际期刊计算。数学。 11, 21-41 (1982).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Joshi}和\textit{D.M.Dhamdhere},国际计算机杂志。数学。11、21——41(1982;Zbl 0481.68022) 全文: 内政部
Kwong,Y.S。 并行程序中的活锁。一: 基本概念和分类。 (英语) Zbl 0472.68009号 国际期刊计算。数学。 10, 121-135 (1981).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{Y.S.Kwong},国际计算机杂志。数学。1012-135(1981年;Zbl 0472.68009) 全文: 内政部
比斯瓦斯,S。;巴塔查吉,G.P。;达尔,P。 一些活变量分析算法的比较。 (英语) Zbl 0428.68053号 国际期刊计算。数学。 8, 121-134 (1980).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Biswas}等人,国际计算机杂志。数学。8121--134(1980;Zbl 0428.68053) 全文: 内政部
曼苏尔·法拉 基于链接森林操作系统的清晰解释器的正确性。 (英语) Zbl 0427.68014号 国际期刊计算。数学。 8, 3-26 (1980).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Farah},国际计算机杂志。数学。8、3--26(1980年;Zbl 0427.68014) 全文: 内政部