首页>外文期刊>Innovations in Systems and Software Engineering

Innovations in Systems and Software Engineering

中文名称：创新系统和软件工程

ISSN：1614-5046
出版周期：Quarterly

发文量：219

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.On the measures for ranking software components

机译：关于排名软件组件的措施
- 作者：Satish M. Srinivasan;Raghvinder S. Sangwan;Colin J. Neill
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2017年第3期
- Discrete-Time Markov Chain;
- Component graphs;
- Ranking algorithm;
- Closeness centrality;
- Betweenness centrality;
- Eigenvector centrality;
2.Empirical assessment of machine learning models for agile software development effort estimation using story points

机译：敏捷软件开发精力估算机器学习模型的实证评估
- 作者：Shashank Mouli Satapathy;Santanu Kumar Rath
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2017年第3期
3.The application of ROC analysis in threshold identification, data imbalance and metrics selection for software fault prediction

机译：ROC分析在软件故障预测中的阈识别，数据不平衡和度量选择中的应用
- 作者：Raed Shatnawi
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2017年第3期
- ROC analysis;
- Imbalanced data;
- Feature selection;
- Fault-proneness models;
- Software metrics;
4.What is a fault? and why does it matter

机译：什么是错误？为什么重要
- 作者：Nafi Diallo;Wided Ghardallou;Jules Desharnais;Marcelo Frias;Ali Jaoua;Ali Mili
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2017年第3期
- Correctness;
- Partial correctness;
- Total correctness;
- Relative correctness;
- Absolute correctness;
- Software fault;
- Fault removal;
- Fault density;
- Fault depth;
- Software testing;
- Software repair;
- Software design;
5.The nonfunctional requirement focus in medical device software: a systematic mapping study and taxonomy

机译：医疗设备软件的非功能要求重点：系统映射研究和分类
- 作者：J. DeFranco;M. Kassab;P. Laplante;N. Laplante
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2017年第3期
- NFR;
- Nonfunctional requirements;
- Medical device software;
- Content analysis;
- Systematic mapping study;
6.A semiautomatic approach for segmentation of carotid vasculature from patients' CTA images

机译：患者CTA图像颈动脉脉管系统分割的半自动方法
- 作者：Indranil Guha;Nirmal Das;Pranati Rakshit;Mita Nasipuri;Punam K. Saha;Subhadip Basu
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2017年第4期
- Digital phantom design;
- Carotid vasculature;
- Fuzzy distance transformation;
- 3-D rendering;
- Geodesic paths;
7.TelePatch: a middle layer for screening device fragmentation

机译：Telecatch：用于筛选设备碎片的中间层
- 作者：R. K. Mishra;Sankhayan Choudhury;Nabendu Chaki
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2017年第4期
- Device fragmentation;
- Hardware fragmentation;
- NeSen;
- Call mapping;
- TelephonyManager;
- Cross-layer;
- Network parameter;
8.A dynamic model for short-term prediction of stream attributes

机译：流属性短期预测的动态模型
- 作者：Sumit Misra;Sanjoy Kumar Saha;Chandan Mazumdar
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2017年第4期
- Prediction model;
- Linear regression;
- Stock data prediction;
- Data stream analytic;
9.A framework for business process modeling by QoS-based pruning

机译：基于QoS的修剪模型的业务流程建模框架
- 作者：Dipankar Deb;Aditya Ghose;Nabendu Chaki
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2017年第4期
- Business process modeling;
- Business process redesign;
- QoS;
10.Automated classification of software issue reports using machine learning techniques: an empirical study

机译：使用机器学习技术自动分类软件问题报告：实证研究
- 作者：Nitish Pandey;Debarshi Kumar Sanyal;Abir Hudait;Amitava Sen
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2017年第4期
- Bug classification;
- Machine learning;
- F-measure;
- Accuracy;
- Random forest;
11.Small multiples Euler-time diagrams for software engineering

机译：软件工程的小倍数欧拉时间图
- 作者：Mithileysh Sathiyanarayanan;Mohammad Alsaffar
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2017年第4期
- Euler diagrams;
- Set theory;
- Time-series;
- Small multiples;
- Software engineering;
12.Predicting different levels of the unit testing effort of classes using source code metrics: a multiple case study on open-source software

