Journal cover image

Browse issues

Vol. 58
Vol. 57
Vol. 56
Vol. 55
Vol. 54
Vol. 53
Vol. 52
Vol. 51
Vol. 50
Vol. 49
Vol. 48
Vol. 47
Vol. 46
Vol. 45
Vol. 44
Vol. 43
Vol. 42
Vol. 41
Vol. 40
Vol. 39
Vol. 38
Vol. 37
Vol. 36
Vol. 35
Vol. 34
Vol. 33
Vol. 32
Vol. 31
Vol. 30
Vol. 29
Vol. 28
Vol. 27
Vol. 26
Vol. 25
Vol. 24
Vol. 23
Vol. 22
Vol. 21
Vol. 20
Vol. 19
Vol. 18
Vol. 17
Vol. 16
Vol. 15
Vol. 14
Vol. 13
Vol. 12
Vol. 11
Vol. 10
Vol. 9
Vol. 8
Vol. 7
Vol. 6
Vol. 5
Vol. 4
Vol. 3
Vol. 2
Vol. 1

International Journal of Computer Applications in Technology

2011 Vol. 42 No. 2/3

Special Issue on Development of Embedded Systems: Modelling, Verification, Scheduling, Implementation and Reconfiguration

Guest Editors: Dr. Mohamed Khalgui and Prof. Hans-Michael Hanisch


PagesTitle and authors
84-107Formal approach for the development of intelligent industrial control components
Mohamed Khalgui; Olfa Mosbahi
DOI: 10.1504/IJCAT.2011.045400

108-126Virtual start-up of plants using formal methods
Sebastian Preuße; Christian Gerber; Hans-Michael Hanisch
DOI: 10.1504/IJCAT.2011.045401

127-149Combining formal methods for the development of reactive systems
Olfa Mosbahi; Mohamed Khalgui
DOI: 10.1504/IJCAT.2011.045402

150-158Evaluation of meta-heuristic approaches for scheduling optimisation of flexible manufacturing systems
M. Saravanan; A. Noorul Haq
DOI: 10.1504/IJCAT.2011.045403

159-176Incremental verification of component-based timed systems
J. Julliand; H. Mountassir; E. Oudot
DOI: 10.1504/IJCAT.2011.045404

177-190Real-time reconfigurable SoC for process control
Ahmed Karim Ben Salem; Slim Ben Othman; Slim Ben Saoud
DOI: 10.1504/IJCAT.2011.045405

191-203A multi-level design methodology of multistage interconnection network for MPSOCs
Yassine Aydi; Mouna Baklouti; Mohamed Abid; Jean-Luc Dekeyser
DOI: 10.1504/IJCAT.2011.045406

204-212Nominal decomposition of colour space transformation for the computer system for the reconfigurable computing and SA-C programming
Jian-Long Kuo
DOI: 10.1504/IJCAT.2011.045411

Additional Papers

213-224Using ontology to generate test cases for GUI testing
Han Li; He Guo; Feng Chen; Hongji Yang; Yuansheng Yang
DOI: 10.1504/IJCAT.2011.045407

225-232Evaluation of mechanical behaviour of bone, implant and bone-implant interface by numerical simulation of two surgical fixation procedures using finite element analysis
D. Devika; G. Arumaikkannu
DOI: 10.1504/IJCAT.2011.045408

233-238A dynamic state estimation method for power systems
Qing-quan Jia; Ning Wang; Chun-xia Dou; Zhi-qian Bo
DOI: 10.1504/IJCAT.2011.045409

239-251Feasibility study of software reengineering towards role-based access control
Han Li; Hongji Yang; Feng Chen; He Guo; Yuansheng Yang
DOI: 10.1504/IJCAT.2011.045410