×

找到174个文档（结果1–100）

最新的 引文 关联
沙迦·伊扎基;托默·科特克;诺姆·里内茨基;穆利·萨吉夫;奥尔·塔米尔;赫尔穆特·维思;弗洛里安·祖勒格

关于使用嵌入式SQL自动验证web应用程序。 （英语） Zbl 1402.68123号

Benedikt，Michael（编辑）等人，第20届数据库理论国际会议，2017年ICDT，意大利威尼斯，2017年3月21日至24日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-024-8）。LIPIcs–莱布尼茨国际信息学论文集68，第16条，第18页（2017年）。
MSC公司：60年第68季度 03B70号 68英里11 68甲15 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{S.Itzhaky}等人，LIPIcs——莱布尼茨国际程序。通知。68，第16条，第18页（2017；Zbl 1402.68123）
全文： 内政部 arXiv公司
伊米德·埃丁·查马;纳比尔·贝拉拉;贾梅尔·埃丁·赛杜尼

业务流程时间约束的形式化建模和分析。 （英语） Zbl 1368.68044号

Bouabana-Tebbel，Thouraya（编辑）等人，《重用和系统集成的形式化》。查姆：施普林格（ISBN 978-3-319-16576-9/pbk；978-3-316-16577-6/电子书）。《智能系统与计算进展》346149-172（2015）。
MSC公司：68英里11 第68季度55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.E.Chama}等人，高级情报。系统。计算。346149--172（2015年；Zbl 1368.68044）
全文： 内政部
托拜厄斯·贝茨;劳伦斯·卡巴克;迈克尔·杜维涅奥;托马斯·瓦格纳;马提亚斯·韦斯特·埃宾豪斯

使用Petri网的软件工程：web服务和代理透视图。 （英语） Zbl 1428.68197号

Koutny，Maciej（编辑）等人，《Petri网和其他并发模型的事务处理IX》，柏林：施普林格出版社。莱克特。注释计算。科学。8910, 41-61 (2014).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Betz}等人，Lect。注释计算。科学。8910，41-61（2014年；兹比尔1428.68197）
全文： 内政部
于慧丹;卡林·卡诺夫;埃里克·帕尔曼;杰森·格雷厄姆;埃多·弗雷德里克斯;伯恩斯，兰德尔;亚历山大·萨莱;格雷戈里·伊因克;查尔斯·梅内沃

在公共湍流数据库中使用按需流体粒子跟踪研究湍流的拉格朗日动力学。 （英语） Zbl 1273.76135号

J.Turbul公司。 13，第12号论文，29页（2012年）.
MSC公司：76层20 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{H.Yu}等人，J.Turbul。13，论文编号12，29 p.（2012；Zbl 1273.76135）
全文： 内政部
瓦伦蒂安·瓦莱罗;赫梅内吉尔达·马西阿;胡安·何塞·帕尔多;玛丽亚·艾米利亚·坎布罗内罗;格雷戈里奥·迪亚斯

将具有优先级和时间约束的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）
全文： 内政部
Gemma Bel-Enguix公司;阿德拉·格兰多;吉梅内斯·洛佩斯（Jiménez-López），M.多洛雷斯（M.Dolores）

语法系统作为语法服务的管弦乐队。 （英语） Zbl 1341.68069号

Dömösi，Pál（ed.）等人，《自动机和形式语言》。2011年8月17日至22日在匈牙利德布勒森举行的2011年AFL第13届国际会议。尼雷加扎：尼雷加萨学院，数学和信息学研究所（ISBN 978-615-5097-19-5/pbk）。65-78 (2011).
MSC公司：2012年第68季度 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{G.Bel-Enguix}等人，in：自动机和形式语言。2011年8月17日至22日在匈牙利德布勒森举行的2011年AFL第13届国际会议。尼雷加扎：尼雷加萨学院，数学和信息学研究所。65-78（2011；Zbl 1341.68069）
Chyzak、Frédéric;亚历克西斯·达拉斯

使用Camlp4在web上呈现动态数学：DynaMoW，一种OCaml语言扩展，用于在运行时生成数学内容及其在web上的表示。 （英语） Zbl 1323.68545号

2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录，ICFP’11。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0865-6）。ACM SIGPLAN通知46，第9号，259-265（2011）。
MSC公司：68单位35 68甲15 68甲18 68甲19 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{F.Chyzak}和\textit{A.Darrasse}，in：第16届ACM SIGPLAN函数编程国际会议论文集，ICFP'11，日本东京，2011年9月19-21日。纽约州纽约市：计算机协会（ACM）。259--265（2011；Zbl 1323.68545）
全文： 内政部
克里斯蒂安·鲍恩;马塞尔·昆泽;延斯·尼米斯;泰·斯特凡

