1466 search results - page 117 / 294 » Completeness of the Authentication Tests |
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
IBERAMIA
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes a Case Base Seeding system (CBS) that can be used to seed a case base with some random cases in order to provide minimal conditions for the empirical tests of ...
RAID
2004
Springer
14 years 1 months ago
2004
Springer
Worm detection and response systems must act quickly to identify and quarantine scanning worms, as when left unchecked such worms have been able to infect the majority of vulnerabl...
ISSRE
2003
IEEE
14 years 1 months ago
2003
IEEE
A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation o...
LICS
2003
IEEE
14 years 1 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...