机译：使用源代码指标预测类的不同层次测试努力：开源软件的多个案例研究
- 作者：Fadel Toure;Mourad Badri;Luc Lamontagne
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2018年第1期
13.Formal analysis of pilot error with agent safety logic

机译：试剂安全逻辑的试验误差正式分析
- 作者：Seth Ahrenbach;Alwyn Goodloe
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2018年第1期
- Modal logic;
- Formal methods;
- Aviation safety;
14.Investigating structural metrics for understandability prediction of data warehouse multidimensional schemas using machine learning techniques

机译：使用机器学习技术研究数据仓库多维模式的可理解性预测的结构度量
- 作者：Anjana Gosain;Jaspreeti Singh
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2018年第1期
- Understandability;
- Machine learning;
- Multidimensional schemas;
- Structural metrics;
- Empirical validation;
- Data warehouse quality;
15.Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios

机译：使用正式方法在模拟空中交通方案中的任务负载和资源冲突的推理
- 作者：Adam Houser;Lanssie Mingyue Ma;Karen M. Feigh;Matthew L. Bolton
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2018年第1期
- Formal methods;
- Simulation;
- Model checking;
- Human–automation interaction;
- Taskload;
- Workload;
- Mode confusion;
- Air traffic control;
- Agent-based simulation;
- Autonomy;
16.Introduction to special issue on verification and evaluation of computer systems

机译：验证和评估计算机系统的特殊问题简介
- 作者：Kamel Barkaoui;Hanifa Boucheneb
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2018年第2期
17.Maximal software execution time: a regression-based approach

机译：最大软件执行时间：基于回归的方法
- 作者：Ayoub Nouri;Peter Poplavko;Lefteris Angelis;Alexandros Zerzelidis;Saddek Bensalem;Panagiotis Katsaros
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2018年第2期
- WCET;
- Linear regression;
- Stepwise regression;
- Principal component analysis;
- JPEG;
18.Formal probabilistic analysis of a surgical robot control algorithm with different virtual fixtures

机译：不同虚拟夹具外科机器人控制算法的正式概率分析
- 作者：Muhammad Saad Ayub;Osman Hasan
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2018年第2期
- Model checking;
- Probabilistic model checking;
- PRISM;
- Surgical robotics;
- Control algorithm;
19.TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm

机译：TT-BIP：使用正确的设计BIP方法，用于使用时间触发的范式建模实时系统
- 作者：Hela Guesmi;Belgacem Ben Hedia;Simon Bliudze;Saddek Bensalem;Briag Lenabec
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2018年第2期
20.FC-AMAT: factor-based C-AMAT analysis in memory system measurement

机译：FC-AMAT：内存系统测量中基于因子的C-AMAT分析
- 作者：Qi Yu;Libo Huang;Cheng Qian;Jianqiao Ma;Zhiying Wang
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2018年第2期
- FC-AMAT;
- C-AMAT;
- Evaluation accuracy;
- Correlation strength;
21.A model-driven approach for the generation of configurations for highly available software systems

机译：一种用于生成高可用软件系统的配置的模型驱动方法
- 作者：Pejman Salehi;Abdelwahab Hamou-Lhadj;Maria Toeroe;Ferhat Khendek
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2018年第4期
- High availability;
- Software dependability;
- Model-driven software configuration;
22.Applying learning-basedmethods for recognizing design patterns

机译：应用基于学习的识别设计模式
- 作者：Ashish Kumar Dwivedi;Anand Tirkey;Santanu Kumar Rath
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2019年第2期
- Design pattern mining;
- Learning-based methods;
- Software metrics;
23.System dynamics modelling of the impact of agile practice on the quality of continuous delivery projects

机译：系统动力学建模敏捷实践对连续交付项目质量的影响
- 作者：Olumide Akerele
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2018年第3期
- Continuous delivery;
- Agile practices;
- System dynamics;
- Software quality;
24.Retinal image registration from artery-venous subtree by graph theoretical characterization of retinal vascular network

机译：通过视网膜血管网络的图表表征来自动脉 - 静脉子树的视网膜图像登记
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2020年第1期
25.Optimal compression of combinatorial state spaces

机译：组合状态空间的最佳压缩
- 作者：Alfons Laarman
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2019年第4期
- Model checking;
- Information theory;
- State compression;
- Lossless compression;
- Tree compression;
- Binary trees;
- Decision diagrams;
- BDDs;
26.The probability of predicting personality traits by the way user types on touch screen

