6413 search results - page 183 / 1283 » Classes of cycle bases |
189
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
The security of electronic payment protocols is of interest to researchers in academia and industry. While the ultimate objective is the safest and most secure protocol, convenien...
180
click to vote
MICCAI
2002
Springer
16 years 7 months ago
2002
Springer
We propose a novel method for fully automated segmentation and tracking of the myocardium and left and right ventricles (LV and RV) using 4D MR images. The method uses non-rigid re...
194
click to vote
FAST
2009
15 years 4 months ago
2009
Versioning file systems provide the ability to recover from a variety of failures, including file corruption, virus and worm infestations, and user mistakes. However, using versio...
183
click to vote
VMCAI
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
148
click to vote
MSR
2006
ACM
16 years 16 days ago
2006
ACM
Files, classes, or methods have frequently been investigated in recent research on co-change. In this paper, we present a first study at the level of lines. To identify line chan...