269 results
Search Results
2. Software Technologies - 16th International Conference, ICSOFT 2021, Virtual Event, July 6-8, 2021, Revised Selected Papers
3. Software Technologies - 15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers
4. Software Technologies - 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised Selected Papers
5. Software Technologies - 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers
6. Software Technologies - 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers
7. Software Technologies, 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers.
8. Software Technologies - 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
9. Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers
10. Software Technologies - 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
11. Software and Data Technologies - 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
12. Software and Data Technologies - 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
13. Software and Data Technologies - 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers
14. Software and Data Technologies - Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers
15. Software and Data Technologies - First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
16. A Decision Model Based on an Optimized Choquet Integral: Multifactor Prediction and Intelligent Agriculture Application.
17. Microservices Deployment on a Multi-platform Ecosystem: A Contract-Based Approach.
18. On the Efficiency of Building Large Collections of Software: Modeling, Algorithms, and Experimental Results.
19. Tool Assisted Empirical Approach to Reusability Models Assessment.
20. Towards Extracting Reusable and Maintainable Code Snippets.
21. Adapting Cyber-Risk Assessment for the Planning of Cyber-Physical Smart Grids Based on Industrial Needs.
22. A Deep Learning Architecture Based on Advanced Textual Language Models for Detecting Disease Through Its Symptoms Associated with a Reinforcement Learning Algorithm.
23. An AST-Based Code Change Representation and Its Performance in Just-in-Time Vulnerability Prediction.
24. Three Forms of Mutant Subsumption: Basic, Strict and Broad.
25. A New Simulation Tool for Sensor Networks Based on an Energy-Efficient and Fault-Tolerant Methodology.
26. A Methodology for Organizational Data Science Towards Evidence-based Process Improvement.
27. Towards Power Consumption Optimization for Embedded Systems from a Model-driven Software Development Perspective.
28. Materializing Microservice-oriented Architecture from Monolithic Object-oriented Source Code.
29. Feedback Generation for Automatic User Interface Design Evaluation.
30. A Novel Neural Network-Based Malware Severity Classification System.
31. Tales from the Code #2: A Detailed Assessment of Code Refactoring's Impact on Energy Consumption.
32. A Personalized Code Formatter: Detection and Fixing.
33. Object Parsing Expressions for Unplanned, Unmodified, and Incremental Grammar Reuse.
34. Linked Data as Medium for Stigmergy-based Optimization and Coordination.
35. Software Framework of Context-Aware Reconfigurable Secure Smart Grids.
36. Multilevel Readability Interpretation Against Software Properties: A Data-Centric Approach.
37. A Real-Time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data.
38. MLCA: A Model-Learning-Checking Approach for IoT Systems.
39. A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States.
40. Shared Autonomous Mobility on Demand: A Fuzzy-Based Approach and Its Performance in the Presence of Uncertainty.
41. Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints.
42. Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop.
43. A Machine Learning Based Methodology for Web Systems Codeless Testing with Selenium.
44. On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment.
45. A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing.
46. R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture.
47. Model-Based Threat Modeling for Cyber-Physical Systems: A Computer-Aided Approach.
48. Two-Stage Game Theoretic Approach for Energy Management in Networked Microgrids.
49. Distributed Frames: Pattern-Based Characterization of Functional Requirements for Distributed Systems.
50. GA-PPI-Net: A Genetic Algorithm for Community Detection in Protein-Protein Interaction Networks.
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.