机译：通过触摸屏上的用户类型预测人格特征的概率
- 作者：Soumen Roy;Utpal Roy;D. D. Sinha
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2019年第1期
- Biometrics;
- Keystroke dynamics;
- Machine learning;
- Soft biometric;
- Personality traits;
- LOUOCV;
27.A reference architecture for satellite control systems

机译：卫星控制系统的参考架构
- 作者：Adair Jose Rohling;Valdemar Vicente Graciano Neto;Mauricio Goncalves Vieira Ferreira;Walter Abrahao Dos Santos;Elisa Yumi Nakagawa
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2019年第2期
- Satellites control;
- Reference architecture;
- Software component;
28.LTL model checking for communicating concurrent programs

机译：用于传送并发程序的LTL模型检查
- 作者：Pommellet Adrien;Touili Tayssir
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2020年第2期
- Model-checking;
- Pushdown systems;
- Linear-time temporal logic (LTL);
- Concurrent programs;
- Stutter-invariant;
29.Performance analysis of an efficient object-based schema oriented data storage system handling health data

机译：处理健康数据的高效对象模式的数据存储系统性能分析
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2020年第1期
- Cloud storage system;
- Schema oriented;
- Object based;
- Big data;
- Benchmark;
30.Property specification patterns at work: verification and inconsistency explanation

机译：财产规范模式在工作中：验证和不一致的解释
- 作者：Simone Vuotto;Massimo Narizzano;Luca Pulina;Armando Tacchella
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2019年第4期
31.Software architectural patterns in practice: an empirical study

机译：实践中的软件架构模式：实证研究
- 作者：Mohamad Kassab;Manuel Mazzara;JooYoung Lee;Giancarlo Succi
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2018年第4期
- Software architecture;
- Architectural patterns;
- Quality attributes;
- Common practices;
- Software professionals;
- Architectural tactics;
32.How to be sure a faulty system does not always appear healthy? Fault manifestability analysis for discrete event and timed systems

机译：如何确定有错误的系统并不总是健康的吗？离散事件和定时系统的故障表现性分析
- 作者：Dague Philippe;He Lulu;Ye Lina
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2020年第2期
- Model-based diagnosis;
- Diagnosability and manifestability;
- Bounded model checking;
- SMT;
- Timed automata;
- Real-time systems;
33.An adaptive fractal-based image coding with hierarchical classification strategy and its modifications

机译：具有分层分类策略的自适应分形图像编码及其修改
- 作者：Utpal Nandi
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2019年第1期
- Fractal image coding;
- Hierarchical classification;
- PSNR;
- Loss-less coding;
- Adaptive quadtree partitioning;
34.Certified normalization of generalized traces

机译：广义痕迹的认证标准化
- 作者：Hendrik Maarand;Tarmo Uustalu
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2019年第4期
- Concurrency;
- Mazurkiewicz traces;
- Normal forms;
- Relaxed memory;
35.Sound black-box checking in the LearnLib

机译：在Learnlib中进行声音黑匣子检查
- 作者：Jeroen Meijer;Jaco van de Pol
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2019年第4期
- Black-box checking;
- LTL;
- LearnLib;
- Model checking;
- Monitors;
- Learn-based testing;
- LTSmin;
- Buchi automata;
36.Learning-based symbolic assume-guarantee reasoning for Markov decision process by using interval Markov process

机译：基于学习的符号假设 - 通过使用间隔马尔可夫进程来保证Markov决策过程的推理
- 作者：Redouane Bouchekir;Mohand Cherif Boukala
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2018年第3期
37.Development and performance analysis of a low-cost MEMS microphone-based hearing aid with three different audio amplifiers

机译：具有三种不同音频放大器的低成本MEMS麦克风的助听器的开发和性能分析
- 作者：Souvik Mallik;Debjyoti Chowdhury;Madhurima Chttopadhyay
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2019年第1期
- MEMS;
- Microphone;
- Circular diaphragm;
- FEM;
- Hearing aid;
- Amplifier;
38.Model-based testing of stochastically timed systems

