首页>外文期刊>经济>Electronic Communications of the EASST

Electronic Communications of the EASST

中文名称：EASST的电子通讯

ISSN：1863-2122
出版周期：-

发文量：605

期刊论文

热门论文

年度选择

2016
- 第10期
- 第11期
2015
2014
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第11期
- 第11期
- 第11期
- 第11期
- 第11期
- 第11期
2013
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第10期
- 第10期
- 第10期
- 第10期
- 第10期
- 第10期
- 第10期
- 第10期
2012
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第10期
- 第10期
- 第10期
- 第10期
- 第10期
- 第10期
- 第10期
- 第10期
- 第11期
- 第11期
- 第11期
- 第11期
- 第11期
- 第11期
- 第11期
- 第11期
- 第11期
2011
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
2010
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第5期
- 第5期
- 第5期
- 第5期
- 第5期
- 第5期
- 第5期
- 第5期
- 第5期
- 第5期
- 第5期
- 第5期
2009
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第5期
- 第5期
- 第5期
- 第5期
- 第5期
- 第5期
- 第5期
- 第5期
- 第5期
- 第7期
- 第7期
- 第7期
- 第7期
- 第7期
- 第7期
- 第12期
- 第12期
- 第12期
- 第12期
- 第12期
- 第12期
- 第12期
- 第12期
- 第12期

更多>>

全选（0）

1.Specification and Verification of Model Transformations

机译：模型转换的规范和验证
- 作者：Frank Hermann;Mathias Hülsbusch;Barbara K?nig
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
2.Attribute Computations in the DPoPb Graph Transformation Engine

机译：DPoPb图转换引擎中的属性计算
- 作者：Hanh Nhi Tran;Christian Percebois;Ali Abou Dib;Louis Féraud;Sergei Soloviev
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
3.Testing as a Certification Approach

机译：测试作为认证方法
- 作者：Alberto Sim?es;Nuno Carvalho;José Jo?o Almeida
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
4.Patterns as Abstractions of Spatial Axes

机译：模式作为空间轴的抽象
- 作者：Jens Gulden
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
5.Generation of Celtic Key Patterns with Tree-based Collage Grammars

机译：用基于树的拼贴文法生成凯尔特语键码
- 作者：Renate Klempien-Hinrichs;Caroline von Totth
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
6.Combination of Different Layout Approaches

机译：各种布局方法的结合
- 作者：Sonja Maier;Mark Minas
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
7.A Simple Model of Communication APIs – Application to Dynamic Partial-order Reduction

机译：通信API的简单模型–在动态部分顺序缩减中的应用
- 作者：Cristian Daniel Rosa;Stephan Merz;Martin Quinson
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
8.Recognizable Graph Languages for Checking Invariants

机译：用于检查不变性的可识别图形语言
- 作者：Christoph Blume;Sander Bruggink;Barbara K?nig
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
9.Symbolic Attributed Graphs for Attributed Graph Transformation

机译：用于属性图转换的符号属性图
- 作者：Fernando Orejas;Leen Lambers
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
10.Checking Consistency Between Message Choreographies And Their Implementation Models

机译：检查消息编排与其实现模型之间的一致性
- 作者：Vitaly Kozyura;Andreas Roth;Sebastian Wieczorek;Wei Wei
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
11.Parallelism and Concurrency Theorems for Rules with Nested Application Conditions

机译：具有嵌套应用条件的规则的并行性和并发性定理
- 作者：Hartmut Ehrig;Annegret Habel;Leen Lambers
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
12.Augmenting DSVL Meta-Tools with Pattern Specification, Instantiation and Reuse

机译：通过模式规范，实例化和重用来增强DSVL元工具
- 作者：Karen Li;John Hosking;John Grundy;Tony Ly;Brian Webb
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
13.Reachability Analysis on Timed Graph Transformation Systems

机译：定时图变换系统的可达性分析
- 作者：Christian Heinzemann;Julian Suck;Tobias Eckardt
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
14.GUI Inspection from Source Code Analysis

机译：通过源代码分析进行GUI检查
- 作者：Joao Carlos Silva;José Creissac;Joao Saraiva
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
15.Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework

机译：将基于Eclipse建模框架的并行图转换概念提升为模型转换
- 作者：Enrico Biermann;Claudia Ermel;Gabriele Taentzer
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
16.Checking Unsatisfiability for OCL Constraints

机译：检查OCL约束的不满足性
- 作者：Manuel Clavel;Marina Egea;Miguel Angel García de Dios
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
17.Training the Behaviour Preferences on Context Changes