云计算。基于Web的动态IT服务。 （英语） Zbl 1223.68001号

柏林：施普林格出版社（ISBN 978-3-642-20916-1/pbk；978-3-662-20917-8/电子书）。九、97页。(2011).
审核人：达纳·佩特库（蒂米什奥拉）
MSC公司：68-00 64岁以下 68问题85 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{C.Baun}等人，云计算。基于Web的动态IT服务。柏林：施普林格出版社（2011；Zbl 1223.68001）
全文： 内政部
Heimbürger，A。（编辑）;Y.清崎。（编辑）;德田，T。（编辑）;H.雅科拉。（编辑）;吉田，N。（编辑）

信息建模和知识库二十二（EJC 2010）。论文基于2011年6月6日至10日在爱沙尼亚塔林举行的欧洲-日本会议上的发言。 （英语） Zbl 1208.68019号

人工智能和应用的前沿225.阿姆斯特丹：IOS出版社（ISBN 978-1-60750-689-8/hbk；978-1-60750-690-4/电子书）。x、 第449页。(2011).
MSC公司：68-06 第68页，共15页 68第20页 68立方英尺 68层35 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Heimbürger}（编辑）等人，《信息建模和知识库二十二》（EJC 2010）。论文基于2011年6月6日至10日在爱沙尼亚塔林举行的欧洲-日本会议上的发言。阿姆斯特丹：IOS出版社（2011；Zbl 1208.68019）
全文： 链接
雅典娜·瓦卡利（编辑）;拉赫米·贾恩。（编辑）

网络数据管理的新方向1。 （英语） Zbl 1208.68021号

计算智能研究331.柏林：施普林格出版社（ISBN 978-3-642-17550-3/hbk；978-3-442-17551-0/电子书）。xv，第348页。(2011).
MSC公司：68-06 68英里11 68页第10页 第68页，共15页 68T05型 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{A.Vakali}（编辑）和\textit{L.C.Jain}（编），网络数据管理新方向1。柏林：施普林格出版社（2011；Zbl 1208.68021）
全文： 内政部
弗洛里·伊斯梅利;Bogdan Shishedjiev;泽努尼（Xhemal Zenuni）;布加尔·劳菲

基于GHSOM的web服务发现。 （英语） Zbl 1231.68247号

Grigoriu，Mircea（编辑）等人，欧洲计算会议。2010年4月20日至22日，第四届欧洲计算大会（ECC’10）会议记录，罗马尼亚布加勒斯特。雅典：世界科学与工程学会（WSEAS）（ISBN 978-960-474-183-0/CD-ROM；978-960-474-178-6/hbk）。电气与计算机工程系列。一系列参考书和教科书。，207-211 (2010).
MSC公司：68立方英尺 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{F.Ismaili}等人，in：欧洲计算会议。2010年4月20日至22日，罗马尼亚布加勒斯特，第四届欧洲计算机会议（ECC’10）会议记录。雅典：世界科学与工程学会（WSEAS）。207--211（2010；Zbl 1231.68247）
石忠志（编辑）;苏尼尔·瓦德拉（编辑）;阿格纳尔·阿莫特（编辑）;利基，大卫（编辑）

智能信息处理V.第六届IFIP TC 12国际会议，IIP 2010，英国曼彻斯特，2010年10月13-16日。诉讼程序。 （英语） Zbl 1202.68062号

IFIP信息和通信技术进展340.柏林：施普林格出版社（ISBN 978-3-642-16326-5/hbk；978-3-442-16327-2/电子书）。x、 第354页。(2010).
MSC公司：68英里11 68立方英尺 68-06 第68页第50页 68吨10 68平方英寸10 00B25型 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{Z.Shi}（ed.）et al.，智能信息处理V.第六届IFIP TC 12国际会议，IIP 2010，英国曼彻斯特，2010年10月13-16日。诉讼程序。柏林：施普林格出版社（2010；Zbl 1202.68062）
全文： 内政部
埃尔泰·卡亚;穆罕默德·库祖;Cicekli，尼汉·凯西姆

为自动化web服务组合框架提供可扩展性。 （英语） Zbl 1198.68094号

Gelenbe，Erol（编辑）等人，《计算机与信息科学》。2010年9月22日至24日，英国伦敦，第25届计算机和信息科学国际研讨会论文集。多德雷赫特：施普林格（ISBN 978-90-481-9793-4/hbk；978-90-981-9794-1/电子书）。电气工程课堂讲稿62，329-332（2010）。
MSC公司：68英里11
PDF格式BibTeX公司 XML格式引用
\textit{E.Kaya}等人，Lect。注释Electr。工程62329--332（2010；Zbl 1198.68094）
全文： 内政部 链接
苏迪普·米斯拉（编辑）;米斯拉，苏巴斯·钱德拉（编辑）;伊萨克·旺冈（编辑）