机译：基于模型的随机定时系统测试
- 作者：Arnd Hartmanns;Marcus Gerhold;Marielle Stoelinga
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2019年第4期
- Model-based testing;
- Markov automata;
- Stochastic automata;
- Ioco conformance;
39.Towards a capability and maturity model for Collaborative Software-as-a-Service

机译：朝着协作软件 - AS-Service的能力和成熟度模型
- 作者：Cancian Maiara Heil;Rabelo Ricardo Jose;Hauck Jean Carlo Rossa
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2020年第4期
- Software-as-a-Service;
- Processes improvement;
- Collaboration;
40.The nonfunctional requirement focus in medical device software: a systematic mapping study and taxonomy

机译：医疗设备软件的非功能要求重点：系统映射研究和分类
- 作者：J. DeFranco;M. Kassab;P. Laplante;N. Laplante
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2017年第3期
- NFR;
- Nonfunctional requirements;
- Medical device software;
- Content analysis;
- Systematic mapping study;
41.Introduction to special issue on verification and evaluation of computer systems

机译：验证和评估计算机系统的特殊问题简介
- 作者：Kamel Barkaoui;Hanifa Boucheneb
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2018年第2期
42.FC-AMAT: factor-based C-AMAT analysis in memory system measurement

机译：FC-AMAT：内存系统测量中基于因子的C-AMAT分析
- 作者：Qi Yu;Libo Huang;Cheng Qian;Jianqiao Ma;Zhiying Wang
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2018年第2期
- FC-AMAT;
- C-AMAT;
- Evaluation accuracy;
- Correlation strength;
43.Predicting different levels of the unit testing effort of classes using source code metrics: a multiple case study on open-source software

机译：使用源代码指标预测类的不同层次测试努力：开源软件的多个案例研究
- 作者：Fadel Toure;Mourad Badri;Luc Lamontagne
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2018年第1期
44.An energy efficient street lighting framework: ANN-based approach

机译：节能街灯框架：基于安的方法
- 作者：Sikdar Pragna Labani;Thakurta Parag Kumar Guha
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第2期
- Street lighting;
- Energy consumption;
- Illuminance;
- Artificial neural network;
- Mean square error;
45.Empirical assessment of machine learning models for agile software development effort estimation using story points

机译：敏捷软件开发精力估算机器学习模型的实证评估
- 作者：Shashank Mouli Satapathy;Santanu Kumar Rath
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2017年第3期
46.Small multiples Euler-time diagrams for software engineering

机译：软件工程的小倍数欧拉时间图
- 作者：Mithileysh Sathiyanarayanan;Mohammad Alsaffar
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2017年第4期
- Euler diagrams;
- Set theory;
- Time-series;
- Small multiples;
- Software engineering;
47.Product recommendation for e-commerce business by applying principal component analysis (PCA) andK-means clustering: benefit for the society

机译：通过应用主成分分析（PCA）ANDK-MEATION CLASEING：集群的产品推荐：为社会福利
- 作者：Bandyopadhyay Soma;Thakur S. S.;Mandal J. K.
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第1期
- E-commerce;
- Principal component analysis;
- K-Means clustering;
- Supply chain management;
- Stock keeping unit;
- Recommendation systems;
48.On the measures for ranking software components

机译：关于排名软件组件的措施
- 作者：Satish M. Srinivasan;Raghvinder S. Sangwan;Colin J. Neill
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2017年第3期
- Discrete-Time Markov Chain;
- Component graphs;
- Ranking algorithm;
- Closeness centrality;
- Betweenness centrality;
- Eigenvector centrality;
49.A homomorphic computational model for Chinese remainder theorem-based secret sharing

机译：基于剩余定理的秘密共享的同种形态计算模型
- 作者：Roy Parthajit
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第1期
- Homomorphic computation;
- Zero-knowledge proof;
- Secret sharing;
- Chinese remainder theorem;
- Discrete logarithm;
- Secure computation;
50.Editor's note: artificial reasoning inspired intelligent systems

机译：编辑注意：人工推理灵感智能系统
- 作者：Mukhopadhyay Somnath
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第2期
51.Automatic grain segmentation in cross-polarized photomicrographs of sedimentary rocks using psychophysics inspired models

