首页>外文会议>Perspectives of System Informatics

Perspectives of System Informatics

召开年：2001
召开地：Novosibirsk(RU);Novosibirsk(RU)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.An Empirical Study of Retargetable Compilers

机译：可重定位编译器的实证研究
- 作者：Dmitry Boulytchev;Dmitry Lomov
- 会议名称：《Perspectives of System Informatics》 | 2001年
2.An Extension of Dynamic Logic for Modelling OCL's @pre Operator

机译：动态逻辑的扩展，用于对OCL的@pre运算符进行建模
- 作者：Thomas Baar;Bernhard Beckert;Peter H. Schmitt
- 会议名称：《Perspectives of System Informatics》 | 2001年
3.An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus

机译：纯λ演算中紧致有效数字表示的研究
- 作者：Torben AE. Mogensen
- 会议名称：《Perspectives of System Informatics》 | 2001年
4.Automated Program Synthesis for Java Programming Language

机译：Java编程语言的自动程序综合
- 作者：Mait Harf;Kristiina Kindel;Vahur Kotkas;Peep Kuengas;Enn Tyugu
- 会议名称：《Perspectives of System Informatics》 | 2001年
5.Binding-Time Analysis for Polymorphic Types

机译：多态类型的绑定时间分析
- 作者：Rogardt Heldal;John Hughes
- 会议名称：《Perspectives of System Informatics》 | 2001年
6.Compiler-Cooperative Memory Management in Java

机译：Java中的编译器协同内存管理
- 作者：Vitaly V. Mikheev;Stanislav A. Fedoseev
- 会议名称：《Perspectives of System Informatics》 | 2001年
- java;
- escape analysis;
- garbage collection;
- finalization;
- performance;
7.Conceptual Data Modeling: An Algebraic Viewpoint

机译：概念数据建模：代数观点
- 作者：Kazem Lellahi
- 会议名称：《Perspectives of System Informatics》 | 2001年
- algebraic semantics;
- algebraic specification;
- conceptual model;
- meta-modeling;
8.Dynamical Priorities without Time Measurement and Modification of the TCP

机译：没有时间测量和TCP修改的动态优先级
- 作者：Valery A. Sokolov;Eugeny A. Timofeev
- 会议名称：《Perspectives of System Informatics》 | 2001年
9.Editor Definition Language and Its Implementation

机译：编辑器定义语言及其实现
- 作者：Audris Kalnins;Karlis Podnieks;Andris Zarins;Edgars Celms;Janis Barzdins
- 会议名称：《Perspectives of System Informatics》 | 2001年
10.Equivalent Transformation by Safe Extension of Data Structures

机译：通过安全扩展数据结构进行等效转换
- 作者：Kiyoshi Akama;Hidekatsu Koike;Hiroshi Mabuchi
- 会议名称：《Perspectives of System Informatics》 | 2001年
11.Exploring Template Template Parameters

机译：探索模板模板参数
- 作者：Roland Weiss;Volker Simonis
- 会议名称：《Perspectives of System Informatics》 | 2001年
12.Generalised Computability and Applications to Hybrid Systems

机译：广义可计算性及其在混合系统中的应用
- 作者：Margarita V. Korovina;Oleg V. Kudinov
- 会议名称：《Perspectives of System Informatics》 | 2001年
13.Hierarchical Constraint Satisfaction Based on Subdefinite Models

机译：基于次确定模型的层次约束满足
- 作者：Dmitry Ushakov
- 会议名称：《Perspectives of System Informatics》 | 2001年
14.Integrating and Managing Conflicting Data

机译：整合和管理冲突数据
- 作者：Sergio Greco;Luigi Pontieri;Ester Zumpano
- 会议名称：《Perspectives of System Informatics》 | 2001年
15.Java Specification Extension for Automated Test Development

机译：用于自动化测试开发的Java规范扩展
- 作者：Igor B. Bourdonov;Alexey V. Demakov;Andrew A. Jarov;Alexander S. Kossatchev;Victor V. Kuliamin;Alexander K. Petrenko;Sergey V. Zelenov
- 会议名称：《Perspectives of System Informatics》 | 2001年
16.A Graphical Interface for Solver Cooperations

