We develop query relaxation techniques for regular path queries and combine them with query approximation in order to support flexible querying of RDF data when the user lacks know...
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
The purpose of the paper is to introduce a new failure rate-based methodology for reliability simulation of deep submicron CMOS integrated circuits. Firstly, two of the state-of-t...
Xiaojun Li, Bing Huang, J. Qin, X. Zhang, Michael ...
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
Work on agent development frameworks, toolkits and methodologies have recently reached to such a level that ordinary organizations can develop their own multi-agent platforms easi...