机译：使用心理物理激发模型的沉积岩沉积岩体交叉极化显微照片的自动晶粒分割
- 作者：Das Rajdeep;Shankar B. Uma;Chakraborty Tapan;Ghosh Kuntal
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第2期
- Optical mineralogy;
- Petrology;
- Sedimentary rock;
- Image segmentation;
- Grain-matrix;
- Brightnessamp;
- 8211;
- contrast;
- Visual perception;
- K-means++amp;
- 8201;
- clustering;
- Beta index;
- Dice score;
- Jaccard Index;
- Accuracy;
52.Skyline computation over multiple points and dimensions

机译：在多个点和尺寸上的天际线计算
- 作者：Ghosh Partha;Sen Soumya;Cortesi Agostino
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第2期
- Skyline;
- Multi-criteria decision making;
- Dominance analysis;
- Dimension;
53.Tri-level regression testing using nature-inspired algorithms

机译：使用自然启发算法的三级回归测试
- 作者：Bajaj Anu;Sangwan Om Prakash
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第1期
54.Bayesian hierarchical multi-objective optimization for vehicle parking route discovery

机译：车辆停车路线发现的贝叶斯等级多目标优化
- 作者：Beed Romit S.;Sarkar Sunita;Roy Arindam
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第2期
- Bayesian;
- Genetic algorithm;
- Multi-objective;
- Optimization;
- Weighted sum technique;
55.Design of synchronous decimal counter using reversible Toffoli-Fredkin Netlist

机译：使用可逆Toffoli-Fredkin网列表设计同步十进制计数器
- 作者：Sultana Mahamuda;Chaudhuri Ayan;Sengupta Diganta;De Debashis;Chaudhuri Atal
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第2期
- Reversible logic;
- Reversible counter;
- Decimal counter;
- Toffoli gate;
- Fredkin gate;
- Synchronous counter;
- Synchronous decimal counter;
56.A smart application to detect pupil for small dataset with low illumination

机译：一个智能应用，用于检测具有低照明的小型数据集的学生
- 作者：Swathi A.;Aarti;Kumar Sandeep
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第1期
- Pupil;
- Segmentation;
- CNN;
57.Estimation of resemblance and risk level of a breast cancer patient by prognostic variables using microarray gene expression data

机译：用微阵列基因表达数据估算乳腺癌患者的相似性和风险水平
- 作者：Das Madhurima;Jana Biswajit;Mitra Suman;Acharyya Sriyankar
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第2期
- Breast cancer;
- Cox proportional hazard regression model;
- 1d-DDg;
- Manhattan distance;
58.Resisting HODPA attacks in modular exponentiation using inner product with differential evolution

机译：使用具有差分演进的内部产品抵抗模块化指数中的HODPA攻击
- 作者：Mahanta Hridoy Jyoti;Khan Ajoy Kumar;Mukhopadhyay Somnath
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第1期
- DPA;
- HODPA;
- Modular exponentiation;
- Inner product;
- DE algorithm;
59.Unsupervised Learning Based Evaluation of Player Performances

机译：无监督的基于学习的玩家表演评估
- 作者：Bose Avijit;Mitra Sannoy;Ghosh Souham;Ghosh Raima;Patra Tiyash;Chakrabarti Satyajit
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第2期
- T-20;
- Cluster space maps;
- Unsupervised clustering;
- Silhouette score;
- Playing eleven;
- Auto-encoder;
60.Development of a BCI-based gaming application to enhance cognitive control in psychiatric disorders

机译：基于BCI的游戏应用的发展，以提高精神病疾病中的认知控制
- 作者：Dutta Sayan;Banerjee Tanishq;Roy Nilanjana Dutta;Chowdhury Bappaditya;Biswas Arindam
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第2期
61.Biometric-based unimodal and multimodal person identification with CNN using optimal filter set

机译：基于生物识别的单峰和多模数用CNN使用最优过滤器集的识别
- 作者：Sarker Goutam;Ghosh Swagata
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第2期
- Person authentication;
- Biometrics;
- CNN;
- Deep learning;
- Super-classification;
- Bagging;
- Boosting;
- Confusion matrix;
- Precision;
- Recall;
- F-score;
62.The realist approach for evaluation of computational intelligence in software engineering

机译：软件工程计算智能评估的现实方法
- 作者：Althar Raghavendra Rao;Samanta Debabrata
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第1期
- Software engineering;
- Data science;
- Computational intelligence;
- Software requirements management;
- Threat modeling;
63.Query-driven graph models in e-commerce

