掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Workshop on Web Services and Formal Methods
International Workshop on Web Services and Formal Methods
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Dynamic Constraint-Based Invocation of Web Services
机译:
基于动态约束的Web服务调用
作者:
Diletta Cacciagrano
;
Flavio Corradini
;
Rosario Culmone
;
Leonardo Vito
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
2.
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System
机译:
评估基于Web服务的分布式电子学习和课程管理系统的可扩展性
作者:
Stephen Gilmore
;
Mirco Tribastone
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
3.
Service QoS Composition at the Level of Part Names
机译:
在零件名称的水平下服务QoS组成
作者:
Marco Aiello
;
Florian Rosenberg
;
Christian Platzer
;
Agata Ciabattoni
;
Schahram Dustdar
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
关键词:
service-oriented computing;
web services;
service composition;
quality of service;
4.
A Formal Account of Contracts for Web Services
机译:
Web服务合同的正式账户
作者:
S. Carpineti
;
G. Castagna
;
C. Laneve
;
L. Padovani
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
5.
A Formal Approach to Service Component Architecture
机译:
服务组件架构的正式方法
作者:
Jose Luiz Fiadeiro
;
Antonia Lopes
;
Laura Bocchi
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
6.
Semantic Querying of Mathematical Web Service Descriptions
机译:
语义查询数学Web服务描述
作者:
Rebhi Baraka
;
Wolfgang Schreiner
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
7.
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment
机译:
舞蹈一致性分析:异步通信和信息对齐
作者:
Raman Kazhamiakin
;
Marco Pistore
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
8.
Execution Semantics for Service Choreographies
机译:
用于服务编排的执行语义
作者:
Gero Decker
;
Johannes Maria Zaha
;
Marlon Dumas
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
9.
DecSerFlow: Towards a Truly Declarative Service Flow Language
机译:
Decserflow:迈向真正的声明性服务流程语言
作者:
W.M.P. van der Aalst
;
M. Pesic
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
关键词:
service flows;
web services;
workflow management;
flexibility;
temporal logic;
10.
Towards a Unifying Theory for Web Services Composition
机译:
迈向Web服务构成的统一理论
作者:
Manuel Mazzara
;
Ivan Lanese
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
11.
Application of Model Checking to AXML System's Security: A Case Study
机译:
模型检查在AXML系统的安全性中的应用:案例研究
作者:
Il-Gon Kim
;
Debmalya Biswas
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
12.
SCC: A Service Centered Calculus
机译:
SCC:服务中心微积分
作者:
M. Boreale
;
R. Bruni
;
L. Caires
;
R. De Nicola
;
I. Lanese
;
M. Loreti
;
F. Martins
;
U. Montanari
;
A. Ravara
;
D. Sangiorgi
;
V. Vasconcelos
;
G. Zavattaro
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
13.
Verified Reference Implementations of WS-Security Protocols
机译:
验证了WS-Security协议的参考实现
作者:
Karthikeyan Bhargavan
;
Cedric Fournet
;
Andrew D. Gordon
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
14.
Analysis and Verification of Time Requirements Applied to the Web Services Composition
机译:
应用于Web服务组成的时间要求的分析和验证
作者:
Gregorio Diaz
;
Maria-Emilia Cambronero
;
M. Llanos Tobarra
;
Valentin Valero
;
Fernando Cuartero
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
15.
Translating Orc Features into Petri Nets and the Join Calculus
机译:
将ORC功能转换为Petri网和加入微积分
作者:
Roberto Bruni
;
Hernan Melgratti
;
Emilio Tuosto
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
16.
From BPEL Processes to YAWL Workflows
机译:
从BPEL流程到yawl工作流程
作者:
Antonio Brogi
;
Razvan Popescu
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
17.
Towards the Formal Model and Verification of Web Service Choreography Description Language
机译:
朝着Web服务编排描述语言的正式模型和验证
作者:
Zhao Xiangpeng
;
Yang Hongli
;
Qiu Zongyan
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
18.
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool
机译:
运行时验证Web服务编排的计算逻辑:利用SOCS-SI工具
作者:
Marco Alberti
;
Federico Chesani
;
Marco Gavanelli
;
Evelina Lamma
;
Paola Mello
;
Marco Montali
;
Sergio Storari
;
Paolo Torroni
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2006年
19.
Controlling Petri Net Process Models
机译:
控制Petri净流程模型
作者:
Jorg Desel
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2008年
20.
Event Structure Semantics of Orc
机译:
兽人事件结构语义
作者:
Sidney Rosario
;
David Kitchin
;
Albert Benveniste
;
William Cook
;
Stefan Haar
;
Claude Jard
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2008年
21.
Extending Model Checking to Data-Aware Temporal Properties of Web Services
机译:
扩展模型检查Web服务的数据感知时间属性
作者:
Sylvain Halle
;
Roger Villemaire
;
Omar Cherkaoui
;
Jerome Tremblay
;
Boubker Ghandour
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2008年
22.
From BPEL to SRML: Formal Transformational Approach
机译:
从BPEL到SRML:正式的转型方法
作者:
Laura Bocchi
;
Yi Hong
;
Antonia Lopes
;
Jose Luiz Fiadeiro
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2008年
23.
Analyzing BPEL4Chor: Verification and Participant Synthesis
机译:
分析BPEL4CHOR:验证和参与者合成
作者:
Niels Lohmann
;
Oliver Kopp
;
Frank Leymann
;
Wolfgang Reisig
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2008年
关键词:
BPEL4Chor;
Choreography;
Participant generation;
Petri nets;
Service-oriented analysis;
Design;
24.
A Feature-Complete Petri Net Semantics for WS-BPEL 2.0
机译:
用于WS-BPEL 2.0的功能完整的Petri Net语义
作者:
Niels Lohmann
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2008年
25.
Modeling Web Service Interactions Using the Coordination Language Reo
机译:
使用协调语言reo建模Web服务交互
作者:
Samira Tasharofi
;
Mohsen Vakilian
;
Roshanak Zilouchian Moghaddam
;
Marjan Sirjani
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2008年
关键词:
Compositional Semantics;
Constraint Automata;
Reo;
WS-BPEL;
Web Services;
26.
Synthesis of Web Services Orchestrators in a Timed Setting
机译:
在定时设置中综合Web服务Orchestrators
作者:
Fabio Martinelli
;
Ilaria Matteucci
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2008年
27.
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers
机译:
基于消息经纪人的发布/订阅消息传递方案的可扩展形式化
作者:
Qin Li
;
Huibiao Zhu
;
Jing Li
;
Jifeng He
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2008年
28.
From BPEL to SRML: A Formal Transformational Approach
机译:
从BPEL到SRML:正式的转型方法
作者:
Laura Bocchi
;
Yi Hong
;
Antonia Lopes
;
Jose Luiz Fiadeiro
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2008年
29.
From Public Views to Private Views - Correctness-by-Design for Services
机译:
从公众视图到私人视图 - 服务的正确性设计
作者:
Wil M. P. van der Aalst
;
Niels Lohmann
;
Peter Massuthe
;
Christian Stahl
;
Karsten Wolf
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2008年
30.
Towards a Theory of Web Service Choreographies
机译:
朝着网络服务编排的理论
作者:
Jianwen Su
;
Tevfik Bultan
;
Xiang Fu
;
Xiangpeng Zhao
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2008年
31.
Refactoring Long Running Transactions
机译:
重构长期运行交易
作者:
Gian Luigi Ferrari
;
Roberto Guanciale
;
Daniele Strollo
;
Emilio Tuosto
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2009年
32.
Security Types for Sessions and Pipelines
机译:
会话和管道的安全类型
作者:
Marija Kolundzija
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2009年
33.
Towards a Formal Framework for Workflow Interoperability
机译:
走向正式的工作流程互操作性框架
作者:
Sarah D. Induruwa Fernando
;
Andrew C. Simpson
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2009年
34.
Proof Techniques for Adapter Generation
机译:
适配器生成的证明技术
作者:
Arjan J. Mooij
;
Marc Voorhoeve
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2009年
35.
On-The-Fly Model-Based Testing of Web Services with Jambition
机译:
基于模型的基于模型的Web服务测试与jambition
作者:
Lars Frantzen
;
Maria de las Nieves Huerta
;
Zsolt Gere Kiss
;
Thomas Wallet
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2009年
36.
Efficient Controllability Analysis of Open Nets
机译:
开放网的有效控制性分析
作者:
Daniela Weinberg
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2009年
关键词:
Business process analysis;
Formal models in business process management;
Process verification and validation;
Petri nets;
37.
Verification of Choreographies During Execution Using the Reactive Event Calculus
机译:
使用反应事件微积分执行在执行期间的验证
作者:
Federico Chesani
;
Paola Mello
;
Marco Montali
;
Paolo Torroni
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2009年
38.
RESTful Petri Net Execution
机译:
RESTFET Petri NET执行
作者:
Gero Decker
;
Alexander Luders
;
Hagen Overdick
;
Kai Schlichting
;
Mathias Weske
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2009年
39.
Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis
机译:
WS-BPEL 2.0中的故障,补偿和终止 - 比较分析
作者:
Christian Eisentraut
;
David Spieler
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2009年
40.
Contract Compliance and Choreography Conformance in the Presence of Message Queues
机译:
在消息队列的存在下合同合规性和编舞一致性
作者:
Mario Bravetti
;
Gianluigi Zavattaro
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2009年
41.
On the Expressive Power of Process Interruption and Compensation
机译:
论过程中断和补偿的表现力
作者:
Mario Bravetti
;
Gianluigi Zavattaro
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2009年
42.
Why Does My Service Have No Partners?
机译:
为什么我的服务没有合作伙伴?
作者:
Niels Lohmann
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2009年
关键词:
Controllability;
Diagnosis;
Partner synthesis;
Verification;
43.
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets
机译:
时间限制灵活工作流程的建模与分析时间递归Ecatnets
作者:
Kamel Barkaoui
;
Hanifa Boucheneb
;
Awatef Hicheur
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2009年
关键词:
Time Petri nets;
Recursive Petri nets;
Time-constrained Flexible workflows;
Rewriting logic;
44.
Validation and Discovery of Non-deterministic Semantic e-Services
机译:
非确定性语义电子服务的验证和发现
作者:
Luigi Dragone
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2009年
45.
Automated Composition of Nondeterministic Stateful Services
机译:
自动化组成的无限制的状态服务
作者:
Giuseppe De Giacomo
;
Fabio Patrizi
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2010年
46.
Sessions and Session Types: An Overview
机译:
会话和会话类型:概述
作者:
Mariangiola Dezani-Ciancaglini
;
Ugo deLiguoro
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2010年
关键词:
Process calculi;
Type Systems;
Service Oriented Computing;
47.
Towards Compensation Correctness in Interactive Systems
机译:
朝着互动系统的补偿正确性
作者:
Catia Vaz
;
Carla Ferreira
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2010年
48.
A Graph Syntax for Processes and Services
机译:
流程和服务的图表语法
作者:
Roberto Bruni
;
Fabio Gadducci
;
Alberto Lluch Lafuente
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2010年
49.
A Formalisation of Adaptable Pervasive Flows
机译:
适应适应的普遍流动的形式化
作者:
Antonio Bucchiarone
;
Alberto Lluch Lafuente
;
Annapaola Marconi
;
Marco Pistore
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2010年
50.
Realizability Is Controllability
机译:
可实现可控性
作者:
Niels Lohmann
;
Karsten Wolf
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2010年
51.
Small Specifications for Tree Update
机译:
树更新的小规格
作者:
Philippa Gardner
;
Mark Wheelhouse
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2010年
52.
A Formal Semantics for the WS-BPEL Recovery Framework The π-Calculus Way
机译:
WS-BPEL恢复框架的正式语义π微积分
作者:
Nicola Dragoni
;
Manuel Mazzara
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2010年
53.
Specification and Verification of Multi-user Data-Driven Web Applications
机译:
多用户数据驱动Web应用程序的规范和验证
作者:
Monica Marcus
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2010年
关键词:
Business process modeling;
Decision problem;
Infinite-state system;
Model checking;
Temporal logic;
54.
Choreography Rehearsal
机译:
编舞排练
作者:
Chiara Bodei
;
Gian Luigi Ferrari
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2010年
55.
Compliance Preorders for Web Services
机译:
Web服务的合规定预算
作者:
Michele Bugliesi
;
Damiano Macedonio
;
Luca Pino
;
Sabina Rossi
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2010年
56.
Contract-Oriented Services
机译:
面向合同的服务
作者:
Emilio Tuosto
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2013年
关键词:
Synthesis;
Synthesis;
conditions;
57.
Reconfiguration Mechanisms for Service Coordination
机译:
服务协调的重新配置机制
作者:
Nuno Oliveira
;
Luís S. Barbosa
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2013年
关键词:
Reconfiguration;
Coordination;
gluecode;
58.
Conformance Checking of Services Using the Best Matching Private View
机译:
使用最佳匹配的私人视图一致性地检查服务
作者:
Richard Müller
;
Wil M.P. van der Aalst
;
Christian Stahl
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2013年
关键词:
Conformance;
conforms;
implementation;
59.
Preference and Similarity-Based Behavioral Discovery of Services
机译:
优先权和相似性的服务的行为发现
作者:
Farhad Arbab
;
Francesco Santini
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2013年
关键词:
Preference;
Preference;
constraints;
60.
Service Discovery with Cost Thresholds
机译:
服务发现成本阈值
作者:
Jan Sürmeli
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2013年
关键词:
Thresholds;
processes;
architecture;
61.
Formal Modeling and Analysis of the REST Architecture Using CSP
机译:
使用CSP的REST架构的正式建模与分析
作者:
Xi Wu
;
Yue Zhang
;
Huibiao Zhu
;
Yongxin Zhao
;
Zailiang Sun
;
Peng Liu
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2013年
关键词:
Modeling;
Analysis;
the REST Architecture;
CSP;
62.
SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications
机译:
SiteHopper:抽象导航状态机,以便有效验证Web应用程序
作者:
Guillaume Demarty
;
Fabien Maronnaud
;
Gabriel Le Breton
;
Sylvain Hallé
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2013年
关键词:
Navigation;
Verification;
Applications;
63.
Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes
机译:
事件结构作为流程模型差异的基础,第1部分:无循环过程
作者:
Abel Armas-Cervantes
;
Luciano García-Ba?uelos
;
Marlon Dumas
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2013年
关键词:
Process;
Foundation;
Structures;
64.
Formal Approaches for Synthesis of Web Service Business Protocols
机译:
综合Web服务业务协议的正式方法
作者:
Lhouari Nourine
;
Farouk Toumani
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2013年
关键词:
Approaches;
Business;
Synthesis;
65.
Kickstarting Choreographic Programming
机译:
踢踏学编排编程
作者:
Fabrizio Montesi
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2016年
66.
Type Checking Purpose-Based Privacy Policies in the π-Calculus
机译:
在π微积分中键入基于目的的隐私政策
作者:
Eleni Kokkinofta
;
Anna Philippou
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2016年
67.
Modeling and Formal Analysis of a Client-Server Application for Cloud Services
机译:
云服务客户端 - 服务器应用程序的建模与正式分析
作者:
Paolo Arcaini
;
Roxana-Maria Holom
;
Elvinia Riccobene
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2016年
68.
Formal Verification of Petri Nets with Names
机译:
与名称的Petri网进行正式验证
作者:
Marco Montali
;
Andrey Rivkin
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2016年
69.
On the Decidability of Honesty and of Its Variants
机译:
论诚实和变种的可辨
作者:
Massimo Bartoletti
;
Roberto Zunino
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2016年
70.
On the Suitability of Generalized Behavioral Profiles for Process Model Comparison
机译:
关于过程模型比较的广义行为谱的适用性
作者:
Abel Armas-Cervantes
;
Marlon Dumas
;
Luciano Garcia-Banuelos
;
Artem Polyvyanyy
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2016年
71.
Type Inference for Session Types in the π-calculus
机译:
在π微积分中的会话类型的类型推断
作者:
Eva Fajstrup Graversen
;
Jacob Buchreitz Harbo
;
Hans Huttel
;
Mathias Ormstrup Bjerregaard
;
Niels Sonnich Poulsen
;
Sebastian Wahl
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2016年
72.
Designing Efficient XACML Policies for RESTful Services
机译:
为RESTful Services设计高效的XACML策略
作者:
Marc Huffmeyer
;
Ulf Schreier
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2016年
73.
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
机译:
基于事件的运行时适应在以通信为中心的系统方法
作者:
Cinzia Di Giusto
;
Jorge A. Perez
会议名称:
《International Workshop on Web Services and Formal Methods》
|
2016年
意见反馈
回到顶部
回到首页