![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.