1054 search results - page 85 / 211 » From a Verified Kernel towards Verified Systems |
170
click to vote
ICDAR
2003
IEEE
16 years 5 days ago
2003
IEEE
This paper presents a multi-expert system for dynamic signature verification. The system uses a stroke-oriented description of signatures well-suited for multi-expert approach. Ea...
184
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
185
click to vote
WCET
2008
15 years 8 months ago
2008
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precise Worst Case Execution Time is a prerequisite to apply scheduling analysis and ...
190
click to vote
IAJIT
2008
15 years 7 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
154
click to vote
FGCN
2007
IEEE
16 years 1 months ago
2007
IEEE
Volatile data, being vital to digital investigation, have become part of the standard items targeted in the course of live response to a computer system. In traditional computer f...