2560 search results - page 455 / 512 » Analysis Tool for Honeypot Systems |
RULEML
2005
Springer
14 years 3 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
MM
2004
ACM
14 years 3 months ago
2004
ACM
In this paper, we report on an empirical exploration of digital ink and speech usage in lecture presentation. We studied the video archives of five Master’s level Computer Scien...
AMAST
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
ER
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Deploying process-driven information systems is a time-consuming and error-prone task. Process mining attempts to improve this by automatically generating a process model...
FPL
2004
Springer
14 years 3 months ago
2004
Springer
The proteins in living organisms perform almost every significant function that governs life. A protein's functionality depends upon its physical structure, which depends on i...