default search action
Innovations in Systems and Software Engineering, Volume 15
Volume 15, Number 1, March 2019
- Jyotsna Kumar Mandal, Somnath Mukhopadhyay:
Editorial preface. 1 - Kaustuv Sarangi, Indrajit Bhattacharya:
A study on data aggregation techniques in wireless sensor network in static and dynamic scenarios. 3-16 - Souvik Mallik, Debjyoti Chowdhury, Madhurima Chattopadhyay:
Development and performance analysis of a low-cost MEMS microphone-based hearing aid with three different audio amplifiers. 17-25 - Soumen Roy, Utpal Roy, Devadatta Sinha:
The probability of predicting personality traits by the way user types on touch screen. 27-34 - Utpal Nandi:
An adaptive fractal-based image coding with hierarchical classification strategy and its modifications. 35-42 - D. Boopathy, M. Sundaresan:
A novel multi-dimensional encryption technique to secure the grayscale images and color images in public cloud storage. 43-64 - Sunanda Jana, Arnab Kumar Maji, Rajat Kumar Pal:
A novel SPN-based video steganographic scheme using Sudoku puzzle for secured data hiding. 65-73 - Uttam Kr. Mondal:
Achieving lossless compression of audio by encoding its constituted components (LCAEC). 75-85
Volume 15, Number 2, June 2019
- Ashish Kumar Dwivedi, Anand Tirkey, Santanu Kumar Rath:
Applying learning-based methods for recognizing design patterns. 87-100 - Dhikra Kchaou, Nadia Bouassida, Mariam Mefteh, Hanêne Ben-Abdallah:
Recovering semantic traceability between requirements and design for change impact analysis. 101-115 - Mourad Badri, Linda Badri, Oussama Hachemane, Alexandre Ouellet:
Measuring the effect of clone refactoring on the size of unit test cases in object-oriented software: an empirical study. 117-137 - Adair José Rohling, Valdemar Vicente Graciano Neto, Maurício Gonçalves Vieira Ferreira, Walter Abrahão dos Santos, Elisa Yumi Nakagawa:
A reference architecture for satellite control systems. 139-153 - Anindita Sarkar Mondal, Sarmistha Neogy, Nandini Mukherjee, Samiran Chattopadhyay:
A survey of issues and solutions of health data management systems. 155-166
Volume 15, Numbers 3-4, September 2019
- Aaron Dutle, César A. Muñoz, Anthony Narkawicz:
Selected extended papers of NFM 2018. 167-168 - Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky:
Formal modeling and analysis of safety-critical human multitasking. 169-190 - Flavio M. de Paula, Arvind Haran, Brad Bingham:
Rewriting toward trace coverage analysis of symmetric systems. 191-206 - Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga:
Model-based testing of stochastically timed systems. 207-233 - Alfons Laarman:
Optimal compression of combinatorial state spaces. 235-251 - Hendrik Maarand, Tarmo Uustalu:
Certified normalization of generalized traces. 253-265 - Jeroen Meijer, Jaco van de Pol:
Sound black-box checking in the LearnLib. 267-287 - Radha Nakade, Eric Mercer, Peter Aldous, Kyle Storey, Benjamin Ogles, Joshua Hooker, Sheridan Jacob Powell, Jay McCarthy:
Model-checking task-parallel programs for data-race. 289-306 - Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Property specification patterns at work: verification and inconsistency explanation. 307-323 - Guowei Yang, Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen:
A synergistic approach to improving symbolic execution using test ranges. 325-342 - Sunanda Mondal, Mili Ghosh, Kakali Datta, Debarka Mukhopadhyay, Paramartha Dutta:
A QCA design and energy analysis of binary semaphore with a comprehensive case study. 343-354 - Parinita Dutta, Rajeev Chatterjee, Jyotsna Kumar Mandal:
An approach for deployment of BRS in software-defined network. 355-361
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.