机译：Query-driven graph models in e-commerce
- 作者：Tuteja Sonal;Kumar Rajeev
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2023年第2期
- Data mapping;
- Data model;
- E-commerce;
- Graph database;
- Graph model;
- Schema mapping;
64.A study on boundary detection in wireless sensor networks

机译：A study on boundary detection in wireless sensor networks
- 作者：Kundu Srabani;Das Nabanita
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2023年第2期
- Wireless sensor networks (WSNs);
- Boundary node;
- Computational geometry;
- Topological graph;
- Heuristic approaches;
65.Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata

机译：Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
- 作者：John Tobias;Jantsch Simon;Baier ChristelKlüppelholz Sascha
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2023年第2期
66.Concurrent behavioral coverage criteria for sequence diagrams

机译：Concurrent behavioral coverage criteria for sequence diagrams
- 作者：Shirole Mahesh;Kumar Rajeev
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2023年第2期
- UML design;
- Sequence diagram;
- Coverage criteria;
- Concurrency;
- Test case generation;
67.Certifying DFA Bounds for Recognition and Separation

机译：Certifying DFA Bounds for Recognition and Separation
- 作者：Kupferman Orna;Lavee Nir;Sickert Salomon
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2022年第3期
- Automata on finite words;
- Expressive power;
- Games;
- SAFETY;
68.Verifying verified code

机译：Verifying verified code
- 作者：Priya Siddharth;Zhou Xiang;Su YusenVizel YakirBao YuyanGurfinkel Arie
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2022年第3期
- Model checking;
- Program verification;
- BMC;
- Symbolic execution;
69.An improved authentication and key management scheme for hierarchical IoT network using elliptic curve cryptography

机译：An improved authentication and key management scheme for hierarchical IoT network using elliptic curve cryptography
- 作者：Chatterjee Uddalak;Ray Sangram;Sadhukhan DipanwitaDasgupta Mou
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2023年第3期
70.Live synthesis

机译：Live synthesis
- 作者：Finkbeiner Bernd;Klein Felix;Metzger Niklas
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2022年第3期
- Reactive synthesis;
- Live updates;
- Dynamic updates;
- Reactive systems;
71.Bootstrap aggregation ensemble learning-based reliable approach for software defect prediction by using characterized code feature

机译：Bootstrap aggregation ensemble learning-based reliable approach for software defect prediction by using characterized code feature
- 作者：Suresh Kumar P.;Behera H. S.;Nayak JanmenjoyNaik Bighnaraj
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第4期
- Ensemble learning;
- Software defect prediction;
- Software reliability;
- Machine learning;
72.FTFL: A Fisher's test-based approach for fault localization

机译：FTFL: A Fisher's test-based approach for fault localization
- 作者：Dutta Arpita;Kunal Krishna;Srivastava Saksham SahaiShankar ShubhamMall Rajib
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第4期
- Fisher's test;
- Debugging;
- Fault localization;
- Program analysis;
73.Shared memory implementation and performance analysis of LSB steganography based on chaotic tent map

机译：Shared memory implementation and performance analysis of LSB steganography based on chaotic tent map
- 作者：Gambhir Gaurav;Mandal Jyotsna Kumar
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第4期
- OpenMP;
- Performance measurement;
- Performance analysis;
- Steganography;
- Cryptography;
- Parallel programming;
74.Probabilistic causes in Markov chains

机译：Probabilistic causes in Markov chains
- 作者：Ziemek Robin;Piribauer Jakob;Funke FlorianJantsch SimonBaier Christel
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2022年第3期
- Markov chain;
- Model checking;
- Causality;
- Expected costs;
- COMPLEXITY;
- EXPLANATIONS;
- EVENTS;
75.Proving SIFA protection of masked redundant circuits

机译：Proving SIFA protection of masked redundant circuits
- 作者：Hadzic Vedad;Primas Robert;Bloem Roderick
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2022年第3期
- Masking;
- Fault attacks;
- SIFA;
- Verification;
76.MaxSAT-based temporal logic inference from noisy data

机译：MaxSAT-based temporal logic inference from noisy data
- 作者：Gaglione Jean-Raphael;Neider Daniel;Roy RajarshiTopcu UfukXu Zhe
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2022年第3期
- Linear Temporal Logic;
- Signal Temporal Logic;
- Decision tree;
- Specification mining;
- Explainable AI;
77.Efficiency of oversampling methods for enhancing software defect prediction by using imbalanced data

机译：Efficiency of oversampling methods for enhancing software defect prediction by using imbalanced data
- 作者：Benala Tirimula Rao;Tantati Karunya
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2023年第3期
- Software defect prediction;
- Machine learning classifiers;
- Oversampling methods;
- Imbalanced datasets;
78.Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet

机译：Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet
- 作者：Asokan Shimmi;Kumar G. Santhosh
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2023年第3期
- Formal modeling;
- Generalized precision time protocol;
- Time synchronization;
- Model checking;
- UPPAAL;
- Automotive ethernet;
79.3PcGE: 3-parent child-based genetic evolution for software defect prediction

机译：3PcGE: 3-parent child-based genetic evolution for software defect prediction
- 作者：Goyal Somya
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2023年第2期
80.Refactoring for reuse: an empirical study

机译：Refactoring for reuse: an empirical study
- 作者：Alomar Eman Abdullah;Wang Tianjia;Raut VaibhaviMkaouer Mohamed WiemNewman ChristianOuni Ali
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2022年第1期
- Refactoring;
- Reusability;
- Software metrics;
- Quality;
- QUALITY ATTRIBUTES;
- IMPACT;
81.A mathematical framework for design discovery from multi-threaded applications using neural sequence solvers

机译：A mathematical framework for design discovery from multi-threaded applications using neural sequence solvers
- 作者：Majumdar Srijoni;Chatterjee Nachiketa;Das Partha PratimChakrabarti Amlan
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第3期
- Dynamic instrumentation;
- Design models;
- Recurrent neural networks;
- Software maintenance;
- Multi-threading;
82.Verifiability in Systems and Data Engineering: Preface by the Special Issue Editors

机译：Verifiability in Systems and Data Engineering: Preface by the Special Issue Editors
- 作者：Cortesi Agostino;Chaki Nabendu;Chaki Rituparna
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第3期
83.Formal model-driven executable DSLs

机译：Formal model-driven executable DSLs
- 作者：Idani Akram
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2022年第4期
- DSL;
- Formal methods;
- B Specification;
- Animation;
- Proofs;
84.A sequential ensemble model for software fault prediction

机译：A sequential ensemble model for software fault prediction
- 作者：Mangla Monika;Sharma Nonita;Mohanty Sachi Nandan
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2022年第2期
- Ensemble modeling;
- Software fault prediction;
- Normalization;
- Fault proneness;
- Software module;
85.STDNet: A CNN-based approach to single-/mixed-script detection

机译：STDNet: A CNN-based approach to single-/mixed-script detection
- 作者：Ghosh Mridul;Mukherjee Himadri;Obaidullah Sk MdRoy Kaushik
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第3期
- Script-type;
- Single;
- mixed script;
- CNN;
- Noise;
86.Parallel simulation of cyber-physical systems

机译：Parallel simulation of cyber-physical systems
- 作者：Das Kamal;Gurung Amit;Ray Rajarshi
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第3期
- Hybrid systems;
- Hybrid automaton;
- Simulation trajectory;
- Parallel simulations;
87.A hybrid approach for medical images classification and segmentation to reduce complexity

机译：A hybrid approach for medical images classification and segmentation to reduce complexity
- 作者：Kumar Ankit;Bhatia Surbhi;Bhardwaj RajatSingh Kamred UdhamVarshney NeerajRaja Linesh
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2023年第1期
- Decision tree;
- Naive Bayes;
- Prediction;
- Accuracy;
- Random forest;
- KNN;
- and SVM;
- RISK PREDICTION;
- MODEL;
88.Component level diagnosability of discrete event systems based on observations

机译：Component level diagnosability of discrete event systems based on observations
- 作者：Reshmila S.;Devanathan R.
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2023年第3期
- Discrete event system;
- Diagnosability;
- Fault diagnosis;
- Diagnoser;
- Mealy automata;
- Finite automata;
89.Awas: AADL information flow and error propagation analysis framework

机译：Awas: AADL information flow and error propagation analysis framework
- 作者：Thiagarajan Hariharan;Hatcliff John;Robby
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2022年第4期
- Dependence analysis;
- Reachability analysis;
- Unmanned aerial vehicle;
- Model visualization;
- Error propagation;
- AADL;
- EMv2;
- Domain-specific query language;
90.A study of efficiency measurement of Jaipur metro mass transit system using data envelopment analysis