机译：求解器合作的图形界面
- 作者：Laurent Granvilliers;Eric Monfroy
- 会议名称：《Perspectives of System Informatics》 | 2001年
17.A Knowledge Engineering Approach to Deal with 'Narrative' Multimedia Documents

机译：一种处理“叙事性”多媒体文档的知识工程方法
- 作者：Gian Piero Zarri
- 会议名称：《Perspectives of System Informatics》 | 2001年
18.A Method for Recovery and Maintenance of Software Architecture

机译：一种恢复和维护软件体系结构的方法
- 作者：Dmitry Koznov;Konstantin Romanovsky;Alexei Nikitin
- 会议名称：《Perspectives of System Informatics》 | 2001年
19.A Net-Based Multi-tier Behavior Inheritance Modelling Method

机译：一种基于网络的多层行为继承建模方法
- 作者：Shengyuan Wang;Jian Yu;Chongyi Yuan
- 会议名称：《Perspectives of System Informatics》 | 2001年
- concurrency;
- object orientation;
- petri net;
- behavior inheritance;
- modelling method;
20.A Prolog Tailoring Technique on an Epilog Tailored Procedure

机译：Epilog量身定制的Prolog量身定制技术
- 作者：Yoon-Chan Jhi;Ki-Chang Kim;Kemal Ebcioglu;Yong Surk Lee
- 会议名称：《Perspectives of System Informatics》 | 2001年
21.A Software Composition Language and Its Implementation

机译：一种软件组合语言及其实现
- 作者：Dietrich Birngruber
- 会议名称：《Perspectives of System Informatics》 | 2001年
22.A Systematic Approach towards Object-Based Petri Net Formalisms

机译：基于对象的Petri网形式主义的系统方法
- 作者：Berndt Farwer;Irina Lomazova
- 会议名称：《Perspectives of System Informatics》 | 2001年
23.A Theoretical Foundation of Program Synthesis by Equivalent Transformation

机译：等效变换程序合成的理论基础
- 作者：Kiyoshi Akama;Hidekatsu Koike;Hiroshi Mabuchi
- 会议名称：《Perspectives of System Informatics》 | 2001年
24.A Transformation of SDL Specifications - A Step towards the Verification

机译：SDL规范的转变-迈出验证的一步
- 作者：Natalia loustinova;Natalia Sidorova
- 会议名称：《Perspectives of System Informatics》 | 2001年
25.A Verification Approach for Distributed Abstract State Machines

机译：分布式抽象状态机的验证方法
- 作者：Robert Eschbach
- 会议名称：《Perspectives of System Informatics》 | 2001年
26.A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts

机译：A.A. Lyapunov和A.P. Ershov的程序方案理论及其逻辑概念的发展
- 作者：Rimma I. Podlovchenko
- 会议名称：《Perspectives of System Informatics》 | 2001年
27.Abstract Computability of Non-deterministic Programs over Various Data Structures

机译：各种数据结构上非确定性程序的抽象可计算性
- 作者：Nikolaj S. Nikitchenko
- 会议名称：《Perspectives of System Informatics》 | 2001年
28.Academic vs. Industrial Software Engineering: Closing the Gap

机译：学术与工业软件工程：缩小差距
- 作者：Andrey N. Terekhov;Len Erlikh
- 会议名称：《》 | 2001年
29.Accurate Widenings and Boundedness Properties of Timed Systems

机译：定时系统的精确展宽和有界性
- 作者：Supratik Mukhopadhyay;Andreas Podelski
- 会议名称：《Perspectives of System Informatics》 | 2001年
30.Adaptive Saturation-Based Reasoning

机译：基于自适应饱和的推理
- 作者：Alexandra Riazanov;Andrei Voronkov
- 会议名称：《Perspectives of System Informatics》 | 2001年
31.Oberon-2 as Successor of Modula-2 in Simulation

机译：Oberon-2作为仿真中Modula-2的后继者
- 作者：Alexey S. Rodionov;Dmitry V. Leskov
- 会议名称：《Perspectives of System Informatics》 | 2001年
32.Observational Semantics for Timed Event Structures

