ebXML verification using model checking

Autor: Di Sciascio, Eugenio
Matična publikacija: ITI ... (Tisak) (2004)

Automatic support for verification of secure transactions in distributed environment using symbolic model checking

Autor: Di Sciascio, Eugenio
Matična publikacija: CIT. Journal of computing and information technology (2001)

Description logics approach to semantic matching of web services

Autor: Colucci, S.
Matična publikacija: CIT. Journal of computing and information technology (2003)

Natural Language processing for a semantic enabled resource retrieval scenario

Autor: Ragone, Azzurra
Matična publikacija: ITI ... (Tisak) (2005)

ITI 2001 : proceedings of the 23rd International Conference on Information Technology Interfaces, Pula, June 19 - 22, 2001

Autor: Kalpić, Damir
Impresum 2001

ITI 2001 : proceedings of the 23rd International Conference on Information Technology Interfaces, Pula, June 19 - 22, 2001

Autor: Kalpić, Damir
Impresum 2001

ITI 2000 : proceedings of the 22nd International Conference on Information Technology Interfaces, Pula, June 13 - 16, 2000

Impresum 2000

ITI 2000 : proceedings of the 22nd International Conference on Information Technology Interfaces, Pula, June 13 - 16, 2000

Impresum 2000

Vol. 2.

Impresum 2004

ITI 2003 : proceedings of the 25th International conference on information technology interfaces : Silver interfaces Computers at the University, Cavtat, Croatia, June 16-19, 2003

Impresum 2003

ITI 2004 : proceedings of the 26th International conference on information technology interfaces, June 7-10, 2004, Cavtat, Croatia

Impresum 2004

ITI 2002 : proceedings of the 24th International Conference on Information Technology Interfaces, Cavtat, June 24 - 27, 2002

Impresum 2002