Found: 21
Select item for more details and to access through your institution.
Fake news detection using dual BERT deep neural networks.
- Published in:
- Multimedia Tools & Applications, 2024, v. 83, n. 15, p. 43831, doi. 10.1007/s11042-023-17115-w
- By:
- Publication type:
- Article
Automatic program bug fixing by focusing on finding the shortest sequence of changes.
- Published in:
- Artificial Intelligence Review, 2024, v. 57, n. 2, p. 1, doi. 10.1007/s10462-023-10686-y
- By:
- Publication type:
- Article
A three-phase approach to improve the functionality of t-way strategy.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2024, v. 28, n. 1, p. 415, doi. 10.1007/s00500-023-08199-5
- By:
- Publication type:
- Article
Automatic bug localization using a combination of deep learning and model transformation through node classification.
- Published in:
- Software Quality Journal, 2023, v. 31, n. 4, p. 1045, doi. 10.1007/s11219-023-09625-5
- By:
- Publication type:
- Article
Using deep reinforcement learning to search reachability properties in systems specified through graph transformation.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2022, v. 26, n. 18, p. 9635, doi. 10.1007/s00500-022-06815-4
- By:
- Publication type:
- Article
Using Bayesian optimization algorithm for model-based integration testing.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2022, v. 26, n. 7, p. 3503, doi. 10.1007/s00500-021-06476-9
- By:
- Publication type:
- Article
GALP: a hybrid artificial intelligence algorithm for generating covering array.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2021, v. 25, n. 11, p. 7673, doi. 10.1007/s00500-021-05788-0
- By:
- Publication type:
- Article
Correction to: GALP: a hybrid artificial intelligence algorithm for generating covering array.
- Published in:
- 2021
- By:
- Publication type:
- Correction Notice
Using memetic algorithm for robustness testing of contract-based software models.
- Published in:
- Artificial Intelligence Review, 2021, v. 54, n. 2, p. 877, doi. 10.1007/s10462-020-09881-y
- By:
- Publication type:
- Article
An approach based on knowledge exploration for state space management in checking reachability of complex software systems.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2020, v. 24, n. 10, p. 7181, doi. 10.1007/s00500-019-04334-3
- By:
- Publication type:
- Article
MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2019, v. 23, n. 12, p. 4531, doi. 10.1007/s00500-018-3444-y
- By:
- Publication type:
- Article
A Recommendation Method Based on Semantic Similarity and Complementarity Using Weighted Taxonomy: A Case on Construction Materials Dataset.
- Published in:
- Journal of Information & Knowledge Management, 2018, v. 17, n. 1, p. 1, doi. 10.1142/S0219649218500107
- By:
- Publication type:
- Article
An Optimal Solution for Test Case Generation Using ROBDD Graph and PSO Algorithm.
- Published in:
- Quality & Reliability Engineering International, 2016, v. 32, n. 7, p. 2263, doi. 10.1002/qre.1934
- By:
- Publication type:
- Article
Security analysis of network protocols through model checking: a case study on mobile IPv6.
- Published in:
- Security & Communication Networks, 2016, v. 9, n. 10, p. 1072, doi. 10.1002/sec.1401
- By:
- Publication type:
- Article
A security framework for developing service-oriented software architectures.
- Published in:
- Security & Communication Networks, 2015, v. 8, n. 17, p. 2957, doi. 10.1002/sec.1222
- By:
- Publication type:
- Article
A Reliable Architectural Style for Designing Pervasive Healthcare Systems.
- Published in:
- Journal of Medical Systems, 2014, v. 38, n. 9, p. 1, doi. 10.1007/s10916-014-0086-1
- By:
- Publication type:
- Article
PERFORMANCE MODELING AND ANALYSIS OF SOFTWARE ARCHITECTURES SPECIFIED THROUGH GRAPH TRANSFORMATIONS.
- Published in:
- Computing & Informatics, 2013, v. 32, n. 4, p. 797
- By:
- Publication type:
- Article
Designing an Architectural Style for Pervasive Healthcare Systems.
- Published in:
- Journal of Medical Systems, 2013, v. 37, n. 2, p. 1, doi. 10.1007/s10916-013-9927-6
- By:
- Publication type:
- Article
A Qualitative Framework to Assess Hospital / Medical Websites.
- Published in:
- Journal of Medical Systems, 2012, v. 36, n. 5, p. 2927, doi. 10.1007/s10916-011-9771-5
- By:
- Publication type:
- Article
FORMAL ANALYSIS OF UML 2.0 ACTIVITIES USING GRAPH TRANSFORMATION SYSTEMS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2010, v. 20, n. 5, p. 679, doi. 10.1142/S0218194010004918
- By:
- Publication type:
- Article
A NOVEL APPROACH TO VERIFY GRAPH SCHEMA-BASED SOFTWARE SYSTEMS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2009, v. 19, n. 6, p. 857, doi. 10.1142/S0218194009004398
- By:
- Publication type:
- Article