Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleDecember 2022
Game Theory–Based Parameter Tuning for Energy-Efficient Path Planning on Modern UAVs
- Diksha Moolchandani,
- Kishore Yadav,
- Geesara Kulathunga,
- Ilya Afanasyev,
- Anshul Kumar,
- Manuel Mazzara,
- Smruti Sarangi
ACM Transactions on Cyber-Physical Systems (TCPS), Volume 6, Issue 4Article No.: 34, Pages 1–29https://doi.org/10.1145/3565270Present-day path planning algorithms for UAVs rely on various parameters that need to be tuned at runtime to be able to plan the best possible route. For example, for a sampling-based algorithm, the number of samples plays a crucial role. The dimension of ...
- research-articleSeptember 2022
Secure aggregate signature scheme for smart city applications
Computer Communications (COMS), Volume 193, Issue CPages 388–395https://doi.org/10.1016/j.comcom.2022.07.050AbstractWith the recent advances in technology, smart cities are rapidly earning momentum. To provide better lives, smart cities should host several applications to increase the efficiency and accessibility of services. Since these services ...
- review-articleJanuary 2022
The Rise of Cloud Computing: Data Protection, Privacy, and Open Research Challenges—A Systematic Literature Review (SLR)
- Shakeel Ahmad,
- Junaid Hassan,
- Danish Shehzad,
- Usman Habib,
- Muhammad Umar Aftab,
- Muhammad Ahmad,
- Ramil Kuleev,
- Manuel Mazzara
Cloud computing is a long-standing dream of computing as a utility, where users can store their data remotely in the cloud to enjoy on-demand services and high-quality applications from a shared pool of configurable computing resources. Thus, the privacy ...
- research-articleNovember 2021
Hyperspectral imaging-based unsupervised adulterated red chili content transformation for classification: Identification of red chili adulterants
- Muhammad Hussain Khan,
- Zainab Saleem,
- Muhammad Ahmad,
- Ahmed Sohaib,
- Hamail Ayaz,
- Manuel Mazzara,
- Rana Aamir Raza
Neural Computing and Applications (NCAA), Volume 33, Issue 21Pages 14507–14521https://doi.org/10.1007/s00521-021-06094-4AbstractPreserving red-chili quality is of utmost importance in which the authorities demand quality techniques to detect, classify, and prevent it from impurities. For example, salt, wheat flour, wheat bran, and rice bran contamination in grounded red ...
-
- research-articleMay 2021
The Role of Formalism in System Requirements
ACM Computing Surveys (CSUR), Volume 54, Issue 5Article No.: 93, Pages 1–36https://doi.org/10.1145/3448975A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and precise. Most requirements are written in natural language, which is good for understandability but lacks precision.
To ...
- research-articleNovember 2020
An empirical study of multi-threading paradigms Reactive programming vs continuation-passing style
ICCBD '20: Proceedings of the 2020 3rd International Conference on Computing and Big DataPages 37–41https://doi.org/10.1145/3418688.3418695This paper compares two popular multi-threading paradigms: reactive programming and continuation-passing style as today there are many software paradigms which could be replaced by each other, and programmers sometimes have dilemma which one to choose. ...
- bookDecember 2019
Microservices: Science and Engineering
- Antonio Bucchiarone,
- Nicola Dragoni,
- Schahram Dustdar,
- Patricia Lago,
- Manuel Mazzara,
- Victor Rivera,
- Andrey Sadovykh
This book describes in contributions by scientists and practitioners the development of scientific concepts, technologies, engineering techniques and tools for a service-based society. The focus is on microservices, i.e cohesive, independent processes ...
- ArticleNovember 2019
Towards Code Review Guideline in a Classroom
AbstractSoftware companies generally adopt code review to identify errors and suggest improvements to code, and share knowledge in the team. Companies assume a pre-knowledge on their engineers to undertake the activity. This could be difficult for freshly ...
- ArticleNovember 2019
Teaching Theoretical Computer Science at Innopolis University
AbstractInnopolis is a new IT city incorporating a technopark and a university, aiming at prioritizing the development of IT and software engineering in Tatarstan and in the Russian Federation. Innopolis University (IU) is a young university pioneering ...
- ArticleNovember 2019
Reflections on Teaching Formal Methods for Software Development in Higher Education
- Mansur Khazeev,
- Hamna Aslam,
- Daniel de Carvalho,
- Manuel Mazzara,
- Jean-Michel Bruel,
- Joseph Alexander Brown
AbstractDespite the increasing attention to formal verification techniques by industry and academia, the programs of Higher Education to this regard still lie behind, and these concepts are not presented to the majority of Computer Science students ...
- ArticleNovember 2019
Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization
Frontiers in Software Engineering EducationPages 341–353https://doi.org/10.1007/978-3-030-57663-9_22AbstractThe “idea of a university” has been a subject of contested discussions for over a century. There is a significant number of different views on what it means to be a university of the twenty-first century as well as on its purpose and primary ...
- ArticleNovember 2019
Internationalization Strategy of Innopolis University
Frontiers in Software Engineering EducationPages 327–340https://doi.org/10.1007/978-3-030-57663-9_21AbstractSince the establishment of Innopolis University, there was an emphasis placed on the importance of internationalization and international cooperation for its further development, especially in terms of teaching in the English language only, ...
- ArticleOctober 2019
Spontaneous Emotion Recognition in Response to Videos
AbstractIn order to understand human emotions correctly taking into account only facial expressions, we are conducting the experiments on the spontaneous emotional facial videos of people watching musical video clips from DEAP open source dataset. We are ...
- ArticleMay 2019
From DevOps to DevDataOps: Data Management in DevOps Processes
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and DeploymentPages 52–62https://doi.org/10.1007/978-3-030-39306-9_4AbstractDevOps is a quite effective approach for managing software development and operation, as confirmed by plenty of success stories in real applications and case studies. DevOps is now becoming the main-stream solution adopted by the software ...
- ArticleMay 2019
Anomaly Detection in DevOps Toolchain
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and DeploymentPages 37–51https://doi.org/10.1007/978-3-030-39306-9_3AbstractThe tools employed in the DevOps Toolchain generates a large quantity of data that is typically ignored or inspected only on particular occasions, at most. However, the analysis of such data could enable the extraction of useful information about ...
- ArticleMay 2019
Towards Designing Smart Learning Environments with IoT
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and DeploymentPages 152–166https://doi.org/10.1007/978-3-030-39306-9_11AbstractInternet of Things is a rapidly growing network of a variety of different connected objects. Now, because of their ubiquitous nature, educational institutions are looking to incorporate IoTs technologies in teaching and learning activities. This ...
- ArticleMay 2019
Teaching DevOps in Academia and Industry: Reflections and Vision
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and DeploymentPages 1–14https://doi.org/10.1007/978-3-030-39306-9_1AbstractThe new century brought us a kind of renaissance in software development methods. The advent of the Agile manifesto has led to greater appreciation of methodologies aimed at producing valuable software through continuous incremental cycles. More ...