安德烈·里姆萨;马塞洛·达莫里姆;费尔南多·马格诺·昆托·佩雷拉;罗伯托·比戈尼亚。 有效的静态检查器,用于受污染变量攻击。 (英语) Zbl 1410.68077号 科学。计算。程序。 80,A部分,91-105(2014).MSC公司:68N20型 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{A.Rimsa}等人,科学。计算。程序。80,A部分,91--105(2014;Zbl 1410.68077) 全文: 内政部
爱德华多·古格尔(Eduardo Gurgel Pinho);de Carvalho,Francisco Heron jun。 一种面向对象的分布式内存并行计算平台并行编程语言。 (英语) Zbl 1410.68076号 科学。计算。程序。 80,A部分,65-90(2014).MSC公司:68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Pinho}和\textit{F.H.de Carvalho jun.},科学。计算。程序。80,A部分,65-90(2014;Zbl 1410.68076) 全文: 内政部
克里斯托夫·斯科利尔斯;埃里克·坦特;De Meuter,沃尔夫冈 并行actor监视器:将任务级并行性与actor模型中的数据分区分离开来。 (英语) 兹比尔1410.68071 科学。计算。程序。 80,A部分,52-64(2014).MSC公司:68平方米 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.Scholliers}等人,科学。计算。程序。80,A部分,52--64(2014;Zbl 1410.68071) 全文: 内政部
月亮,Young-Joo;亚历山德拉·席尔瓦;克里斯蒂安·克劳斯;法哈德·阿尔巴 一个组合模型,用于推理随机Reo连接器中的端到端QoS。 (英语) Zbl 1412.68065号 科学。计算。程序。 80,A部分,3-24(2014).MSC公司:2010年第68季度 68甲15 65年第68季度 68问题55 第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.-J.Moon}等人,科学。计算。程序。80,A部分,3--24(2014;Zbl 1412.68065) 全文: 内政部 arXiv公司
汤姆·施里杰弗斯;巴特·德梅恩;马库斯·特里斯卡;德索特,贝诺特 托尔:模块化搜索,可挂钩分离。 (英语) Zbl 1283.68318号 科学。计算。程序。 84, 101-120 (2014).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人,科学。计算。程序。84、101-120(2014;Zbl 1283.68318) 全文: 内政部
乌戈·达尔拉戈;芭芭拉·佩蒂特 按值调用场景中的线性相关类型。 (英语) Zbl 1283.68117号 科学。计算。程序。 84, 77-100 (2014).MSC公司:68甲18 03B40型 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{B.Petit},科学。计算。程序。84,77-100(2014年;兹比尔1283.68117) 全文: 内政部
Hayo Thielecke 解析操作的语义。 (英语) Zbl 1283.68202号 科学。计算。程序。 84, 52-76 (2014).MSC公司:68问题55 2012年第68季度 68甲15 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{H.Thielecke},科学。计算。程序。84、52——76(2014;Zbl 1283.68202) 全文: 内政部
斯维特拉纳·雅克西奇;卢卡·帕多瓦尼 无副本消息传递的异常处理。 (英语) Zbl 1283.68208号 科学。计算。程序。 84, 22-51 (2014).MSC公司:第68季度第60季度 第68季度85 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Jakšić}和\textit{L.Padovani},科学。计算。程序。84、22-51(2014;Zbl 1283.68208) 全文: 内政部
范·埃姆登,M.H。 矩阵代码。 (英语) Zbl 1283.68219号 科学。计算。程序。 84, 3-21 (2014).MSC公司:第68季度第60季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.H.van Emden},科学。计算。程序。84、3--21(2014;Zbl 1283.68219) 全文: 内政部 arXiv公司
安迪·金(编辑) SCP声明式编程原理和实践专刊前言。 (英语) 兹比尔1283.00018 科学。计算。程序。 84,1-2(2014).MSC公司:00B25型 68-06 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.King}(编辑),科学。计算。程序。84,1--2(2014;Zbl 1283.00018) 全文: 内政部
大卫·列文斯;威廉·哈里森 对称封装多方法的实现结构抽象。 (英语) Zbl 1284.68190号 科学。计算。程序。 78,第7期,953-968(2013).MSC公司:68号30 68甲19 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lievens}和\textit{W.Harrison},科学。计算。程序。78,编号7953-968(2013;Zbl 1284.68190) 全文: 内政部
基耶里·齐托;Atsushi Igarashi 将MyType与子类型匹配。 (英语) Zbl 1284.68107号 科学。计算。程序。 78,第7期,933-952(2013).MSC公司:68甲15 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Saito}和\textit{A.Igarashi},科学。计算。程序。78,第7号,933--952(2013;Zbl 1284.68107) 全文: 内政部
洛伦佐·贝蒂尼;萨拉·卡佩基;费卢西奥·达米亚尼 类Java语言的灵活动态特征替换。 (英语) Zbl 1284.68101号 科学。计算。程序。 78,第7期,907-932(2013).MSC公司:68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,科学。计算。程序。78,第7号,907--932(2013;Zbl 1284.68101) 全文: 内政部
大卫·安科纳(编辑) 面向对象编程和系统(OOPS 2009)专题部分的前言,这是第24届ACM应用计算研讨会的专题。 (英语) Zbl 1284.00063号 科学。计算。程序。 78,第7号,906(2013).MSC公司:00B25型 68-06 68新元 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}(编辑),《科学》。计算。程序。78,第7906号(2013年;兹bl 1284.00063) 全文: 内政部
Jörg Brauer;安迪·金;斯特凡·科瓦列夫斯基 单片机代码的抽象解释:区间满足同余。 (英语) Zbl 1284.68167号 科学。计算。程序。 78,第7期,862-883(2013).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brauer}等人,科学。计算。程序。78,第7号,862--883(2013;Zbl 1284.68167) 全文: 内政部
Alwyn E.古德洛。;塞萨尔·穆尼奥斯。 远程操作飞机通信协议的组成验证。 (英语) Zbl 1284.68184号 科学。计算。程序。 78,第7期,813-827(2013).MSC公司:68号30 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Goodloe}和\textit{C.A.Muñoz},科学。计算。程序。78,编号7,813--827(2013;Zbl 1284.68184) 全文: 内政部
J.Bacelar阿尔梅达;曼纽尔·巴博萨;Jorge S.平托。;巴巴拉·维埃拉 使用自组合对副通道对策进行形式验证。 (英语) Zbl 1284.68158号 科学。计算。程序。 78,第7期,796-812(2013).MSC公司:68号30 第68季度第60季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Almeida}等人,科学。计算。程序。78,第7号,796--812(2013;Zbl 1284.68158) 全文: 内政部
什洛米·多列夫;尼尔·扎查 跨接器:分布式跨接扩展器。 (英语) Zbl 1279.68026号 科学。计算。程序。 78,第5期,544-555(2013).MSC公司:64岁以下 87年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{S.Dolev}和\textit{N.Tzachar},科学。计算。程序。78,No.5,544--555(2013;Zbl 1279.68026) 全文: 内政部
爱德华多·罗德里格斯。;菲利普·O·A·纳沃。;查罗·帕内塔;塞尔索·门德斯。 在虚拟化处理器环境中保留原始MPI语义。 (英语) Zbl 1264.68048号 科学。计算。程序。 78,第4期,412-421(2013).MSC公司:68甲19 68号30 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{E.R.Rodrigues}等人,科学。计算。程序。78,第4号,412--421(2013;Zbl 1264.68048) 全文: 内政部
科内留·波皮亚;魏恩根·钦 双重分析,用于证明安全性和发现漏洞。 (英语) Zbl 1264.68065号 科学。计算。程序。 78,第4号,390-411(2013).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Popeea}和\textit{W.-N.Chin},科学。计算。程序。78,第4号,390--411(2013;Zbl 1264.68065) 全文: 内政部
佩德罗·雷莱斯·马特奥;乌萨奥拉、马卡里奥·波罗;杰夫·奥弗特 多类和系统级别的变异。 (英语) Zbl 1264.68061号 科学。计算。程序。 78,第4期,364-387(2013).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.R.Mateo}等人,科学。计算。程序。78,第4号,364--387(2013;Zbl 1264.68061) 全文: 内政部
约翰·A·克拉克。;Dan,海涛;Robert M.Hierons。 语义变异测试。 (英语) Zbl 1264.68055号 科学。计算。程序。 78,第4号,345-363(2013).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Clark}等人,科学。计算。程序。78,第4号,345--363(2013年;兹bl 1264.68055) 全文: 内政部
戴维·戴哈贝 SMT-solver在B和Event-B开发环境中的集成。 (英语) Zbl 1264.68056号 科学。计算。程序。 78,第3期,310-326(2013).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Déharbe},科学。计算。程序。78,第3号,310-326(2013;Zbl 1264.68056) 全文: 内政部
爱尔兰,安德鲁;古德蒙德·格罗夫;玛丽亚·特蕾莎·拉诺;迈克尔·巴特勒 理性的建模评论家:将失败的证明转化为建模指导。 (英语) Zbl 1264.68058号 科学。计算。程序。 78,第3期,293-309(2013).MSC公司:68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.爱尔兰}等人,科学。计算。程序。78,第3号,293--309(2013;Zbl 1264.68058) 全文: 内政部
斯特凡·哈勒斯特德;Michael Leuschel先生;丹尼尔·普拉格 通过细化动画验证形式化模型。 (英语) Zbl 1264.68057号 科学。计算。程序。 78,第3期,272-292(2013).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Hallerstede}等人,科学。计算。程序。78,第3号,272--292(2013;Zbl 1264.68057) 全文: 内政部
露西娅·阿西艾;米歇尔·博雷尔;吉安路易吉·扎瓦塔罗 具有请求响应操作的行为合同。 (英语) 兹伯利1264.68117 科学。计算。程序。 第248-267号第78页(2013年).MSC公司:第68季度85 68甲15 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{L.Acciai}等人,科学。计算。程序。78,第2号,248--267(2013;Zbl 1264.68117) 全文: 内政部
洛伦佐·贝蒂尼;费卢西奥·达米亚尼;凯萨琳·盖尔曼;1月Schäfer 在类似Java的设置中,将特征与框和所有权类型相结合。 (英语) 兹比尔1264.68046 科学。计算。程序。 78,第2期,218-247(2013).MSC公司:68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,科学。计算。程序。78,第2号,218--247(2013;Zbl 1264.68046) 全文: 内政部
霍建良;罗马人、格鲁亚·卡塔林;陆晨阳 自适应服务供应可提高无线传感器网络的能效和灵活性。 (英语) Zbl 1264.68013号 科学。计算。程序。 78,第2期,195-217(2013).MSC公司:68米10 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{C.-L.Fok}等人,科学。计算。程序。78,第2号,195--217(2013;Zbl 1264.68013) 全文: 内政部
菲利普斯,E。;Van Der Straeten,R。;乔克斯,V。 现在:使用专用工作流语言在游牧网络中编排服务。 (英语) Zbl 1264.68043号 科学。计算。程序。 78,第2期,168-194(2013).MSC公司:68甲15 90磅18英寸 PDF格式BibTeX公司 XML格式引用 \textit{E.Philips}等人,科学。计算。程序。78,No.2,168--194(2013;Zbl 1264.68043) 全文: 内政部
Sivaramakrishnan,K.C。;穆罕默德·库迪萨特;卢卡斯·齐亚雷克;卡提克·纳加拉杰;帕特里克·尤格斯特 高效会话。 (英语) Zbl 1264.68049号 科学。计算。程序。 78,第2期,147-167(2013).MSC公司:68甲19 64岁以下 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{K.C.Sivaramakrishnan}等人,科学。计算。程序。78,第2号,147--167(2013;Zbl 1264.68049) 全文: 内政部
马尔扬·默尼克(编辑);巴雷特·布莱恩德(编辑) 特刊:根据2010年3月22日至26日在瑞士Sierre举行的第25届ACM应用计算研讨会(SAC 2010)上的演讲选出的论文。 (英语) Zbl 1273.68039号 科学。计算。程序。78,第4期,388-421(2013)。 MSC公司:68-06 00B25型 68新元 PDF格式BibTeX公司 XML格式
莱迪·杜·布斯奎特(编辑);杰里米·布拉德伯里(编辑);戈登·弗雷泽(编辑) 特刊:根据2010年4月6日在法国巴黎举行的第五届突变分析国际研讨会(2010年突变)上的演讲选出的论文。 (英语) Zbl 1273.68048号 科学。计算。程序。78,第4期,343-387(2013)。 MSC公司:68-06 00B25型 68号30 PDF格式BibTeX公司 XML格式
马克·弗拉皮耶(编辑);格莱瑟,乌韦(编辑);萨尔弗拉兹省库尔希德(编辑);雷吉尼·拉劳(编辑);史蒂夫·里夫斯(编辑) 特刊:基于第二届抽象状态机、合金、B和Z(ABZ 2010)国际会议(2010年2月22日至25日,加拿大魁北克省奥尔福德市)上的演讲的最佳论文。 (英语) Zbl 1273.68032号 科学。计算。程序。78,第3期,270-342(2013)。 MSC公司:68-06 00B25型 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式
克拉克、戴夫(编辑);古尔·阿加(编辑) 特刊:2010年6月7日至9日,荷兰阿姆斯特丹,作为分布式计算技术联合会议(DisCoTec’10)的一部分,根据第12届协调模型和语言会议(2010年协调)上的发言选出的论文。 (英语) Zbl 1273.68021号 科学。计算。程序。78,第2期,145-267(2013)。 MSC公司:68-06 00B25型 68新元 64岁以下 PDF格式BibTeX公司 XML格式
爱德华多·凯斯勒·皮维塔;安娜·莫雷拉;皮门塔(Pimenta)、马塞洛·索尔斯(Marcelo Soares);乔昂·阿劳乔;佩德罗·格雷罗;普莱斯,R.汤姆 面向方面度量的实证研究。 (英语) Zbl 1264.68064号 科学。计算。程序。 78,第1期,117-144(2012).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.K.Piveta}等人,科学。计算。程序。78,第1号,117--144(2012;Zbl 1264.68064) 全文: 内政部
Alireza Khalilian;穆罕默德·阿卜杜拉希·阿兹戈米;亚尔达·法兹拉利扎德 通过合并历史测试用例数据对测试用例进行优先级排序的改进方法。 (英语) Zbl 1264.68067号 科学。计算。程序。 78,编号1,93-116(2012).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Khalilian}等人,科学。计算。程序。78,第1号,93--116(2012;Zbl 1264.68067) 全文: 内政部
卡洛斯·卡纳尔;哈维尔·卡马拉;格温·萨拉恩 行为适应下的系统结构重构。 (英语) Zbl 1264.68047号 科学。计算。程序。 78,第1号,46-64(2012).MSC公司:68甲19 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{C.Canal}等人,科学。计算。程序。78,第1号,46--64(2012;Zbl 1264.68047) 全文: 内政部
马库斯·隆佩 组件交互自动机的分区细化。 (英语) Zbl 1264.68060号 科学。计算。程序。 78,第1期,27-45(2012).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lumpe},科学。计算。程序。78,编号1,27-45(2012;Zbl 1264.68060) 全文: 内政部
Khakpour、Narges;赛义德·贾利利;卡罗琳·塔尔科特;马尔詹·西尔贾尼;穆罕默德·穆萨维 进化自适应系统的形式化建模。 (英语) Zbl 1264.68131号 科学。计算。程序。 78,第1期,3-26(2012).MSC公司:68T05型 68号30 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Khakpour}等人,《科学》。计算。程序。78,编号1,3--26(2012年;兹bl 1264.68131) 全文: 内政部
沃尔夫冈·阿伦特;马克西米利安·迪拉 异步对象的组合验证系统。 (英语) Zbl 1264.68050号 科学。计算。程序。 77,第12期,1289-1309(2012).MSC公司:68号30 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahrendt}和\textit{M.Dylla},科学。计算。程序。77,第12号,1289--1309(2012;Zbl 1264.68050) 全文: 内政部
JiříBarnat;卢博什·布里姆;彼得·罗奇凯 最适合验证弱LTL属性的即时并行模型检查算法。 (英语) Zbl 1264.68052号 科学。计算。程序。 77,第12期,1272-1288(2012).MSC公司:68号30 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{J.Barnat}等人,科学。计算。程序。77,第12号,1272--1288(2012;Zbl 1264.68052) 全文: 内政部
Bae,Kyungmin先生;彼得·塞巴·奥维茨基;冯,托马斯·惠宁;爱德华·A·李。;斯塔夫罗斯·特里帕基斯 使用实时淡紫色验证等级托勒密二世离散事件模型。 (英语) Zbl 1264.68051号 科学。计算。程序。 77,第12期,1235-1271(2012).MSC公司:68号30 第68季度第60季度 68问题55 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}等人,科学。计算。程序。77,第12号,1235--1271(2012;Zbl 1264.68051) 全文: 内政部
Nathalie Bertrand;Legay、Axel;苏菲·平奇纳特;Jean-Baptiste Raclet女士 基于定时组件设计的模态事件块规范。 (英语) Zbl 1264.68053号 科学。计算。程序。 77,第12期,1212-1234(2012).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,科学。计算。程序。77,第12号,1212--1234(2012;Zbl 1264.68053) 全文: 内政部
Jean-Pierre塔宾;尤伊,朱利安;蒂埃里·高蒂尔;洛依茨贝斯纳德;保罗·勒格尔尼克 等时系统的组成设计。 (英语) Zbl 1250.68094号 科学。计算。程序。 77,第2期,113-128(2012).MSC公司:68号30 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Talpin}等人,科学。计算。程序。77,No.2,113--128(2012;Zbl 1250.68094) 全文: 内政部
孙孟(编辑);Schätz,伯恩哈德(编辑) 特刊:根据2009年11月2日至3日在荷兰埃因霍温举行的第六届组件软件正式方面国际研讨会(FACS'09)上的演讲选出的论文。 (英语) Zbl 1273.68038号 科学。计算。程序。78,第1期,1-64页(2012年)。 MSC公司:68-06 00B25型 68新元 PDF格式BibTeX公司 XML格式
安娜·卡瓦尔坎蒂(编辑) 特刊:根据2009年12月9日至11日在巴西里约热内卢举行的第11届正式工程方法国际会议ICFEM’09上的陈述,选出论文。 (英语) Zbl 1273.68019号 科学。计算。程序。77,第12期,1211-1309(2012)。 MSC公司:68-06 00B25型 68新元 PDF格式BibTeX公司 XML格式
安迪·扎德曼(编辑);朱利安娜·安东尼奥(编辑) 零件特刊:逆向工程(WCRE 2009)。根据2009年10月13日至16日在法国里尔举行的第16届逆向工程工作会议上的演示文稿选出的论文。 (英语) Zbl 1246.68062号 科学。计算。程序。77,第6期,741-776(2012)。 MSC公司:68-06 00B25型 68号30 PDF格式BibTeX公司 XML格式
尼古拉斯·帕帕尼科劳;萨迪·克里斯;迈克尔·戈德史密斯 完善隐私策略检查。 (英语) Zbl 1243.68041号 科学。计算。程序。 77,编号10-11198-1209(2012).MSC公司:68英里11 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Papanikolaou}等人,科学。计算。程序。77,No.10--111198--1209(2012;Zbl 1243.68041) 全文: 内政部
克里斯蒂娜·帕利卡列娃;约尔·瓦克宁;A.W.罗斯科。 CSP跟踪细化中的SAT求解。 (英语) Zbl 1243.68216号 科学。计算。程序。 77,第10-11号,1178-1197(2012).MSC公司:第68季度第60季度 68T20型 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{H.Palikareva}等人,科学。计算。程序。77,No.10--11,1178--1197(2012;Zbl 1243.68216) 全文: 内政部
阿尔瓦罗·宫泽;安娜·卡瓦尔坎蒂 面向细化的状态流程图模型。 (英语) Zbl 1243.68152号 科学。计算。程序。 77,第10-11号,1151-1177(2012).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Miyazawa}和\textit{A.Cavalcanti},科学。计算。程序。77,No.10--111151--1177(2012;Zbl 1243.68152) 全文: 内政部
达姆,沃纳;海宁·迪尔克斯;迪什,斯特凡;威廉·哈格曼;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨 具有大型离散状态空间的线性混合自动机的精确和完全符号验证。 (英语) Zbl 1243.68212号 科学。计算。程序。 77,编号10-11122-1150(2012).MSC公司:第68季度第60季度 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人,科学。计算。程序。77,No.10--111122--1150(2012;Zbl 1243.68212) 全文: 内政部
乔里·杜布罗文;汤米·琼蒂拉;凯乔·赫尔扬科 利用步骤语义对异步系统进行有效的有界模型检查。 (英语) Zbl 1243.68213号 科学。计算。程序。 77,第10-11号,1095-1121(2012).MSC公司:第68季度第60季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Dubrovin}等人,科学。计算。程序。77,No.10--111095--1121(2012;Zbl 1243.68213) 全文: 内政部
拉杜·马特埃斯库;安东·威伊斯 弱τ碰撞的连续和分布式实时计算。 (英语) Zbl 1243.68219号 科学。计算。程序。 77,编号10-11,1075-1094(2012).MSC公司:第68季度85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}和\textit{A.Wijs},科学。计算。程序。77,No.10--111075--1094(2012;Zbl 1243.68219) 全文: 内政部
雷纳尔德·阿弗尔德;大卫·诺瓦克;清桥山田 用正式安全证明证明组件:BBS的情况。 (英语) Zbl 1243.68146号 科学。计算。程序。 77,编号10-11,1058-1074(2012).MSC公司:68号30 94A60型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Affeldt}等人,科学。计算。程序。77,No.10--11,1058--1074(2012;Zbl 1243.68146) 全文: 内政部
安东尼·纳卡维奇;塞萨尔·穆尼奥斯;Gilles Dowek 有效纠正冲突预防带算法。 (英语) Zbl 1243.68153号 科学。计算。程序。 77,编号10-11,1039-1057(2012).MSC公司:68号30 第68季度第60季度 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Narkawicz}等人,科学。计算。程序。77,No.10--111039--1057(2012;Zbl 1243.68153) 全文: 内政部
魏恩根·钦;克里斯蒂娜·大卫;阮秀海;秦胜超 通过分离逻辑中用户定义的谓词自动验证形状、大小和袋子属性。 (英语) Zbl 1243.68148号 科学。计算。程序。 77,第9期,1006-1036(2012).MSC公司:68号30 第68季度第60季度 68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{W.-N.Chin}等人,《科学》。计算。程序。77,编号9,1006-1036(2012年;兹bl 1243.68148) 全文: 内政部
瞧,大卫;拉马林加姆,G。;文卡特斯·普拉萨德·兰加纳思;卡皮尔·瓦斯瓦尼 挖掘量化的时态规则:形式主义、算法和评估。 (英语) Zbl 1243.68151号 科学。计算。程序。 77,第6期,743-759(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lo}等人,科学。计算。程序。77,第6号,743--759(2012;Zbl 1243.68151) 全文: 内政部
阿尔芒·纳瓦比;张湘玉;苏雷什·贾甘纳森 安全期货的相关性分析。 (英语) Zbl 1243.68144号 科学。计算。程序。 77,第6期,707-726(2012).MSC公司:68甲19 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{A.Navabi}等人,科学。计算。程序。77,第6号,707--726(2012;Zbl 1243.68144) 全文: 内政部
马塞洛·邦桑格;克拉克、戴夫;亚历山德拉·席尔瓦 上下文相关组件连接器的模型。 (英语) Zbl 1243.68147号 科学。计算。程序。 77,第6号,685-706(2012).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bonsangue}等人,科学。计算。程序。77,第6号,685--706(2012;Zbl 1243.68147) 全文: 内政部
尼克·沃兰斯基 使用自定义符号进行体量的图案匹配。 (英语) Zbl 1243.68164号 科学。计算。程序。 77,第5号,609-635(2012).MSC公司:68第05页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Volanschi},科学。计算。程序。77,第5号,609--635(2012;Zbl 1243.68164) 全文: 内政部
何塞·费亚德罗;洛佩斯,安东尼亚;乔昂·阿布鲁 面向服务的交互的正式模型。 (英语) Zbl 1243.68138号 科学。计算。程序。 77,第5期,577-608(2012).MSC公司:68甲15 68号30 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}等人,科学。计算。程序。77,第5号,577--608(2012;Zbl 1243.68138) 全文: 内政部
达科斯塔,翁贝托·苏扎;阿纳玛丽亚·马丁斯·莫雷拉;Musicante,Martin A。;Souza Neto,Plácido A。 JCML:用于Java卡程序运行时验证的规范语言。 (英语) Zbl 1243.68137号 科学。计算。程序。 77,第4期,533-550(2012).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{美国达科斯塔}等人,科学。计算。程序。77,第4号,533-550(2012;Zbl 1243.68137) 全文: 内政部
de Oliveira,Diego Caminha B。;戴维·戴哈贝;帕斯卡·方丹 通过(模型-)等式传播组合决策过程。 (英语) Zbl 1243.68150号 科学。计算。程序。 77,第4期,518-532(2012).MSC公司:68号30 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.C.B.de Oliveira}等人,科学。计算。程序。77,No.4,518--532(2012;Zbl 1243.68150) 全文: 内政部
玛格努斯·奥·米林。;迈克尔·J·C·戈登。 功能提取。 (英语) Zbl 1243.68139号 科学。计算。程序。 77,第4期,505-517(2012).MSC公司:68甲15 第68季度第60季度 68吨15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.O.Myreen}和\textit{M.J.C.Gordon},科学。计算。程序。77,编号4505-517(2012年;兹bl 1243.68139) 全文: 内政部
达科斯塔,西蒙·安德烈;里贝罗,莱拉 使用逻辑方法验证图形语法。 (英语) Zbl 1243.68211号 科学。计算。程序。 77,第4期,480-504(2012).MSC公司:第68季度第60季度 2012年第68季度 68号30 68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.da Costa}和\textit{L.Ribeiro},科学。计算。程序。77,第4号,480--504(2012;Zbl 1243.68211) 全文: 内政部
泽达,弗兰克;安娜·卡瓦尔坎蒂 关于UTP理论家族的机械推理。 (英语) Zbl 1243.68270号 科学。计算。程序。 77,第4期,444-479(2012).MSC公司:68吨15 68甲15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}和\textit{A.Cavalcanti},科学。计算。程序。77,第4号,444--479(2012;Zbl 1243.68270) 全文: 内政部
胡安·佩纳;吉姆·伍德科克 Handel-C合成的机械化线控验证。 (英语) Zbl 1243.68154号 科学。计算。程序。 77,第4期,424-443(2012).MSC公司:68号30 第68季度第60季度 68吨15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Perna}和\textit{J.Woodcock},科学。计算。程序。77,第4号,424--443(2012;Zbl 1243.68154) 全文: 内政部
简朴的乔科;雷米·杜伦斯;帕斯卡·弗雷德特 保留属性的方面。 (英语) 兹比尔1243.68143 科学。计算。程序。 77,第393-422号(2012年).MSC公司:68甲19 68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Djoko-Djoko}等人,科学。计算。程序。77,第3号,393--422(2012;Zbl 1243.68143) 全文: 内政部
瓦伦蒂安·瓦莱罗;赫梅内吉尔达·马西阿;胡安·何塞·帕尔多;玛丽亚·艾米利亚·坎布罗内罗;格雷戈里奥·迪亚斯 将具有优先级和时间约束的web服务编排转换为具有优先级的时间着色Petri网。 (英语) Zbl 1243.68042号 科学。计算。程序。 77,第3号,290-313(2012).MSC公司:68英里11 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{V.Valero}等人,科学。计算。程序。77,第3号,290--313(2012;Zbl 1243.68042) 全文: 内政部
托马斯·鲁罗斯;海克·卫尔海姆 模型演化和细化。 (英语) Zbl 1243.68156号 科学。计算。程序。 77,第3期,270-289(2012).MSC公司:68N99型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ruhroth}和\textit{H.Wehrheim},科学。计算。程序。77,第3号,270--289(2012;Zbl 1243.68156) 全文: 内政部
里贝罗,莱拉;多斯桑托斯(Dos Santos,Osmar Marchi);费尔南多·路易斯·多蒂;卢西亚娜·福斯 正确的转换:从基于对象的图形语法到PROMELA。 (英语) Zbl 1243.68155号 科学。计算。程序。 77,第3期,214-246(2012).MSC公司:68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Ribeiro}等人,科学。计算。程序。77,第3号,214--246(2012;Zbl 1243.68155) 全文: 内政部
安德烈·奥尔扎克;乔根森、博·诺雷加德 重新模块化Java程序以改进源代码中功能实现的局部性。 (英语) Zbl 1243.68145号 科学。计算。程序。 77,第3期,131-151(2012).MSC公司:68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Olszak}和\textit{B.N.约根森},科学。计算。程序。77,第3号,131--151(2012;Zbl 1243.68145) 全文: 内政部
码头Kleijn;马西耶·库特尼 通信系统的步覆盖算法。 (英语) Zbl 1267.68155号 科学。计算。程序。 77,编号7-8,955-967(2012). 审核人:Angelo Furfaro(伦德) MSC公司:第68季度85 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Kleijn}和\textit{M.Koutny},科学。计算。程序。77,编号7--8955--967(2012;Zbl 1267.68155) 全文: 内政部
多米尼克·克莱恩;弗兰克·G·拉德马赫。;沃尔夫冈·托马斯 随机故障下的网络移动:复杂性分析。 (英语) Zbl 1242.68031号 科学。计算。程序。 77,编号7-8,940-954(2012).MSC公司:68米15 2017年第68季度 91A80型 91A43型 91A05型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Klein}等人,科学。计算。程序。77号7--8940--954(2012;Zbl 1242.68031) 全文: 内政部
维克多·舒潘 关于LTL的不可满足和不可实现核心的概念。 (英语) Zbl 1242.68075号 科学。计算。程序。 77,编号7-8,908-939(2012).MSC公司:68号30 68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},科学。计算。程序。77号7--8908--939(2012;Zbl 1242.68075) 全文: 内政部
卢卡·埃特罗;阿纳尔·比吉森;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 确定性和幂等性的规则格式。 (英语) 兹比尔1243.68205 科学。计算。程序。 77,编号7-8,889-907(2012).MSC公司:68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,科学。计算。程序。77,编号7--8889--907(2012;Zbl 1243.68205) 全文: 内政部
弗朗西斯科·杜兰;梅里姆·乌代尔尼;格温·萨拉恩 协议兼容性检查的通用框架。 (英语) Zbl 1245.68028号 科学。计算。程序。 77,编号7-8,870-886(2012).MSC公司:64岁以下 68号01 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人,科学。计算。程序。77,编号7--8870--886(2012;Zbl 1245.68028) 全文: 内政部
巴赫曼·普瓦坦;马尔詹·西尔贾尼;侯赛因霍贾特;法哈德·阿尔巴 使用约束自动机的Reo电路的符号执行。 (英语) Zbl 1242.68073号 科学。计算。程序。 77,编号7-8,848-869(2012).MSC公司:68号30 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Pourvatan}等人,科学。计算。程序。77,编号7--8848-869(2012;Zbl 1242.68073) 全文: 内政部
卢多维奇·亨利奥;弗洛里安·卡姆米勒;比安卡·卢茨 ASP\(_{\text{fun}}\):一种类型化的函数活动对象演算。 (英语) Zbl 1242.68053号 科学。计算。程序。 77,编号7-8,823-847(2012).MSC公司:68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Henrio}等人,科学。计算。程序。77,编号7-8823-847(2012年;兹bl 1242.68053) 全文: 内政部
孙孟;法哈德·阿尔巴;伯恩哈德·艾切尼格(Bernhard K.Aichernig)。;阿塞特夫·诺艾,勒克雷米奥拉;德波尔(Frank S。;简·拉特 连接器设计:建模、细化和测试用例生成。 (英语) Zbl 1242.68070号 科学。计算。程序。 77,编号7-8,799-822(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Meng}等人,科学。计算。程序。77号7--8799--822(2012;Zbl 1242.68070) 全文: 内政部
斯蒂芬妮·坎佩尔 基于SAT的定时组件连接器验证。 (英语) Zbl 1279.68212号 科学。计算。程序。 77,编号7-8,779-798(2012).MSC公司:第68季度第60季度 68T20型 65年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Kemper},科学。计算。程序。77,编号7--8,779--798(2012;Zbl 1279.68212) 全文: 内政部
马库斯·罗根巴赫(编辑) 特刊:AVoCS’09。根据2009年9月23日至25日在英国威尔士斯旺西举行的第九届关键系统自动验证国际研讨会上的演示文稿选出的论文。 (英语) Zbl 1246.68053号 科学。计算。程序。77,编号10-111027-1209(2012)。 MSC公司:68-06 00B25型 68号30 第68季度第60季度 第68季度85 68吨15 PDF格式BibTeX公司 XML格式
法哈德·阿尔巴(编辑);马尔詹·西尔贾尼(编辑) 特刊:FSEN’09。根据2009年4月15日至17日在伊朗基什举行的第三届IPM软件工程基础国际研讨会上的陈述所选论文。 (英语) Zbl 1246.68020号 科学。计算。程序。77,编号7-8,887-967(2012)。 MSC公司:68-06 00B25型 68号30 PDF格式BibTeX公司 XML格式
格温·萨拉恩(编辑);马尔詹·西尔贾尼(编辑) 专题:协调语言和软件架构的基础。2009年7月11日,在希腊罗德斯举行的第八届国际研讨会(FOCLASA'09)上,根据研讨会上的陈述,选出了一些论文。 (英语) Zbl 1246.68056号 科学。计算。程序。77,编号7-8,777-886(2012)。 MSC公司:68-06 00B25型 68新元 PDF格式BibTeX公司 XML格式
约翰·菲尔德(编辑);Vasco T.瓦康塞洛斯。(编辑) 部分特刊:2009年协调。根据2009年6月9日至12日在葡萄牙里斯本举行的第十一届协调模式和语言国际会议上的发言,选出了一些论文。 (英语) Zbl 1246.68032号 科学。计算。程序。77,第6期,661-740(2012)。 MSC公司:68-06 00B25型 68号30 PDF格式BibTeX公司 XML格式
Patría D.L.马查多。(编辑) 特刊:巴西正式方法研讨会(SBMF 2008)。2008年8月26日至29日,巴西BA萨尔瓦多,SBMF 2008会议记录中的论文选集。 (英语) Zbl 1246.68048号 科学。计算。程序。77,第4期,423-550(2012)。 MSC公司:68-06 00B25型 68号30 第68季度第60季度 68吨15 68N20型 03B70号 68甲15 PDF格式BibTeX公司 XML格式
斯文·阿佩尔(编辑);克里斯蒂安·伦戈尔(编辑);朱莉娅·劳尔(编辑) 部分特刊:面向特性的软件开发(FOSD 2009)。2009年10月6日,美国科罗拉多州丹佛市,根据研讨会上的陈述选择论文。 (英语) Zbl 1246.68019号 科学。计算。程序。77,第3期,129-187(2012)。 MSC公司:68-06 00B25型 68甲19 68号30 PDF格式BibTeX公司 XML格式
洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 按对象组合进行委派。 (英语) Zbl 1217.68047号 科学。计算。程序。 76,第11期,992-1014(2011).MSC公司:68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,科学。计算。程序。76,第11号,992--1014(2011;Zbl 1217.68047) 全文: 内政部
赫维格·曼纳特;维勒斯特,简;维恩,克里斯 需求到软件原语的转换:基于系统理论稳定性研究进化性。 (英语) Zbl 1217.68063号 科学。计算。程序。 76,第12期,1210-1222(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Mannaert}等人,科学。计算。程序。76,第12号,1210--1222(2011;Zbl 1217.68063) 全文: 内政部
Peter Y.H.Wong。;杰里米·吉本斯 工作流建模的属性规范。 (英语) Zbl 1216.68165号 科学。计算。程序。 76,第10期,942-967(2011).MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.H.Wong}和\textit{J.Gibbons},科学。计算。程序。76,第10号,942--967(2011;Zbl 1216.68165) 全文: 内政部
约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf;马丁·斯特芬 针对多重继承的带有惰性行为子类型的增量推理。 (英语) 兹比尔1221.68058 科学。计算。程序。 76,编号10,915-941(2011).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人,科学。计算。程序。76,第10号,915--941(2011;Zbl 1221.68058) 全文: 内政部
罗伯特·J·科尔文。;伊恩·海耶斯。 使用CSP和规范命令的行为树语义。 (英语) Zbl 1220.68050号 科学。计算。程序。 76,第10号,891-914(2011).MSC公司:68号30 68问题55 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin}和\textit{I.J.Hayes},科学。计算。程序。76,第10号,891--914(2011;Zbl 1220.68050) 全文: 内政部
北卡罗来纳州贝内什。;布里姆·L。;布诺娃,B。;乔纳,I。;J·索科尔。;瓦·埃科娃,P。 应用于组件交互自动机的状态/事件LTL的部分降阶。 (英语) Zbl 1220.68048号 科学。计算。程序。 76,第10号,877-890(2011).MSC公司:68号30 第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,科学。计算。程序。76,第10号,877--890(2011;Zbl 1220.68048) 全文: 内政部
本杰明·韦伊 程序逻辑演算中的谓词抽象。 (英语) Zbl 1221.68066号 科学。计算。程序。 76,第10号,861-876(2011).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Weiß},科学。计算。程序。76,第10号,861--876(2011;Zbl 1221.68066) 全文: 内政部
史蒂夫·施耐德;海伦·特里哈恩 不断改变系统接口:CSP\(\|\)B的一种新的细化策略。 (英语) Zbl 1221.68062号 科学。计算。程序。 76,第10号,837-860(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Schneider}和\textit{H.Treharne},科学。计算。程序。76,编号10837-860(2011年;兹bl 1221.68062) 全文: 内政部
Michael Leuschel先生(编辑);海克·卫尔海姆(编辑) 特刊:集成形式化方法(iFM09)。根据2009年2月16日至19日在德国杜塞尔多夫举行的第七届国际会议上的发言选出的论文。 (英语) Zbl 1221.68024号 科学。计算。程序。76,第10期,835-967(2011)。 MSC公司:68-06 00B25型 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式
S.安多瓦。;格罗尼韦根,L.P.J。;德文克,E.P。 过程代数中的动态一致性:从范式到ACP。 (英语) 兹比尔1213.68398 科学。计算。程序。 76,编号8,711-735(2011).MSC公司:第68季度85 68号30 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Andova}等人,科学。计算。程序。76,第8号,711--735(2011;Zbl 1213.68398) 全文: 内政部
克拉克、戴夫;何塞·普伦萨;亚历山大·拉佐维克;法哈德·阿尔巴 通过约束满足实现基于渠道的协调。 (英语) Zbl 1220.68049号 科学。计算。程序。 76,第8号,681-710(2011).MSC公司:68号30 68甲15 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{D.Clarke}等人,科学。计算。程序。76,第8号,681--710(2011;Zbl 1220.68049) 全文: 内政部
孙孟;法哈德·阿尔巴;克里斯特尔·拜尔 根据基于场景的交互规范合成Reo电路。 (英语) Zbl 1237.68064号 科学。计算。程序。 76,第8期,651-680(2011). 审核人:哈伊姆·基洛夫(米林顿) MSC公司:68号30 68甲15 第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Meng}等人,科学。计算。程序。76,第8号,651--680(2011;Zbl 1237.68064) 全文: 内政部
Peter Y.H.Wong。;杰里米·吉本斯 BPMN的形式化和应用。 (英语) Zbl 1213.68212号 科学。计算。程序。 76,第8期,633-650(2011).MSC公司:68号30 68问题55 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.H.Wong}和\textit{J.Gibbons},科学。计算。程序。76,编号8,633-650(2011年;兹bl 1213.68212) 全文: 内政部