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

AN APPROACH TO CHECKING BEHAVIORAL COMPATIBILITY BETWEEN WEB SERVICES

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

Authors: HEUNG SEOK CHAE | JOON-SANG LEE | JUNGHO BAE

PROVING PROPERTIES OF RULE-BASED SYSTEMS

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

Authors: RICHARD J. WALDINGER | MARK E. STICKEL

USING RULE STRUCTURE TO EVALUATE THE COMPLETENESS OF RULE-BASED SYSTEM TESTING: A CASE STUDY

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

Authors: STEPHEN C. MEDDERS | EDWARD B. ALLEN | EDWARD A. LUKE

DEBUGGING LOGIC-BASED REQUIREMENTS SPECIFICATIONS FOR SAFETY-CRITICAL SYSTEMS — A FRORL APPROACH

JOURNAL ARTICLE published June 1994 in International Journal of Software Engineering and Knowledge Engineering

Authors: JEFFREY J.P. TSAI | ALAN LIU | KRISHNAKUMAR NAIR

AN AUTOMATED TOOL (IDAF) TO MANIPULATE INTERACTION DIAGRAMS AND FRAGMENTATIONS FOR MULTI-AGENT SYSTEMS

JOURNAL ARTICLE published February 1999 in International Journal of Software Engineering and Knowledge Engineering

Authors: CHI KEEN LOW | RALPH RÖNNQUIST | TSONG YUEH CHEN

Remaining Activity Sequence Prediction for Ongoing Process Instances

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

Authors: Xiaoxiao Sun | Yuke Ying | Siqing Yang | Hujun Shen

OBJECT EXTENSIONS TO Z: A SURVEY

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

Authors: B.L. ACHEE | DORIS L. CARVER

eTIFIS: AN INNOVATIVE e-FORECASTING WEB APPLICATION

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

Authors: E. TAVANIDOU | K. NIKOLOPOULOS | K. METAXIOTIS | V. ASSIMAKOPOULOS

MAINTAINING SHARED WORKSPACES CONSISTENCY DURING SOFTWARE DEVELOPMENT

JOURNAL ARTICLE published October 1999 in International Journal of Software Engineering and Knowledge Engineering

Authors: HALA SKAF | FRANCOIS CHAROY | CLAUDE GODART

Verifiable Model Construction for Business Processes

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

Research funded by National Key R&D Program of China (2018YFC0407901) | National Natural Science Foundation of China (61702159) | Natural Science Foundation of Jiangsu Province (BK20170893)

Authors: Shunhui Ji | Liming Hu | Yihan Cao | Pengcheng Zhang | Jerry Gao

A MODEL-BASED DESIGN-FOR-VERIFICATION APPROACH TO CHECKING FOR DEADLOCK IN MULTI-THREADED APPLICATIONS

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

Authors: BEATA SARNA-STAROSTA | R. E. K. STIREWALT | LAURA K. DILLON

A Case Study of Software Project Replacement: A Time Series Analysis

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

Authors: Alexandre L’Erario | Thiago Arahn Detoni | Alessandro Silveira Duarte

THEORETICAL ANALYSIS AND EXPERIMENT OF A NOVEL DEP CHIP WITH 3-D SILICON ELECTRODES

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

Authors: LIMING YU | FRANCIS E. H. TAY | GUOLIN XU | CIPRIAN ILIESCU | MARIOARA AVRAM

A Dual Decision-making Continuous Reinforcement Learning Method Based on Sim2Real

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

Authors: Wenwen Xiao | Xinzhi Wang | Xiangfeng Luo | Shaorong Xie

GENERALIZATION AND INSTANTIATION FOR COMPONENT REUSE

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

Authors: SAMIRA SADAOUI | PENGZHOU YIN

COMPONENT-BASED VERIFICATION IN A SYNCHRONOUS SETTING

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

Authors: AGATHE MERCERON | G. MICHELE PINNA

Growing Hierarchical Self-Organizing Map Using Category Utility

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

Authors: Kazushi Murakoshi | Satoshi Fujikawa

STRUCTURED DESIGN OF A KNOWLEDGE-BASED MESSAGE DISSEMINATION SYSTEM

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

Authors: KUNIHIKO HIGA | MILAM W. AIKEN | OLIVIA R. LIU SHENG

DISTRIBUTED INFORMATION AND CONTROL IN A CONCURRENT HYPERMEDIA-ORIENTED ARCHITECTURE

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

Authors: ANTONINA DATTOLO | VINCENZO LOIA

ON THE ONLINE PARAMETER ESTIMATION PROBLEM IN ADAPTIVE SOFTWARE TESTING

JOURNAL ARTICLE published May 2008 in International Journal of Software Engineering and Knowledge Engineering

Authors: KAI-YUAN CAI | TSONG YUEH CHEN | YONG-CHAO LI | YUEN TAK YU | LEI ZHAO