×

Found 7 Documents (Results 1–7)

WAVer: a model checking-based tool to verify web application design. (English) Zbl 1273.68080

Mukhopadhyay, Supratik (ed.) et al., Proceedings of the 3rd international workshop on software verification and validation (SVV 2005), Manchester, UK, October 31, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 157, No. 1, 61-76 (2006).
MSC:  68N30 68M11
PDFBibTeX XMLCite
Full Text: Link

I-Search: A system for intelligent information search on the web. (English) Zbl 1049.68622

Hacid, Mohand-Saïd (ed.) et al., Foundations of intelligent systems. 13th international symposium, ISMIS 2002, Lyon, France, June 27–29, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43785-1). Lect. Notes Comput. Sci. 2366, 149-157 (2002).
MSC:  68T05 68P20
PDFBibTeX XMLCite
Full Text: Link

Automatic support for verification of secure transactions in distributed environment using symbolic model checking. (English) Zbl 0995.68521

Kalpić, Damir (ed.) et al., ITI 2001. Proceedings of the 23rd international conference on information technology interfaces, Pula, Croatia, June 19-22, 2001. Zagreb: SRCE Univ. Computing Centre. 447-454 (2001).
MSC:  68U99
PDFBibTeX XMLCite

A description logic for image retrieval. (English) Zbl 0962.68169

Lamma, Evelina (ed.) et al., AI*IA 99: Advances in artificial intelligence. 6th congress of Italian Association for Artificial Intelligence. Bologna, Italy, September 14-17, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1792, 13-24 (2000).
MSC:  68U10 68P20
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software