Dynamic composition of systems and services
Dynamic composition of systems and services
批准号:
122224-2011
负责人:
Dssouli, Rachida
金额:
$1.46万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2012
资助国家:
加拿大
项目状态:
已结题
起止时间:
2012-01-01 至 2013-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The main objective of this research proposal is to contribute to the growing research activities in the domain of systems' composition taking into account their proprieties and semantics. More precisely, the aim is to generate valid compositions of systems that preserve desirable proprieties at run time. In this project we will be focusing on systems' services, web services as a mean of high level systems' composition, and mobile service composition.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Service composition testing and verification
-
批准号:RGPIN-2018-06796
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2022
-
负责人:Dssouli, Rachida
-
依托单位:
Service composition testing and verification
-
批准号:RGPIN-2018-06796
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2021
-
负责人:Dssouli, Rachida
-
依托单位:
Service composition testing and verification
-
批准号:RGPIN-2018-06796
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2020
-
负责人:Dssouli, Rachida
-
依托单位:
Service composition testing and verification
-
批准号:RGPIN-2018-06796
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2019
-
负责人:Dssouli, Rachida
-
依托单位:
Service composition testing and verification
-
批准号:RGPIN-2018-06796
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2018
-
负责人:Dssouli, Rachida
-
依托单位:
Specification and verification of design models for certifiable avionics software
-
批准号:463076-2014
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$4.37万
-
财政年份:2017
-
负责人:Dssouli, Rachida
-
依托单位:
Specification and verification of design models for certifiable avionics software
-
批准号:463076-2014
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$4.37万
-
财政年份:2016
-
负责人:Dssouli, Rachida
-
依托单位:
Dynamic composition of systems and services
-
批准号:122224-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2015
-
负责人:Dssouli, Rachida
-
依托单位:
Dynamic composition of systems and services
-
批准号:122224-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2014
-
负责人:Dssouli, Rachida
-
依托单位:
Specification and verification of design models for certifiable avionics software
-
批准号:463076-2014
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$4.3万
-
财政年份:2014
-
负责人:Dssouli, Rachida
-
依托单位:
Dynamic composition of systems and services
-
批准号:122224-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2013
-
负责人:Dssouli, Rachida
-
依托单位:
Dynamic composition of systems and services
-
批准号:122224-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2011
-
负责人:Dssouli, Rachida
-
依托单位:
Communication software engineering based on formal methods
-
批准号:122224-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.43万
-
财政年份:2010
-
负责人:Dssouli, Rachida
-
依托单位:
Communication software engineering based on formal methods
-
批准号:122224-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.43万
-
财政年份:2009
-
负责人:Dssouli, Rachida
-
依托单位:
Communication software engineering based on formal methods
-
批准号:122224-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.43万
-
财政年份:2008
-
负责人:Dssouli, Rachida
-
依托单位:
Communication software engineering based on formal methods
-
批准号:122224-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.43万
-
财政年份:2007
-
负责人:Dssouli, Rachida
-
依托单位:
Communication software engineering based on formal methods
-
批准号:122224-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.43万
-
财政年份:2006
-
负责人:Dssouli, Rachida
-
依托单位:
Systematic creation and testing of communication services: quality driven methods
-
批准号:122224-2000
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2005
-
负责人:Dssouli, Rachida
-
依托单位:
Systematic creation and testing of communication services: quality driven methods
-
批准号:122224-2000
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2004
-
负责人:Dssouli, Rachida
-
依托单位:
Systematic creation and testing of communication services: quality driven methods
-
批准号:122224-2000
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2003
-
负责人:Dssouli, Rachida
-
依托单位:
国内基金
海外基金
高维及无限维区域上函数空间的算子论及相关调和分析
-
批准号:12071134
-
项目类别:面上项目
-
资助金额:51.0万元
-
批准年份:2020
-
负责人:黄寒松
-
依托单位:
解析Sobolev空间上的算子理论
-
批准号:12071155
-
项目类别:面上项目
-
资助金额:51.0万元
-
批准年份:2020
-
负责人:曹广福
-
依托单位:
解析函数空间上加权复合算子和广义Hilbert算子若干问题的研究
-
批准号:11801219
-
项目类别:青年科学基金项目
-
资助金额:22.0万元
-
批准年份:2018
-
负责人:胡晴华
-
依托单位: