886 search results - page 76 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
ESORICS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
ICMCS
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we propose a Semantic Graphs for Image Search (SGIS) system, which provides a novel way for image search by utilizing collaborative knowledge in Wikipedia and netwo...
WSC
1998
14 years 11 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
ACL
2003
14 years 11 months ago
2003
Noun extraction is very important for many NLP applications such as information retrieval, automatic text classification, and information extraction. Most of the previous Korean ...
JODS
2006
14 years 10 months ago
2006
Abstract. Many problems in Information and Data Management require a semantic account of a database schema. At its best, such an account consists of formulas expressing the relatio...