Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInnovations in Systems and Software Engineering, Volume 19
Volume 19, Number 1, March 2023
- Mike Hinchey, Amit Jain
, Manju Kaushik, Sanjay Misra:
Guest Editorial: Intelligence for systems and software engineering. 1-4 - Ashis Kumar Samanta, Nabendu Chaki:
An enumerated analysis of NoSQL data models using statistical tools. 5-14 - Jasjeet Singh, Chitresh Banerjee, Santosh K. Pandey:
Smart automation in manufacturing process using industrial internet of things (IIoT) architecture. 15-22 - Arpita Banerjee, Chitresh Banerjee:
A hybrid cellular automata-based model for leakage detection in smart drip irrigation water pipeline structure using IoT sensors. 23-32 - Ankit Kumar, Surbhi Bhatia, Rajat Bhardwaj, Kamred Udham Singh, Neeraj Varshney, Linesh Raja:
A hybrid approach for medical images classification and segmentation to reduce complexity. 33-46 - Pankaj Sharma, Jinendra Kumar Jain, Pawan Kalla:
A study of efficiency measurement of Jaipur metro mass transit system using data envelopment analysis. 47-60 - Md. Mehedi Hassan, Sadika Zaman, Swarnali Mollick, Md. Mahedi Hassan, M. Raihan, Chetna Kaushal, Rajat Bhardwaj:
An efficient Apriori algorithm for frequent pattern in human intoxication data. 61-69 - Ravi Kumar Sachdeva, Priyanka Bathla, Pooja Rani, Vikas Solanki, Rakesh Ahuja:
A systematic method for diagnosis of hepatitis disease using machine learning. 71-80 - Jyotsna P. Gabhane, Sunil Pathak, Nita M. Thakare:
A novel hybrid multi-resource load balancing approach using ant colony optimization with Tabu search for cloud computing. 81-90 - Femi Johnson, Olayiwola Oluwatobi, Olusegun Folorunso, Alomaja Victor Ojumu, Alatishe Quadri:
Optimized ensemble machine learning model for software bugs prediction. 91-101 - Shweta Lamba, Preeti Saini, Jagpreet Kaur, Vinay Kukreja:
Optimized classification model for plant diseases using generative adversarial networks. 103-115 - Gagandeep Kaur, Harpreet Kaur, Sonia Goyal:
Correlation analysis between different parameters to predict cement logistics. 117-127 - Ezekiel Adebayo Ogundepo, Waheed Babatunde Yahya:
Performance analysis of supervised classification models on heart disease prediction. 129-144
Volume 19, Number 2, June 2023
- Joseph Maurio, Paul Wood, Sebastián A. Zanlongo, Josh Silbermann, Tamim Sookoor, Alberto Lorenzo, Randall Sleight, James Rogers, Daniel Muller, Noah Armiger, Christopher A. Rouff, Lanier A. Watkins:
Agile services and analysis framework for autonomous and autonomic critical infrastructure. 145-156 - Mahesh Shirole, Rajeev Kumar:
Concurrent behavioral coverage criteria for sequence diagrams. 157-176 - Sonal Tuteja, Rajeev Kumar:
Query-driven graph models in e-commerce. 177-195 - Somya Goyal:
3PcGE: 3-parent child-based genetic evolution for software defect prediction. 197-216 - Srabani Kundu, Nabanita Das:
A study on boundary detection in wireless sensor networks. 217-225 - Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz:
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. 227-229
Volume 19, Number 3, September 2023
- Uddalak Chatterjee, Sangram Ray, Dipanwita Sadhukhan, Mou Dasgupta:
An improved authentication and key management scheme for hierarchical IoT network using elliptic curve cryptography. 231-246 - Tirimula Rao Benala, Karunya Tantati:
Efficiency of oversampling methods for enhancing software defect prediction by using imbalanced data. 247-263 - Shimmi Asokan, G. Santhosh Kumar:
Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet. 265-281 - Moumita Ghosh, Anirban Roy, Pritam Sil, Kartick Chandra Mondal:
Frequent itemset mining using FP-tree: a CLA-based approach and its extended application in biodiversity data. 283-301 - S. Reshmila, R. Devanathan:
Component level diagnosability of discrete event systems based on observations. 303-317 - Chun-Ok Sin, Yong-Sok Kim:
TimeLine Depiction: an approach to graphical notation for supporting temporal property specification. 319-335
Volume 19, Number 4, December 2023
- Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez:
Selected extended papers of NFM 2021. 337-338 - Bernd Finkbeiner, Gideon Geier, Noemi Passing:
Specification decomposition for reactive synthesis. 339-357 - Aman Goel, Karem A. Sakallah:
Regularity and quantification: a new approach to verify distributed protocols. 359-377 - Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem:
Online shielding for reinforcement learning. 379-394 - Saswata Paul, Gul Agha, Stacy Patterson, Carlos A. Varela:
Eventual consensus in Synod: verification using a failure-aware actor model. 395-410 - Adam Petz, Perry Alexander:
Formally verified bundling and appraisal of evidence for layered attestations. 411-426
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