机译：训练上下文更改的行为首选项
- 作者：Kuderna-Iulian Benta;Marcel Cremene;Amalia Hoszu
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
18.Assemblies as Graph Processes

机译：装配为图过程
- 作者：Dirk Janssens
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
19.From Petri Nets to Graph Transformation Systems

机译：从Petri网到图转换系统
- 作者：Paolo Baldan;Andrea Corradini;Fabio Gadducci;Ugo Montanari
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
20.Systemic Modeling of Agent Coaction: A Catalog of Decentralized Coordinating Processes

机译：代理人协作的系统建模：分散式协调流程目录
- 作者：Jan Oliver Sudeikat
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
21.Checking Graph-Transformation Systems for Confluence

机译：检查图形转换系统的合流
- 作者：Detlef Plump
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
22.Decidable Race Condition and Open Coregions in HMSC

机译：HMSC中可决定的种族条件和开放共区域
- 作者：Vojtech Rehak;Petr Slovak;Jan Strejcek;Loic Helouet
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
23.Test-driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling

机译：基于图转换的动态元建模的测试驱动语言推导
- 作者：Gregor Engels;Christian Soltenborn
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
24.Integrating Data from Multiple Repositories to Analyze Patterns of Contribution in FOSS Projects

机译：集成来自多个存储库的数据以分析FOSS项目中的贡献模式
- 作者：Sulayman K Sowe;Antonio Cerone
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
25.Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets

机译：基于Petri网的图导数置换等效性分析
- 作者：Frank Hermann;Andrea Corradini;Hartmut Ehrig;Barbara K?nig
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
26.Incremental Pattern Matching in Graph-Based State Space Exploration

机译：基于图的状态空间探索中的增量模式匹配
- 作者：AmirHossein Ghamarian;Arash Jalali;Arend Rensink
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
27.Expressiveness of graph conditions with variables

机译：具有变量的图条件的表达
- 作者：Annegret Habel;Hendrik Radke
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
28.Static Analysis of Information Release in Interactive Programs

机译：交互式程序中信息发布的静态分析
- 作者：Adedayo Oyelakin Adetoye;Nikolaos Papanikolaou
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
29.Ambient Contracts

机译：环境合同
- 作者：Dries Harnie;Christophe Scholliers;Wolfgang De Meuter
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
30.Towards a Pattern Language for the Design of Collaborative Interactive Systems

机译：面向协作交互系统设计的模式语言
- 作者：Claudia Iacob;Piero Mussio;Li Zhu;Barbara Rita Barricelli
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
31.Position Paper: m2n—A Tool for Translating Models to Natural Language Descriptions

机译：立场文件：m2n-一种将模型转换为自然语言描述的工具
- 作者：Petra Brosch;Andrea Randak
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
32.On Judgements and Propositions

机译：审判与命题
- 作者：Bernd Mahr
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
33.Requirements Analysis for an Integrated OCL Development Environment

机译：集成OCL开发环境的需求分析
- 作者：Joanna Dobroslawa Chimiak-Opoka;Birgit Demuth;Darius Silingas;Nicolas F. Rouquette
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
34.Specifying OCL Constraints on Process Instantiations

机译：在流程实例上指定OCL约束
- 作者：Peter Killisperger;Markus Stumptner;Georg Peters;Thomas Stückl
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
35.MLContext: A Context-Modeling Language for Context-Aware Systems

机译：MLContext：一种用于上下文感知系统的上下文建模语言
- 作者：José Ramón Hoyos;Jesús García-Molina;Juan Antonio Botía
- 期刊名称：《Electronic Communications of the EASST》 | 2010年第5期
36.Neues Messsystem zur Beurteilung der Qualit?t des Videostroms beim Dienst Video Telephony in IP-Umgebung

机译：一种新的测量系统，用于评估IP环境中视频电话服务中视频流的质量
- 作者：Tadeus Uhl;Christian Hoppe
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
37.Distributed Composite Event Detection in Publish/Subscribe Networks - A Case for Self-Organization

机译：发布/订阅网络中的分布式复合事件检测-自组织案例
- 作者：Enrico Seib;Helge Parzyjegla;Gero Mühl
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
38.Application Conditions for Reactive Systems with Applications to Bisimulation Theory

机译：无功系统在双仿真理论中的应用条件
- 作者：Mathias Hülsbusch
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
39.Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks

机译：代数高阶网络系统的函数分析及其在移动自组网中的应用
- 作者：Ulrike Golas;Kathrin Hoffmann;Hartmut Ehrig;Alexander Rein;Julia Padberg
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
40.Modelling Emergency Scenarios using Algebraic High Level Net Transformation Systems with Net Patterns

