Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 9 of 1789 results
Sort by: relevance publication year

Heterogeneous and Elastic Computation Framework for Mobile Cloud Computing

JOURNAL ARTICLE published September 2014 in International Journal of Software Engineering and Knowledge Engineering

Authors: Chi-Sheng Shih | Joen Chen | Yu-Hsin Wang | Norman Chang

Guest Editors' Introduction

JOURNAL ARTICLE published September 1997 in International Journal of Software Engineering and Knowledge Engineering

iMER-FM: Iterative Process of System Feature Model Extraction from the Requirements

JOURNAL ARTICLE published March 2021 in International Journal of Software Engineering and Knowledge Engineering

Authors: Muhammad Javed | Yuqing Lin

An Algebraic Framework for the Verification of Context-Aware Adaptive Systems

JOURNAL ARTICLE published September 2015 in International Journal of Software Engineering and Knowledge Engineering

Authors: Katerina Ksystra | Petros Stefaneas | Panayiotis Frangos

A PROCEDURE TO TRANSLATE PARADIGM SPECIFICATIONS TO PROPOSITIONAL LINEAR TEMPORAL LOGIC AND ITS APPLICATION TO VERIFICATION

JOURNAL ARTICLE published December 2003 in International Journal of Software Engineering and Knowledge Engineering

Authors: JUAN CARLOS AUGUSTO | RODOLFO SABAS GOMEZ

Developing Web Applications Based on Model Driven Architecture

JOURNAL ARTICLE published March 2014 in International Journal of Software Engineering and Knowledge Engineering

Authors: Yen-Chieh Huang | Chih-Ping Chu

DETECTING EMULATED ENVIRONMENTS

JOURNAL ARTICLE published November 2012 in International Journal of Software Engineering and Knowledge Engineering

Authors: TAUHIDA PARVEEN | SCOTT TILLEY | WILLIAM ALLEN | GERALD MARIN | RICHARD FORD

USING PROGRAM SLICING TO IMPROVE THE EFFICIENCY AND EFFECTIVENESS OF CLUSTER TEST SELECTION

JOURNAL ARTICLE published September 2011 in International Journal of Software Engineering and Knowledge Engineering

Authors: ZHENYU CHEN | YONGWEI DUAN | ZHIHONG ZHAO | BAOWEN XU | JU QIAN

AUTOMATED DEBUGGING OF VERILOG DESIGNS

JOURNAL ARTICLE published August 2012 in International Journal of Software Engineering and Knowledge Engineering

Authors: BERNHARD PEISCHL | NAVEED RIAZ | FRANZ WOTAWA

JOURNAL ARTICLE published 2000 in International Journal of Software Engineering and Knowledge Engineering

JOURNAL ARTICLE published 2000 in International Journal of Software Engineering and Knowledge Engineering

JOURNAL ARTICLE published 2000 in International Journal of Software Engineering and Knowledge Engineering

JOURNAL ARTICLE published 2000 in International Journal of Software Engineering and Knowledge Engineering

JOURNAL ARTICLE published 2000 in International Journal of Software Engineering and Knowledge Engineering

JOURNAL ARTICLE published 2000 in International Journal of Software Engineering and Knowledge Engineering

JOURNAL ARTICLE published 2000 in International Journal of Software Engineering and Knowledge Engineering

Generation and Application of Constrained Interaction Test Suites Using Base Forbidden Tuples with a Mixed Neighborhood Tabu Search

JOURNAL ARTICLE published March 2020 in International Journal of Software Engineering and Knowledge Engineering

Authors: Imad H. Hasan | Bestoun S. Ahmed | Moayad Y. Potrus | Kamal Z. Zamli

EMITS: An Experience Management System for IT Management Support

JOURNAL ARTICLE published April 2015 in International Journal of Software Engineering and Knowledge Engineering

Authors: Can Bozdogan | A. Nur Zincir-Heywood | Ibrahim Zincir

Matching Logic Based on Ownership Transfer

JOURNAL ARTICLE published January 2023 in International Journal of Software Engineering and Knowledge Engineering

Authors: Shangbei Wang | Yintong Wang

Regression Test Case Prioritization Based on Fixed Size Candidate Set ART Algorithm

JOURNAL ARTICLE published March 2020 in International Journal of Software Engineering and Knowledge Engineering

Research funded by the Fundamental Research Funds for the Central Universities (2017XKQY081)

Authors: Rongcun Wang | Zhengmin Li | Shujuan Jiang | Chuanqi Tao