通信网络和分配系统的选定主题。 （英语） Zbl 1209.68018号

新泽西州哈肯萨克：世界科学（ISBN 978-981-283-943-5/hbk；978-981-2 83-944-2/电子书）。vii，799页。(2010).
MSC公司：68M10个 68个M12 68-06 68平方米 64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
\textit{S.Misra}（编辑）等人，《通信网络和配电系统中的选定主题》。新泽西州哈肯萨克：《世界科学》（2010；Zbl 1209.68018）
费萨尔·阿布扎德;约翰·马林斯

使用BP-calculus对web服务编排进行建模检查。 （英语） Zbl 1364.68271号

Salaün，Gwen（编辑）等人，第八届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2009），2009年7月11日，希腊罗兹。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记255，3-21（2009）。
MSC公司：68问题85 03B70号 68英里11 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Abouzaid}和\textit{J.Mullins}，电子。注释Theor。计算。科学。255，3-21（2009年；兹bl 1364.68271）
全文： 链接
萨米拉·塔沙罗菲;马尔詹·西尔贾尼

使用Reo和CASM对WS-CDL进行形式化建模和一致性验证。 （英语） 兹比尔1347.68240

Canal，Carlos（编辑）等人，第七届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第2期，155-174（2009）。
MSC公司：60年第68季度 68英里11 68纳米30 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Tasharofi}和\textit{M.Sirjani}，电子。注释Theor。计算。科学。229，第2号，155--174（2009；Zbl 1347.68240）
全文： 内政部
克里克，汤姆;彼得·邓宁;Kim、Hyunsun;朱利安·帕吉特

使用服务和工作流进行工程设计优化。 （英语） Zbl 1185.68062号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 367，编号18982741-2751（2009）.
MSC公司：68英里11
PDF格式BibTeX公司 XML格式引用
\textit{T.Crick}等人，Philos。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。367，编号18982741--2751（2009；Zbl 1185.68062）
全文： 内政部 链接
尼泊尔、苏里亚;约翰·齐克;陈世平

面向服务的动态协作的契约语言。 （英语） Zbl 1184.68075号

Bertino，Elisa（编辑）等人，《协作计算：网络、应用程序和工作共享》，第四届国际ICST会议，2008年CollaborateCom，美国佛罗里达州奥兰多，2008年11月13日至16日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03353-7/pbk；978-3-442-03354-4/电子书）。计算机科学、社会信息学和电信工程研究所讲稿10，545-562（2009）。
MSC公司：68英里11 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{S.Nepal}et al.，in：协作计算：网络、应用程序和工作共享。第四届国际ICST会议，CollaborateCom 2008，美国佛罗里达州奥兰多，2008年11月13-16日。修订了选定的论文。柏林：斯普林格。545-562（2009年；兹比尔1184.68075）
全文： 内政部
安德烈·卡利;托马斯·卢卡西维奇;利维亚·普雷多尤;海纳·斯塔肯施密特

语义网的紧密耦合概率描述逻辑程序。 （英语） Zbl 1246.68216号

Spacapietra，Stefano（编辑），《数据语义学杂志》XII。柏林：施普林格出版社（ISBN 978-3-642-00684-5/pbk）。计算机科学课堂讲稿5480。《期刊副刊》，95-130（2009）。
MSC公司：68立方英尺 68英里11 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Cal}等人，莱克特。注释计算。科学。5480、95-130（2009年；Zbl 1246.68216）
全文： 内政部
朱塞佩·卡斯塔尼亚;尼尔斯·盖斯伯特;卢卡·帕多瓦尼

web服务契约理论。 （英语） Zbl 1295.68080号

第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2008年1月7日至12日，美国加利福尼亚州旧金山，POPL'08。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-689-9）。261-272 (2008).
MSC公司：68纳米30 68英里11 68甲18 68第20页 2010年第68季度 65年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Castagna}等人，in：第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'08，美国加利福尼亚州旧金山，2008年1月7日至12日。纽约州纽约市：计算机协会（ACM）。261--272（2008年；Zbl 1295.68080）
全文： 内政部
马尔科·卡博尼;本田、高黑;吉田、Nobuko

以通信为中心的编程的理论方面。 （英语） Zbl 1279.68050号

