Robustness-as-evolvability: building a dynamic control plane with Software-Defined Networking

鲁棒性即进化性：使用软件定义网络构建动态控制平面

基本信息

  • 批准号：
    EP/L02277X/1
  • 负责人：
    David Aspinall
  • 金额：
    $ 35.55万
  • 依托单位：
    University of Edinburgh
  • 依托单位国家：
    英国
  • 项目类别：
    Research Grant
  • 财政年份：
    2015
  • 资助国家：
    英国
  • 起止时间：
    2015 至 无数据
  • 项目状态：
    已结题

项目摘要

Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
GTR目前尚未用于所有资助研究的摘要。这通常是因为提交提案时不需要摘要，但可能是因为它包含了敏感信息，例如个人详细信息。

项目成果

期刊论文数量（9）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Simplifying Datacenter Network Debugging with PathDump
使用 PathDump 简化数据中心网络调试
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Tammara P
  • 通讯作者：
    Tammara P
Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
综合形式方法 - 第 14 届国际会议，IFM 2018，爱尔兰梅努斯，2018 年 9 月 5-7 日，会议记录
  • DOI：
    10.1007/978-3-319-98938-9_11
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Galpin V
  • 通讯作者：
    Galpin V
Mesoscopic Modelling of Pedestrian Movement Using C arma and Its Tools
使用 Carma 及其工具进行行人运动的细观建模
ApproxIoT: Approximate Analytics for Edge Computing
STATISTICAL ANALYSIS OF Carma MODELS: AN ADVANCED TUTORIAL
  • DOI：
    10.1109/wsc.2018.8632456
  • 发表时间：
    2018-12
  • 期刊：
    2018 Winter Simulation Conference (WSC)
  • 影响因子：
    0
  • 作者：
    Vashti Galpin;Anastasis Georgoulas;M. Loreti;Andrea Vandin
  • 通讯作者：
    Vashti Galpin;Anastasis Georgoulas;M. Loreti;Andrea Vandin
{{ 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 }}

David Aspinall其他文献

Subtyping dependent types
子类型化依赖类型
Privacy and Identity Management. Time for a Revolution?
隐私和身份管理。
  • DOI：
    10.1007/978-3-319-41763-9
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    David Aspinall;J. Camenisch;M. Hansen;S. Fischer;C. Raab
  • 通讯作者：
    C. Raab
Querying Proofs
查询证明
Formalising oblivious transfer in the semi-honest and malicious model in CryptHOL
在 CryptHOL 中形式化半诚实和恶意模型中的不经意传输
  • DOI：
  • 发表时间：
    2020
  • 期刊：
    Certified Programs and Proofs
  • 影响因子：
    0
  • 作者：
    D. Butler;David Aspinall;Adrià Gascón
  • 通讯作者：
    Adrià Gascón
Capturing Hiproofs in HOL Light
在 HOL Light 中捕捉 Hiproofs
  • DOI：
  • 发表时间：
    2013
  • 期刊：
    MKM/Calculemus/DML
  • 影响因子：
    0
  • 作者：
    Steven Obua;Mark Adams;David Aspinall
  • 通讯作者：
    David Aspinall

David Aspinall的其他文献

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

{{ truncateString('David Aspinall', 18)}}的其他基金

AISEC: AI Secure and Explainable by Construction
AISEC：人工智能通过构建变得安全且可解释
  • 批准号：
    EP/T027037/1
  • 财政年份：
    2020
  • 资助金额：
    $ 35.55万
  • 项目类别：
    Research Grant
Academic Centre of Excellence in Cyber Security Research - University of Edinburgh
网络安全研究卓越学术中心 - 爱丁堡大学
  • 批准号：
    EP/R007144/1
  • 财政年份：
    2017
  • 资助金额：
    $ 35.55万
  • 项目类别：
    Research Grant
App Guarden: Resilient Application Stores
App Guarden：有弹性的应用程序商店
  • 批准号：
    EP/K032666/1
  • 财政年份：
    2013
  • 资助金额：
    $ 35.55万
  • 项目类别：
    Research Grant
Resource Static Analysis
资源静态分析
  • 批准号：
    EP/G006032/1
  • 财政年份：
    2009
  • 资助金额：
    $ 35.55万
  • 项目类别：
    Research Grant
Knowledge-Based Authentication: Evaluating and Improving
基于知识的认证：评估和改进
  • 批准号：
    EP/G020760/1
  • 财政年份：
    2008
  • 资助金额：
    $ 35.55万
  • 项目类别：
    Research Grant

相似海外基金

Determining the architecture of antibiotic resistance evolvability
确定抗生素耐药性进化的结构
  • 批准号：
    BB/X007979/1
  • 财政年份：
    2023
  • 资助金额：
    $ 35.55万
  • 项目类别：
    Research Grant
Evolvability of enveloped viruses caused by their fusion proteins
由其融合蛋白引起的包膜病毒的进化
  • 批准号：
    23H02726
  • 财政年份：
    2023
  • 资助金额：
    $ 35.55万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Comprehensive mutational analysis of five major clinical ß-lactamases to elucidate evolvability and family-level trends
对五种主要临床β-内酰胺酶进行全面突变分析，以阐明进化性和家族水平趋势
  • 批准号：
    486000
  • 财政年份：
    2022
  • 资助金额：
    $ 35.55万
  • 项目类别：
    Studentship Programs
Robustness and Evolvability of Evolutionary Algorithms
进化算法的鲁棒性和可进化性
  • 批准号：
    RGPIN-2016-04699
  • 财政年份：
    2022
  • 资助金额：
    $ 35.55万
  • 项目类别：
    Discovery Grants Program - Individual
Neuronal plasticity and the evolvability of behavior
神经元可塑性和行为的进化性
  • 批准号：
    2203122
  • 财政年份：
    2022
  • 资助金额：
    $ 35.55万
  • 项目类别：
    Standard Grant
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了