机译：使用带网络模式的代数高级网络转换系统对紧急情况进行建模
- 作者：Frank Trollmann;Maximilian Kern;Sahin Albayrak
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
41.Semantic-Service Provisioning for the Internet of Things

机译：物联网的语义服务供应
- 作者：Daniel Bimschas;Henning Hasemann;Manfred Hauswirth;Marcel Karnstedt;Oliver Kleine;Alexander Kr?ller;Myriam Leggieri;Richard Mietz;Alexandre Passant;Dennis Pfisterer;Kay R?mer;Cuong Truong
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
42.IBR-DTN: A lightweight, modular and highly portable Bundle Protocol implementation

机译：IBR-DTN：轻便，模块化和高度可移植的捆绑协议实施
- 作者：Sebastian Schildt;Johannes Morgenroth;Wolf-Bastian P?ttner;Lars Wolf
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
43.Preface

机译：前言
- 作者：Claudia Ermel;Kathrin Hoffmann
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
44.Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions

机译：具有应用条件的三重图文法的模型转换的形式规范
- 作者：Ulrike Golas;Hartmut Ehrig;Frank Herrmann
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
45.A generic in-place transformation-based approach to structured model co-evolution

机译：基于通用就地变换的结构化模型协同进化方法
- 作者：Bart Meyers;Manuel Wimmer;Antonio Cicchetti;Jonathan Sprinkle
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
46.RONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets

机译：RONs：基于代数高级网络的可重构对象网络建模的一般方法
- 作者：Claudia Ermel;Sarkaft Shareef;Winzent Fischer
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
47.Incentive based Allocation of Terminals in Heterogeneous Access Networks

机译：异构接入网中基于奖励的终端分配
- 作者：Krishna Pandit;Hendrik Schoeneich;Armin Dekorsy
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
48.OCL Tools Report based on the IDE4OCL Feature Model

机译：基于IDE4OCL功能模型的OCL工具报告
- 作者：Joanna Dobroslawa Chimiak-Opoka;Birgit Demuth;Andreas Awenius;Dan Chiorean;Sebastien Gabel;Lars Hamann;Edward Willink
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
49.Provisioning and Operation of Virtual Networks

机译：虚拟网络的供应和运营
- 作者：Sebastian Meier;Marc Barisch;Andreas Kirst?dter;Daniel Schlosser;Michael Duelli;Michael Jarschel;Tobias Ho?feld;Klaus Hoffmann;Marco Hoffmann;Wolfgang Kellerer;Ashiq Khan;Dan Jurca;Kazuyuki Kozu
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
50.Re-engineering Eclipse MDT/OCL for Xtext

机译：为Xtext重新设计Eclipse MDT / OCL
- 作者：Edward Daniel Willink
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
51.Preliminary Study on World-Wide Implementation of Adaptive Content Distribution Network

机译：自适应内容分发网络在全球范围内实施的初步研究
- 作者：Yuta Miyauchi;Noriko Matsumoto;Norihiko Yoshida;Toshihiko Shimokawa
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
52.On the Unification of Megamodels

机译：论巨型模型的统一
- 作者：Regina Hebig;Andreas Seibel;Holger Giese
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
53.Towards a Maude Tool for Model Checking Temporal Graph Properties

机译：迈向用于模型检查时间图属性的Maude工具
- 作者：Andrea Vandin;Alberto Lluch Lafuente
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
54.Methods and Tools for Engineering Self-Organizing Software Systems

机译：工程自组织软件系统的方法和工具
- 作者：Ante Vilenica;Jan Sudeikat
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
55.Indirect Agent Interaction within an Approach for a Robust Transport Control in Dynamic and Multimodal Logistics Networks

机译：动态多式联运网络中鲁棒运输控制方法中的间接代理交互
- 作者：Heiko Jung;Samuel Weissbach;Jochen Kappler
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
56.Using an OCL Impact Analysis Algorithm for View-Based Textual Modelling

机译：使用OCL影响分析算法进行基于视图的文本建模
- 作者：Axel Uhl;Thomas Goldschmidt;Manuel Holzleitner
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
57.Navigating Across Non-Navigable Ecore References via OCL

机译：通过OCL在不可导航的Ecore引用中导航
- 作者：Martin Hanysz;Tobias Hoppe;Axel Uhl;Andreas Seibel;Holger Giese;Philipp Berger;Stephan Hildebrandt
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
58.Static Type Checking of Model Transformation Programs

机译：模型转换程序的静态类型检查
- 作者：Zoltán Ujhelyi;ákos Horváth;Dániel Varró
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
59.On the Need of User-de?ned Libraries in OCL

