Spécification et vérification de la sécurité du code mobile

移动代码安全规范和验证

基本信息

  • 批准号：
    138321-2003
  • 负责人：
    Mullins, John
  • 金额：
    $ 1.24万
  • 依托单位：
    École Polytechnique de Montréal
  • 依托单位国家：
    加拿大
  • 项目类别：
    Discovery Grants Program - Individual
  • 财政年份：
    2005
  • 资助国家：
    加拿大
  • 起止时间：
    2005-01-01 至 2006-12-31
  • 项目状态：
    已结题

项目摘要

No summary - Aucun sommaire
无摘要- Aucun sommaire

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Mullins, John其他文献

Positioning reproducibility with and without rotational corrections for 2 head and neck immobilization systems
  • DOI：
    10.1016/j.prro.2015.05.003
  • 发表时间：
    2015-11-01
  • 期刊：
    PRACTICAL RADIATION ONCOLOGY
  • 影响因子：
    3.3
  • 作者：
    Courneyea, Lorraine;Mullins, John;Pafundi, Deanna
  • 通讯作者：
    Pafundi, Deanna
Long-term trends and regional variation in the aeroallergen Alternaria in Cardiff and Derby UK: Are differences in climate and cereal production having an effect?
  • DOI：
    10.1023/b:aero.0000006529.51252.2f
  • 发表时间：
    2003-09-01
  • 期刊：
    Aerobiologia
  • 影响因子：
    2
  • 作者：
    Corden, Julie M.;Millington, Wendy M.;Mullins, John
  • 通讯作者：
    Mullins, John
Are your cash-flow tools recession ready?
  • DOI：
    10.1016/j.bushor.2020.04.003
  • 发表时间：
    2020-11-01
  • 期刊：
    BUSINESS HORIZONS
  • 影响因子：
    7.4
  • 作者：
    Mullins, John
  • 通讯作者：
    Mullins, John
Correlation between tumor growth delay and expression of cancer and host VEGF, VEGFR2, and osteopontin in response to radiotherapy.
Bounded opacity for timed systems

Mullins, John的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Mullins, John', 18)}}的其他基金

Analyse formelle du flux d'information quantitative dans les systèmes d'intelligences artificielles
在人工智能系统中定量分析信息通量
  • 批准号：
    RGPIN-2020-06736
  • 财政年份：
    2022
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Discovery Grants Program - Individual
Analyse formelle du flux d'information quantitative dans les systèmes d'intelligences artificielles
在人工智能系统中定量分析信息通量
  • 批准号：
    RGPIN-2020-06736
  • 财政年份：
    2021
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Discovery Grants Program - Individual
Analyse formelle du flux d'information quantitative dans les systèmes d'intelligences artificielles
在人工智能系统中定量分析信息通量
  • 批准号：
    RGPIN-2020-06736
  • 财政年份：
    2020
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Discovery Grants Program - Individual
Méthodes formelles d'analyse quantitative de la sécurité de l'information partiellement observable dans les systèmes ouverts
系统中可观测信息部分安全性的定量分析方法
  • 批准号：
    138321-2013
  • 财政年份：
    2019
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Discovery Grants Program - Individual
Méthodes formelles d'analyse quantitative de la sécurité de l'information partiellement observable dans les systèmes ouverts
系统中可观测信息部分安全性的定量分析方法
  • 批准号：
    138321-2013
  • 财政年份：
    2015
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Discovery Grants Program - Individual
Méthodes formelles d'analyse quantitative de la sécurité de l'information partiellement observable dans les systèmes ouverts
系统中可观测信息部分安全性的定量分析方法
  • 批准号：
    138321-2013
  • 财政年份：
    2014
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Discovery Grants Program - Individual
Model-based integration and verificafion for mixed-criticality avionics systems embedded in a time-triggered architecture
嵌入时间触发架构中的混合关键性航空电子系统的基于模型的集成和验证
  • 批准号：
    435325-2012
  • 财政年份：
    2014
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Collaborative Research and Development Grants
Model-based integration and verificafion for mixed-criticality avionics systems embedded in a time-triggered architecture
嵌入时间触发架构中的混合关键性航空电子系统的基于模型的集成和验证
  • 批准号：
    435325-2012
  • 财政年份：
    2013
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Collaborative Research and Development Grants
Méthodes formelles d'analyse quantitative de la sécurité de l'information partiellement observable dans les systèmes ouverts
系统中可观测信息部分安全性的定量分析方法
  • 批准号：
    138321-2013
  • 财政年份：
    2013
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Discovery Grants Program - Individual
Model-based integration and verificafion for mixed-criticality avionics systems embedded in a time-triggered architecture
嵌入时间触发架构中的混合关键性航空电子系统的基于模型的集成和验证
  • 批准号：
    435325-2012
  • 财政年份：
    2012
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Collaborative Research and Development Grants

相似海外基金

Rôle de la voie de signalisation WNT durant la spécification des lignées et l'inactivation du chromosome X chez l'embryon préimplantatoire humain
WNT 信号传递的作用是在人类胚胎植入前 X 染色体的木质化和失活中发挥作用
  • 批准号：
    558629-2021
  • 财政年份：
    2022
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Postgraduate Scholarships - Doctoral
Spécification et vérification formelles de services web
服务网络的规范和验证
  • 批准号：
    183776-2006
  • 财政年份：
    2011
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Discovery Grants Program - Individual
Spécification et vérification formelles de services web
服务网络的规范和验证
  • 批准号：
    183776-2006
  • 财政年份：
    2009
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Discovery Grants Program - Individual
Spécification et vérification formelles de services web
服务网络的规范和验证
  • 批准号：
    183776-2006
  • 财政年份：
    2008
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Discovery Grants Program - Individual
Spécification et vérification formelles de services web
服务网络的规范和验证
  • 批准号：
    183776-2006
  • 财政年份：
    2007
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Discovery Grants Program - Individual
Spécification et vérification de la sécurité du code mobile
移动代码安全规范和验证
  • 批准号：
    138321-2003
  • 财政年份：
    2006
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Discovery Grants Program - Individual
Spécification formelle de politiques de sécurité et génération de code certifié
安全政策和代码认证生成规范
  • 批准号：
    298248-2004
  • 财政年份：
    2006
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Discovery Grants Program - Individual
Spécification et vérification formelles de services web
服务网络的规范和验证
  • 批准号：
    183776-2006
  • 财政年份：
    2006
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Discovery Grants Program - Individual
Spécification formelle de politiques de sécurité et génération de code certifié
安全政策和代码认证生成规范
  • 批准号：
    298248-2004
  • 财政年份：
    2005
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Discovery Grants Program - Individual
Spécification et analyse de protocoles de commerce électronique
电子商业协议的规范和分析
  • 批准号：
    250328-2002
  • 财政年份：
    2005
  • 资助金额：
    $ 1.24万
  • 项目类别：
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了