Palamidessi，Catuscia（ed.）等人，《LIX并发理论新兴趋势研讨会论文集》（LIX 2006），法国巴黎，2006年11月13日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记209125-133（2008）。
MSC公司：68纳米30 68M10个 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{M.Carbone}等人，《电子》。注释Theor。计算。科学。209125-133（2008年；Zbl 1279.68050）
全文： 内政部
乔斯·德·布鲁因;迪特尔·芬塞尔;米克·克里根;乌韦·凯勒;霍尔格·劳森;詹姆斯·西克鲁纳

语义web服务建模。web服务建模语言。 （英语） Zbl 1142.68014号

柏林：施普林格出版社（ISBN 978-3-540-68169-4/hbk）。xiii，192页。(2008).
MSC公司：68M10个 68T05型 68单位35 68-01
PDF格式BibTeX公司 XML格式引用
\textit{J.deBruijn}等人，《语义web服务建模》。web服务建模语言。柏林：施普林格出版社（2008；Zbl 1142.68014）
阿莱西奥·古利奥塔;约翰·多明戈;莉莉亚娜·卡布拉尔;弗拉德·塔纳塞斯库;加利齐亚、斯特凡尼亚;罗伯·戴维斯;Leticia Gutierrez Villarias公司;玛丽·罗拉特;马克·理查森;桑德拉·施汀奇

在电子政务领域部署基于语义web服务的应用程序。 （英语） 兹比尔1131.68574

Spacapietra，Stefano（编辑），《数据语义学杂志》X。柏林：施普林格出版社（ISBN 978-3-540-77687-1/pbk）。计算机科学课程讲稿4900。《Subline杂志》，96-132（2008）。
MSC公司：68单位35
PDF格式BibTeX公司 XML格式引用
\textit{A.Gugliotta}等人，Lect。注释计算。科学。4900，96-132（2008；Zbl 1131.68574）
全文： 内政部 链接
哥伦比亚特区塔兰蒂利斯。;基拉努迪斯，C.T。;新墨西哥州西奥多拉科普洛斯。

用于商业服务和供应链管理的基于web的ERP系统：应用于实际流程调度。 （英语） Zbl 1137.90523号

欧洲药典。物件。 187，第3期，1310-1326（2008）.
MSC公司：90B35型 90B05型
PDF格式BibTeX公司 XML格式引用
\textit{C.D.Tarantilis}等人，《欧洲药典》。第187号决议，第3号，1310--1326（2008年；Zbl 1137.90523）
全文： 内政部
维普省卡西亚普;克里斯托夫·巴斯勒;马修·莫兰

语义网。web上数据和服务的语义。 （英语） Zbl 1161.68005号

以数据为中心的系统和应用程序柏林：施普林格出版社（ISBN 978-3-540-76451-9/hbk）。第十五章，第414页。(2008).
MSC公司：68M10个 68第20页 68T05型 68立方英尺 68单位35 68-01
PDF格式BibTeX公司 XML格式引用
\textit{V.Kashyap}等人，《语义网》。web上数据和服务的语义。柏林：施普林格出版社（2008；Zbl 1161.68005）
马尔科·卡博尼;本田、高黑;吉田、Nobuko

基于会话类型的全局交互演算。 （英语） Zbl 1277.68171号

Jouannaud，Jean-Pierre（ed.）等人，第二届计算模型发展国际研讨会论文集（DCM 2006），意大利威尼斯，2006年7月16日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》171，第3期，127-151（2007）。
MSC公司：68问题85 68M10个 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{M.Carbone}等人，《电子》。注释Theor。计算。科学。171，第3号，127--151（2007；Zbl 1277.68171）
全文： 内政部
男子，彭;段振华;于斌

利用模糊Petri网进行基于编排的语义web服务发现。 （英语） 兹比尔1226.68010

Kleijn，Jetty（ed.）等人，Petri网和其他并发模型——ICATPN 2007。第28届Petri网和其他并发模型应用和理论国际会议，2007年6月25日至29日，波兰Siedlce，ICATPN 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73093-4/pbk）。计算机科学课堂讲稿4546362-380（2007）。
MSC公司：68英里11 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Men}等人，Lect。注释计算。科学。4546、362--380（2007年；Zbl 1226.68010）
全文： 内政部
亚尼克·骑士;丹尼斯·卢吉兹;米夏埃尔·鲁西诺维奇

实现web服务安全性的自动分析。 （英语） 兹比尔1148.68315

Konev，Boris（编辑）等人，《组合系统的前沿》。第六届国际研讨会，FroCoS 2007，英国利物浦，2007年9月10日至12日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74620-1/pbk）。计算机科学课堂讲稿4720。人工智能课堂讲稿，133-147（2007）。
MSC公司：68M10个 68个M12 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{Y.Chevalier}等人，Lect。注释计算。科学。4720、133--147（2007年；Zbl 1148.68315）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件