4418 search results - page 496 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
163
click to vote
RAID
1999
Springer
15 years 11 months ago
1999
Springer
The most common computer intrusion detection systems detect signatures of known attacks by searching for attack-specific keywords in network traffic. Many of these systems suffer ...
170
Voted
JSC
2007
15 years 6 months ago
2007
We consider computer aided assessment (CAA) of mathematics in which a student provides an answer in the form of a mathematical expression. A common approach is for CAA system impl...
164
click to vote
MOBIDE
2005
ACM
16 years 11 days ago
2005
ACM
In this paper, we present an extensible approach to the adaptation of Web information delivery according to different and possibly heterogeneous contexts. The approach is based o...
146
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
202
click to vote
FORMATS
2003
Springer
16 years 21 hour ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...