课题基金 / 基金详情

US-France Cooperative Research (INRIA): XML-Based Web Services Static Analysis and Computational Aspects

US-France Cooperative Research (INRIA): XML-Based Web Services Static Analysis and Computational Aspects
美法合作研究 (INRIA):基于 XML 的 Web 服务静态分析和计算方面
批准号:
0334764
负责人:
Victor Vianu
金额:
$3.6万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2003
资助国家:
美国
项目状态:
已结题
起止时间:
2003-12-15 至 2006-11-30

项目摘要

项目成果

Victor Vianu的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
0334764VianuThis three-year award supports cooperative research between the database group led by Victor Vianu at the Department of Computer Science and Engineering of the University of California, San Diego and the GEMO database group, led by Serge Abiteboul, at INRIA (French National Institute for Research in Informatics and Automation). They propose to collaborate on issues related to XML (Extended Markup Language) technology, the standard for data exchange on the Worldwide Web.Increased interaction of databases, XML and Web services raises new challenges in database research. One central issue, addressed in this project, is the development of static analysis techniques to increase confidence in the robustness and correctness of complex Web services, and to enhance function and efficiency. The objective of this project is to cooperate with the French group on new static analysis and algorithmic techniques for XML-based Web services. They will apply these techniques to various Web services and investigate aspects related to repositories with incomplete information about XML documents, and query processing on streaming XML documents. The French GEMO team is recognized for pioneering work in the area of semi-structured data and XML. Their work resulted in the formation of Xyleme, a European spin-off, start-up company, focusing on XML technology. Their expertise complements the U.S. team's theoretical research. Their joint efforts will further understanding of XML technology and its application in web-based services and database development.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
III: Small: Views of Data-Driven Business Processes: Foundations and Applications
  • 批准号:
    1815247
  • 项目类别:
    Standard Grant
  • 资助金额:
    $50.0万
  • 财政年份:
    2018
  • 负责人:
    Victor Vianu
  • 依托单位:
III: Small: Specification and Analysis of Multi-Actor Data-Driven Business Processes
  • 批准号:
    1422375
  • 项目类别:
    Standard Grant
  • 资助金额:
    $50.0万
  • 财政年份:
    2014
  • 负责人:
    Victor Vianu
  • 依托单位:
III: Small: Data-Centric Business Processes: Specification and Static Analysis
  • 批准号:
    0916515
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $49.8万
  • 财政年份:
    2009
  • 负责人:
    Victor Vianu
  • 依托单位:
III-COR: Collaborative Research: Graceful Evolution and Historical Queries in Information Systems-- a Unified Approach
  • 批准号:
    0705589
  • 项目类别:
    Standard Grant
  • 资助金额:
    $38.66万
  • 财政年份:
    2007
  • 负责人:
    Victor Vianu
  • 依托单位:
海外基金