机译：定时事件结构的观察语义
- 作者：Irina B. Virbitskaite
- 会议名称：《Perspectives of System Informatics》 | 2001年
33.On Algorithmic Unsolvability

机译：论算法的不可解性
- 作者：Svyatoslav S. Lavrov
- 会议名称：《Perspectives of System Informatics》 | 2001年
34.On Expressive and Model Checking Power of Propositional Program Logics

机译：命题程序逻辑的表达和模型检验能力。
- 作者：Nikolai V. Shilov;Kwang Yi
- 会议名称：《Perspectives of System Informatics》 | 2001年
35.On Lexicographic Termination Ordering with Space Bound Certifications

机译：关于具有空间绑定证明的词典顺序终止顺序
- 作者：Guillaume Bonfante;Jean-Yves Marion;Jean-Yves Moyen
- 会议名称：《Perspectives of System Informatics》 | 2001年
36.Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions

机译：事件驱动的布尔函数重评估的最佳算法
- 作者：Valeriy Vyatkin
- 会议名称：《Perspectives of System Informatics》 | 2001年
37.Pos(T): Analyzing Dependencies in Typed Logic Programs

机译：Pos（T）：分析类型逻辑程序中的依赖项
- 作者：Maurice Bruynooghe;Wim Vanhoof;Michael Codish
- 会议名称：《Perspectives of System Informatics》 | 2001年
38.Reexecution-Based Analysis of Logic Programs with Delay Declarations

机译：基于重新执行的具有延迟声明的逻辑程序分析
- 作者：Agostino Cortesi;Baudouin Le Charlier;Sabina Rossi
- 会议名称：《Perspectives of System Informatics》 | 2001年
39.Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially

机译：分辨率和二元决策图不能相互模拟多项式
- 作者：Jan Friso Groote;Hans Zantema
- 会议名称：《Perspectives of System Informatics》 | 2001年
40.Semantics and Transformations in Formal Synthesis at System Level

机译：系统层面形式综合的语义和转换
- 作者：Viktor Sabelfeld;Christian Blumenroehr;Kai Kapp
- 会议名称：《Perspectives of System Informatics》 | 2001年
41.Specification Based Testing: Towards Practice

机译：基于规范的测试：走向实践
- 作者：Alexander K. Petrenko
- 会议名称：《Perspectives of System Informatics》 | 2001年
42.Specification-Based Testing of Firewalls

机译：基于规范的防火墙测试
- 作者：Jan Juerjens;Guido Wimmel
- 会议名称：《Perspectives of System Informatics》 | 2001年
43.The Impact of Synchronisation on Secure Information Flow in Concurrent Programs

机译：同步对并行程序中安全信息流的影响
- 作者：Andrei Sabelfeld
- 会议名称：《Perspectives of System Informatics》 | 2001年
44.The Varieties of Programming Language Semantics And Their Uses

机译：编程语言语义的多样性及其用途
- 作者：Peter D. Mosses
- 会议名称：《Perspectives of System Informatics》 | 2001年
45.Transformation of UML Specification to XTG

机译：UML规范向XTG的转换
- 作者：Ella E. Roubtsova;Jan van Katwijk;Ruud C.M. de Rooij;Hans Toetenel
- 会议名称：《Perspectives of System Informatics》 | 2001年
46.Transformational Construction of Correct Pointer Algorithms

机译：正确指针算法的转换构造
- 作者：Thorsten Ehm
- 会议名称：《Perspectives of System Informatics》 | 2001年
- paterson/hewitt;
- program transformation;
- pointer algorithms;
- destructive updates;
47.Unfoldings of Coloured Petri Nets

机译：有色陪替氏网的展开
- 作者：Vitaly E. Kozura
- 会议名称：《Perspectives of System Informatics》 | 2001年
48.Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach

机译：通过超集理论方法将代理用于类似Web的数据库的并行查询
- 作者：Vladimir Sazonov
- 会议名称：《Perspectives of System Informatics》 | 2001年
49.Using Constraint Solvers in CAD/CAM Systems

机译：在CAD / CAM系统中使用约束求解器
- 作者：Vitaly Telerman
- 会议名称：《Perspectives of System Informatics》 | 2001年