6274 search results - page 654 / 1255 » Proofs, Programs, Processes |
209
click to vote
CSFW
2002
IEEE
16 years 4 days ago
2002
IEEE
We describe a protocol design process, and illustrate its use by creating ATSPECT, an Authentication Test-based Secure Protocol for Electronic Commerce Transactions. The design pr...
222
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
218
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
192
click to vote
ISW
2007
Springer
16 years 1 months ago
2007
Springer
Malware analysis is the process of determining the behavior and purpose of a given malware sample (such as a virus, worm, or Trojan horse). This process is a necessary step to be a...
185
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
This paper addresses the application of active contours or snakes for robust tracking of contours. Conventional snake approaches to tracking initialize the current frame snake wit...