咨询与建议

限定检索结果

文献类型

  • 14 篇 期刊文献
  • 11 篇 会议

馆藏范围

  • 25 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 22 篇 工学
    • 18 篇 计算机科学与技术...
    • 8 篇 软件工程
    • 5 篇 电气工程
    • 2 篇 电子科学与技术(可...
    • 1 篇 信息与通信工程
    • 1 篇 控制科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 环境科学与工程(可...
  • 6 篇 理学
    • 3 篇 数学
    • 1 篇 物理学
    • 1 篇 地理学
    • 1 篇 海洋科学
    • 1 篇 地球物理学
    • 1 篇 生物学
    • 1 篇 统计学(可授理学、...
  • 6 篇 管理学
    • 6 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 2 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...

主题

  • 25 篇 transformation a...
  • 4 篇 uml
  • 2 篇 fibonacci nlfsr
  • 2 篇 mda
  • 2 篇 model checking
  • 2 篇 fuzzy computatio...
  • 2 篇 model transforma...
  • 2 篇 knowledge-based
  • 2 篇 is engineering
  • 2 篇 multi-agent syst...
  • 2 篇 galois nlfsr
  • 1 篇 semantic metalan...
  • 1 篇 address
  • 1 篇 equivalence
  • 1 篇 enterprise model...
  • 1 篇 programming lang...
  • 1 篇 abbott assay
  • 1 篇 time-varying sys...
  • 1 篇 uml statechart
  • 1 篇 performance

机构

  • 1 篇 univ murcia murc...
  • 1 篇 univ hyogo grad ...
  • 1 篇 univ zilina fac ...
  • 1 篇 school of comput...
  • 1 篇 argonne national...
  • 1 篇 the software eng...
  • 1 篇 hanwha syst co 2...
  • 1 篇 radharaman inst ...
  • 1 篇 univ montreal de...
  • 1 篇 vilnius univ kau...
  • 1 篇 univ melbourne m...
  • 1 篇 kuthstr. 1 d-511...
  • 1 篇 college of infor...
  • 1 篇 hitachi ltd yoko...
  • 1 篇 nec corp ltd sys...
  • 1 篇 hohai univ comp ...
  • 1 篇 north west ctr e...
  • 1 篇 kaunas univ tech...
  • 1 篇 山东大学
  • 1 篇 taiyuan univ dep...

作者

  • 3 篇 lopata audrius
  • 3 篇 veitaite ilona
  • 2 篇 yao ge
  • 2 篇 parampalli udaya
  • 1 篇 wu xiaodan
  • 1 篇 zhang xuejie
  • 1 篇 kim byeong hak
  • 1 篇 zhanyou ma
  • 1 篇 asakura yoshihar...
  • 1 篇 morris jm
  • 1 篇 kim min young
  • 1 篇 ziyuan liu
  • 1 篇 tajine m
  • 1 篇 li xia
  • 1 篇 elizondo d
  • 1 篇 袁辉
  • 1 篇 weiming wang
  • 1 篇 asamoah-barnieh ...
  • 1 篇 张世栋
  • 1 篇 nana he

语言

  • 23 篇 英文
  • 1 篇 其他
  • 1 篇 中文
检索条件"主题词=Transformation Algorithm"
25 条 记 录,以下是1-10 订阅
排序:
Knowledge-Based UML Use Case Model transformation algorithm  22nd
Knowledge-Based UML Use Case Model Transformation Algorithm
收藏 引用
22nd International Conference on Business Information Systems (BIS)
作者: Veitaite, Ilona Lopata, Audrius Vilnius Univ Kaunas Fac Inst Social Sci & Appl Informat Muitines G 8 LT-44280 Kaunas Lithuania Kaunas Univ Technol Fac Informat Studentu G 50 LT-51368 Kaunas Lithuania
Transforming and generating models is a meaningful process in Model Driven Engineering (MDE). Theoretical and practical researches for MDE have remarkably progressed recently in managing with the increase of complexit... 详细信息
来源: 评论
Improved transformation algorithms for generalized Galois NLFSRs
收藏 引用
CRYPTOGRAPHY AND COMMUNICATIONS-DISCRETE-STRUCTURES BOOLEAN FUNCTIONS AND SEQUENCES 2022年 第2期14卷 229-258页
作者: Yao, Ge Parampalli, Udaya Univ Melbourne Sch Comp & Informat Syst Melbourne Vic Australia
The transformation algorithm for Nonlinear Feedback Shift Registers (NLFSRs) converts NLFSRs between Fibonacci and Galois configurations. Up to now, three types of Galois NLFSRs namely Type-I, Type-II and Type-III Gal... 详细信息
来源: 评论
Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems
收藏 引用
Computers, Materials & Continua 2024年 第3期78卷 4129-4152页
作者: Xia Li Zhanyou Ma Zhibao Mian Ziyuan Liu Ruiqi Huang Nana He School of Computer Science and Engineering North Minzu UniversityYinchuan750000China School of Computer Science FoSEThe University of HullHullUK
Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property *** there is an extensive literature on qualitative properties such as safety and liveness,t... 详细信息
来源: 评论
The transformation algorithm for Query Mechanisms of Hibernate Framework
The Transformation Algorithm for Query Mechanisms of Hiberna...
收藏 引用
Int’l Conference on Advanced Computational Technologies & Creative Media (ICACTCM’2014, Pattaya)
作者: Tisinee Surapunt Chartchai Doungsa-ard the Software Engineering College of Arts Media and TechnologyChiang Mai University
The collaboration work is an important key for working in software engineering *** a team should have developers whom have difference *** achieve goal on time and budget,they should select an appropriate tool which co... 详细信息
来源: 评论
Problem Domain Example of Knowledge-Based Enterprise Model Usage for Different UML Behavioral Models Generation  24th
Problem Domain Example of Knowledge-Based Enterprise Model U...
收藏 引用
24th International Conference on Business Information Systems (BIS)
作者: Veitaite, Ilona Lopata, Audrius Vilnius Univ Kaunas Fac Inst Social Sci & Appl Informat Muitines St 8 LT-44280 Kaunas Lithuania Kaunas Univ Technol Fac Informat Student St 50 LT-51368 Kaunas Lithuania
The main purpose of this paper is to represent how knowledge-based Enterprise Model (EM) as problem domain data storage may be used in Information Systems (IS) engineering process. Enterprise Meta-Model (EMM) presente... 详细信息
来源: 评论
Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems
收藏 引用
FUZZY SETS AND SYSTEMS 2024年 485卷
作者: Ma, Zhanyou Li, Xia Liu, Ziyuan Huang, Ruiqi He, Nana North Minzu Univ Sch Comp Sci & Engn Yinchuan 750000 Peoples R China
Effective communication among autonomous agents is crucial for coordination and solving complex tasks within multi-agent systems. To formalize interactions between agents, social accessibility relations are often util... 详细信息
来源: 评论
Cryptanalysis of the class of maximum period galois NLFSR-based stream ciphers
收藏 引用
CRYPTOGRAPHY AND COMMUNICATIONS-DISCRETE-STRUCTURES BOOLEAN FUNCTIONS AND SEQUENCES 2021年 第5期13卷 847-864页
作者: Yao, Ge Parampalli, Udaya Univ Melbourne Melbourne Vic Australia China Unicom Res Inst Network & Informat Secur Res Lab Beijing Peoples R China
Espresso cipher is designed targeting 5G wireless communication systems. To achieve high efficiency, a maximum period Galois NLFSR is used as the only building block. The Galois NLFSR is constructed by a scalable meth... 详细信息
来源: 评论
Nonlinear interdependence of the results of measuring anti-SARS-CoV-2 IgG levels using Abbott and Euroimmun test systems
收藏 引用
JOURNAL OF CLINICAL VIROLOGY 2023年 第1期164卷 105448-105448页
作者: Ivanov, Andrei Kryshen, Evgeni Semenova, Elena St Petersburg State Univ Hosp 154Fontanka River Embankment St Petersburg 198103 Russia Almazov Natl Med Res Ctr 2 Akkuratova str St Petersburg 197341 Russia North West Ctr Evidence Based Med JSC 28A Pulkovskoe shosse St Petersburg 196247 Russia Kurchatov Inst Petersburg Nucl Phys Inst Konstantinov Natl Res Ctr Gatchina 188300 Russia
Background: There are significant number of tests used to determine the level of antibodies to SARS-CoV-2 which differ both in the methods underlying testing and in the antigenic targets used and classes of measured i... 详细信息
来源: 评论
Nonlinear Partial Differential Equations in Marine Dynamics
收藏 引用
JOURNAL OF COASTAL RESEARCH 2020年 第Sup1期112卷 356-358页
作者: Yang, Cuiping Taiyuan Univ Dept Appl Math Taiyuan 030012 Peoples R China
In the development of ocean dynamics, nonlinear partial differential equations have important applications. Dynamic equation can be divided into continuous equation and pulse equation, the general dynamic equation inc... 详细信息
来源: 评论
Problem Domain Knowledge Driven Generation of UML Models  24th
Problem Domain Knowledge Driven Generation of UML Models
收藏 引用
24th International Conference on Information and Software Technologies (ICIST)
作者: Veitaite, Ilona Lopata, Audrius Vilnius Univ Inst Appl Informat Kaunas Fac Kaunas Lithuania
The main scope of the article is to present how the quality of stored problem domain information in Enterprise model (EM) is significant and important in Unified Modelling Language (UML) models generation process from... 详细信息
来源: 评论