全部成果分类

按条件检索“85”条记录

已选条件: 资源类型: 外文会议论文 ×
导出
  • 排序
  • 显示
1. Formal methods in enterprise computing EI

作者:llig, Richard

通讯作者:Jüllig, Richard(Richard@commerce.net)

作者机构:[2;llig, Richard ] 169 University Avenue, Palo Alto; CA, United States

来源:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2002,Vol.2495,22-23

收录类别:EI

会议时间:October 21, 2002 - October 25, 2002

会议名称:4th International Conference on Formal Engineering Methods, ICFEM 2002

资源类型:外文会议论文

3. Unifying theories of parallel programming EI

作者:Woodcock, Jim ;Hughes, Arthur

作者机构:[Woodcock, Jim ;Hughes, Arthur ] University of Kent at Canterbury, United Kingdom

来源:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2002,Vol.2495,24-37

收录类别:EI

会议时间:October 21, 2002 - October 25, 2002

会议名称:4th International Conference on Formal Engineering Methods, ICFEM 2002

资源类型:外文会议论文

4. An abstract model for scheduling real-time programs EI

作者:Arenas, Alvaro E.

通讯作者:Arenas, Alvaro E.(aearenas@bumanga.unab.edu.co)

作者机构:[Arenas, Alvaro E. ] Laboratorio de Computo Especializado, Universidad Autónoma de Bucaramanga, Calle 48, Bucaramanga, Colombia

来源:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2002,Vol.2495,204-215

收录类别:EI

会议时间:October 21, 2002 - October 25, 2002

会议名称:4th International Conference on Formal Engineering Methods, ICFEM 2002

资源类型:外文会议论文

5. Theorem prover support for precondition and correctness calculation EI

作者:Celiku, Orieta ;Von Wright, Joakim

作者机构:[Celiku, Orieta ;Von Wright, Joakim ] Åbo Akademi University and Turku Centre for Computer Science, Lemminkäisenkatu 14 A, Turku, Finland

来源:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2002,Vol.2495,299-310

收录类别:EI

会议时间:October 21, 2002 - October 25, 2002

会议名称:4th International Conference on Formal Engineering Methods, ICFEM 2002

资源类型:外文会议论文

6. A new algorithm for service interaction detection EI

作者:Cavalli, Ana ;phane

作者机构:[Cavalli, Ana ;Cavalli, Ana ;phane ] Institut National des Télécommunications, 9 rue Charles Fourier, Evry Cedex, France

来源:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2002,Vol.2495,371-382

收录类别:EI

会议时间:October 21, 2002 - October 25, 2002

会议名称:4th International Conference on Formal Engineering Methods, ICFEM 2002

资源类型:外文会议论文

8. Modelling real-time systems with continuous-time temporal logic EI

作者:Li, Guangyuan ;Tang, Zhisong

作者机构:[Li, Guangyuan ;Tang, Zhisong ] Key Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing, China

来源:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2002,Vol.2495,231-236

收录类别:EI

会议时间:October 21, 2002 - October 25, 2002

会议名称:4th International Conference on Formal Engineering Methods, ICFEM 2002

资源类型:外文会议论文

9. XML-based static type checking and dynamic visualization for TCOZ EI

作者:Dong, Jin Song ;Li, Yuan Fang ;Sun, Jing ;Sun, Jun ;Wang, Hai

作者机构:[Dong, Jin Song ;Li, Yuan Fang ;Sun, Jing ;Sun, Jun ;Wang, Hai ] School of Computing, National University of Singapore, Singapore

来源:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2002,Vol.2495,311-322

收录类别:EI

会议时间:October 21, 2002 - October 25, 2002

会议名称:4th International Conference on Formal Engineering Methods, ICFEM 2002

资源类型:外文会议论文

11. ABC/ADL: An ADL supporting component composition EI

作者:Mei, Hong ;Chen, Feng ;Wang, Qianxiang ;Feng, Yaodong

作者机构:[Mei, Hong ;Chen, Feng ;Wang, Qianxiang ;Feng, Yaodong ] Department of Computer Science and Technology, Peking University, Beijing, China

来源:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2002,Vol.2495,38-47

收录类别:EI

会议时间:October 21, 2002 - October 25, 2002

会议名称:4th International Conference on Formal Engineering Methods, ICFEM 2002

资源类型:外文会议论文

12. On concept-based definition of domain-specific languages EI

作者:Liu, Ying ;Zhang, Naixiao

作者机构:[Liu, Ying ;Zhang, Naixiao ] Department of Informatics, School of Mathematical Sciences, Peking University, China

来源:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2002,Vol.2495,237-248

收录类别:EI

会议时间:October 21, 2002 - October 25, 2002

会议名称:4th International Conference on Formal Engineering Methods, ICFEM 2002

资源类型:外文会议论文

20. Analysis of a security protocol in μCRL EI

作者:Pang, Jun

通讯作者:Pang, Jun(Jun.Pang@cwi.nl)

作者机构:[Pang, Jun ] Centrum voor Wiskunde en Informatica, P.O. Box 94079, Amsterdam, Netherlands

来源:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2002,Vol.2495,396-400

收录类别:EI

会议时间:October 21, 2002 - October 25, 2002

会议名称:4th International Conference on Formal Engineering Methods, ICFEM 2002

资源类型:外文会议论文

共 5 页, 85 条记录

TOP