机译：A study of efficiency measurement of Jaipur metro mass transit system using data envelopment analysis
- 作者：Sharma Pankaj;Jain Jinendra Kumar;Kalla Pawan
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2023年第1期
- Urban public transportation;
- Efficiency;
- Data envelopment analysis;
- Access;
- Egress;
- APPRAISAL;
- DELHI;
91.A hybrid cellular automata-based model for leakage detection in smart drip irrigation water pipeline structure using IoT sensors

机译：A hybrid cellular automata-based model for leakage detection in smart drip irrigation water pipeline structure using IoT sensors
- 作者：Banerjee Arpita;Banerjee C.
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2023年第1期
- Cellular automata;
- Flow model;
- Pressure model;
- Leakage detection;
- Water pipeline structure;
- IoT sensors;
92.A framework for end-to-end verification for digital microfluidics

机译：A framework for end-to-end verification for digital microfluidics
- 作者：Roy Pushpita;Banerjee Ansuman;Bhattacharya Bhargab B.
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第3期
- Digital microfluidic biochip;
- Pre-synthesis;
- Post-synthesis;
- Verification;
93.Frequent itemset mining using FP-tree: a CLA-based approach and its extended application in biodiversity data

机译：Frequent itemset mining using FP-tree: a CLA-based approach and its extended application in biodiversity data
- 作者：Ghosh Moumita;Roy Anirban;Sil PritamMondal Kartick Chandra
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2023年第3期
- Frequent itemset;
- Cellular learning automata;
- FP-growth;
- Biodiversity;
- Application;
- Species data;
94.Optimized classification model for plant diseases using generative adversarial networks

机译：Optimized classification model for plant diseases using generative adversarial networks
- 作者：Lamba Shweta;Saini Preeti;Kaur JagpreetKukreja Vinay
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2023年第1期
- Diseases detection;
- Machine learning;
- Leaves classification;
- SVM;
- Neural network;
- Convolution neural network;
95.On the use of OLS regression algorithm and Pearson correlation algorithm for improving the SLA establishment process in cloud computing

机译：On the use of OLS regression algorithm and Pearson correlation algorithm for improving the SLA establishment process in cloud computing
- 作者：Labidi Taher;Sakhrawi Zaineb;Sellami AsmaMtibaa AchrafBouassida Nadia
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2022年第1期
- SLA;
- Ontology;
- Ordinary least squares (OLS);
- Pearson correlation;
- Cloud computing;
96.Compositional synthesis of modular systems

机译：Compositional synthesis of modular systems
- 作者：Finkbeiner Bernd;Passing Noemi
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2022年第3期
- Compositional synthesis;
- Bounded synthesis;
- Reactive systems;
- Distributed systems;
97.An enumerated analysis of NoSQL data models using statistical tools

机译：An enumerated analysis of NoSQL data models using statistical tools
- 作者：Samanta Ashis Kumar;Chaki Nabendu
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2023年第1期
- Big data;
- NoSQL;
- Semi-structured data;
- VIKOR;
- ANOVA;
98.Support vector regression for enhancement effort prediction of Scrum projects from COSMIC functional size

机译：Support vector regression for enhancement effort prediction of Scrum projects from COSMIC functional size
- 作者：Sakhrawi Zaineb;Sellami Asma;Bouassida Nadia
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2022年第1期
99.Designing balanced wrapper chains in 3D SoC under constrained TSVs

机译：Designing balanced wrapper chains in 3D SoC under constrained TSVs
- 作者：Banerjee Sabyasachee;Ghorui Soumendu;Majumder Subhashis
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2021年第3期
- 3D SoC;
- Wrapper design;
- TAM;
- TSV;
- Entropy;
100.Smart automation in manufacturing process using industrial internet of things (IIoT) architecture

机译：Smart automation in manufacturing process using industrial internet of things (IIoT) architecture
- 作者：Singh Jasjeet;Banerjee C.;Pandey Santosh K.
- 期刊名称：《Innovations in Systems and Software Engineering》 | 2023年第1期
- Smart manufacturing;
- Smart factory;
- Industrial internet of things;
- Intelligent manufacturing;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号