12981 search results - page 2425 / 2597 » Model Checking (Abstract) |
129
click to vote
ASIACRYPT
2010
Springer
15 years 1 months ago
2010
Springer
sion of an extended abstract published in Proceedings of Asiacrypt 2010, Springer-Verlag, 2010. Available from the IACR Cryptology ePrint Archive as Report 2010/474. Beginning wit...
162
Voted
CNSM
2010
15 years 1 months ago
2010
Abstract--An effective Collaborative Intrusion Detection Network (CIDN) allows distributed Intrusion Detection Systems (IDSes) to collaborate and share their knowledge and opinions...
126
Voted
DATESO
2010
15 years 1 months ago
2010
Abstract. The today's applications usually form a system of sub-applications, each being responsible for a particular functionality. Hence, the design and maintenance of such ...
145
click to vote
DLOG
2010
15 years 1 months ago
2010
Abstract. Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. For example, they h...
150
Voted
EUROMED
2010
15 years 1 months ago
2010
Abstract. The communication of cultural heritage in public spaces such as museums or exhibitions, gain more and more importance during the last years. The possibilities of interact...