机译：关于OCL中用户定义的图书馆的需求
- 作者：Thomas Baar
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
60.Local Confluence Analysis of Consistent EMF Transformations

机译：一致的EMF变换的局部融合分析
- 作者：Enrico Biermann
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
61.D4M, a Self-Adapting Decentralized Derived Data Collection and Monitoring Framework

机译：D4M，自适应分散式衍生数据收集和监视框架
- 作者：Karsten Saller;Dominik Stingl;Andy Schürr
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
62.Towards a Conceptual Framework Supporting Model Compilability

机译：迈向支持模型可编译性的概念框架
- 作者：Dan Ioan Chiorean;Vladiela Petrascu
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
63.Resource Management in Public Sensing - Challenges and Requirements

机译：公众感知中的资源管理-挑战和要求
- 作者：Klaus Herrmann;Daniel Fischer
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
64.Using Graph Transformations and Graph Abstractions for Software Verification

机译：使用图转换和图抽象进行软件验证
- 作者：Eduardo Zambon;Arend Rensink
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
65.Dynamic Validation of OCL Constraints with mOdCL

机译：使用mOdCL动态验证OCL约束
- 作者：Manuel Roldan;Francisco Durán
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
66.Search-Based Refactoring using Unfolding of Graph Transformation Systems

机译：使用图变换系统展开的基于搜索的重构
- 作者：Fawad Qayum;Reiko Heckel
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
67.Towards a Flexible and Evolvable Framework for Self-Adaptation

机译：建立适应性强的可扩展框架
- 作者：Lucas Provenvesi;Frank Eliassen
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
68.Compliance between Architecture and Design Models of Component-Based Systems

机译：基于组件的系统的体系结构和设计模型之间的一致性
- 作者：Sebastian Herold
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
69.RoombaNet - Testbed for Mobile Networks

机译：RoombaNet-移动网络测试平台
- 作者：Mohmaed Ahmed Hail;Jan Pinkowski;Torsten Teubler;Maick Danckwardt;Dennis Pfisterer;Horst Hellbrück
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
70.Support for Bidirectional Model-to-Text Transformations

机译：支持双向模型到文本的转换
- 作者：Anthony Anjorin;Marius Paul Lauder;Michael Schlereth;Andy Schürr
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
71.Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations

机译：通过基于图重写的模型转换的声明性描述进行自动验证
- 作者：Mark Asztalos;Péter Ekler;László Lengyel;Tihamér Levendovszky;Gergely Mezei;Tamás Mészáros
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
72.Wormhole Detection using Topology Graph based Anomaly Detection (TOGBAD)

机译：使用基于拓扑图的异常检测（TOGBAD）进行虫洞检测
- 作者：Elmar Gerhards-Padilla;Nils Aschenbruck;Peter Martini
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
73.Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems

机译：自动机函子的有效实现，以验证图变换系统
- 作者：Christoph Blume
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
74.Towards Transformation Rule Composition

机译：迈向转化规则构成
- 作者：Eugene Syriani;Mark Asztalos;Manuel Wimmer;Marouane Kessentini
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
75.Towards Guided Trajectory Exploration of Graph Transformation Systems

机译：转向图变换系统的引导轨迹探索
- 作者：ábel Hegedüs;ákos Horváth;Dániel Varró
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
76.Automated Model Synchronization: A Case Study on UML with Maude

机译：自动化模型同步：以Maude为例的UML案例研究
- 作者：Artur Boronat;José Meseguer
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
77.Flexible Behaviour of Human Actors in Distributed Workflows

机译：演员在分布式工作流中的灵活行为
- 作者：Adwoa Donyina;Reiko Heckel
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
78.The Semantic Shadow: Structuring the Web for Adaptations

机译：语义阴影：构建适应网络
- 作者：Pascal Bihler;Armin B. Cremers
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
79.ALEVIN - A Framework to Develop, Compare, and Analyze Virtual Network Embedding Algorithms

机译：ALEVIN-开发，比较和分析虚拟网络嵌入算法的框架
- 作者：Andreas Fischer;Juan Felipe Botero;Michael Duelli;Daniel Schlosser;Xavier Hesselbach;Hermann De Meer
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
80.Construction of Pushout Complements in the Category of Hypergraphs

机译：超图范畴中推出补体的构造
- 作者：Marvin Heumüller;Salil Joshi;Barbara K?nig;Jan Stückrath
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
81.A Visual Notation for Declarative Behaviour Specification

机译：声明式行为规范的可视化表示法
- 作者：Thomas Kuehne
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
82.Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars

机译：从具有自适应星形语法的类图生成实例图
- 作者：Berthold Hoffmann;Mark Minas
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
83.Distributed Port Automata

机译：分布式端口自动机
- 作者：Christian Krause
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
84.Realizing Impure Functions in Interaction Nets

机译：在交互网络中实现不纯函数
- 作者：Eugen Jiresch
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
85.Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation

机译：分类抽象重写系统和图变换的功能
- 作者：Dominique Duval;Rachid Echahed;Frederic Prost
- 期刊名称：《Electronic Communications of the EASST》 | 2011年第2期
86.Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification

机译：基于正式规范的WIMP和Post WIMP交互系统分析
- 作者：José-Luis Silva;Camille Fayollas;Arnaud Hamon;Philippe palanque;Célia Martiinie;Eric Barboni
- 期刊名称：《Electronic Communications of the EASST》 | 2014年第11期
87.Rapid Prototyping of Topology Control Algorithms by Graph Transformation

机译：通过图变换快速构建拓扑控制算法的原型
- 作者：Géza Kulcsár;Michael Stein;Immanuel Schweizer;Gergely Varró;Max Mühlh?user;Andy Schürr
- 期刊名称：《Electronic Communications of the EASST》 | 2014年第11期
88.Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT

机译：用模糊逻辑编程和SMT自动证明模糊公式
- 作者：Miquel Bofill;Gines Moreno;Carlos Vazquez;Mateu Villaret
- 期刊名称：《Electronic Communications of the EASST》 | 2014年第11期
89.Non-Deterministic Matching Algorithm for Net Transformations

机译：网络转换的非确定性匹配算法
- 作者：Julia Padberg;Mathias Blumreiter
- 期刊名称：《Electronic Communications of the EASST》 | 2014年第11期
90.On the whereabouts of CSP-CASL – A survey

机译：关于CSP-CASL的下落–调查
- 作者：Andy Gimblett;Temesghen Kahsai;Liam OReilly;Markus Roggenbach
- 期刊名称：《Electronic Communications of the EASST》 | 2014年第11期
91.Preface of SQM 2014 Proceedings - 8th International Workshop on Software Quality and Maintainability

机译：SQM 2014会议记录的序言-第八届软件质量和可维护性国际研讨会
- 作者：Lodewijk Bergmans;Tom Mens;Steven Raemaekers
- 期刊名称：《Electronic Communications of the EASST》 | 2014年第11期
92.Studying Late Propagations in Code Clone Evolution Using Software Repository Mining

机译：使用软件存储库挖掘研究代码克隆演化中的后期传播
- 作者：Hsiao Hui Mui;Andy Zaidman;Martin Pinzger
- 期刊名称：《Electronic Communications of the EASST》 | 2014年第11期
93.How We Know the Practical Impact of Clone Analysis

机译：我们如何知道克隆分析的实际影响
- 作者：Norihiro Yoshida;Eunjong Choi;Yuki Yamanaka;Katsuro Inoue
- 期刊名称：《Electronic Communications of the EASST》 | 2014年第11期
94.Robust Parsing of Cloned Token Sequences

机译：克隆令牌序列的鲁棒解析
- 作者：Rainer Koschke;Ole Jan Lars Riemann
- 期刊名称：《Electronic Communications of the EASST》 | 2014年第11期
95.About Metrics for Clone Detection

机译：关于克隆检测指标
- 作者：Thierry Lavoie;Ettore Merlo
- 期刊名称：《Electronic Communications of the EASST》 | 2014年第11期
96.Verification of Information Flow Properties under Rational Observation

机译：理性观察下的信息流属性验证
- 作者：Beatrice Berard;John Mullins
- 期刊名称：《Electronic Communications of the EASST》 | 2015年第11期
97.First-order logic for safety verification of hedge rewriting systems

机译：对冲重写系统安全验证的一阶逻辑
- 作者：Alexei Lisitsa
- 期刊名称：《Electronic Communications of the EASST》 | 2015年第11期
98.More on Graph Rewriting With Contextual Refinement

机译：有关通过上下文优化进行图重写的更多信息
- 作者：Berthold Hoffmann
- 期刊名称：《Electronic Communications of the EASST》 | 2015年第11期
99.Model-based WCET Analysis with Invariants

机译：基于模型的不变量WCET分析
- 作者：Bojan Nokovic;Emil Sekerinski
- 期刊名称：《Electronic Communications of the EASST》 | 2015年第11期
100.Conditional Lemma Discovery and Recursion Induction in Hipster

机译：有条件的引诱发现和递归诱导
- 作者：Irene Lobo Valbuena;Moa Johansson
- 期刊名称：《Electronic Communications of the EASST》 | 2015年第11期

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号