Sciweavers

1120 search results - page 37 / 224
» time 1999
Sort
View
CONCUR
1999
Springer
15 years 3 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
MICCAI
1999
Springer
15 years 3 months ago
Detection of Pulmonary Nodules on Ct and Volumetric Assessment of Change over Time
Abstract. We present a computer vision system that automatically detects pulmonary nodules in computed tomography (CT) scans of oncology patients, performs size analysis and assess...
Margrit Betke, Jane P. Ko
SRDS
1999
IEEE
15 years 3 months ago
An Adaptive Checkpointing Protocol to Bound Recovery Time with Message Logging
Numerous mathematical approaches have been proposed to determine the optimal checkpoint interval for minimizing total execution time of an application in the presence of failures....
Kuo-Feng Ssu, Bin Yao, W. Kent Fuchs
DAWAK
1999
Springer
15 years 3 months ago
Mining Interval Time Series
Data mining can be used to extensively automate the data analysis process. Techniques for mining interval time series, however, have not been considered. Such time series are commo...
Roy Villafane, Kien A. Hua, Duc A. Tran, Basab Mau...
MSS
1999
IEEE
73views Hardware» more  MSS 1999»
15 years 3 months ago
Hiding HSM Systems from the User
File life-times longer than the life-time of HSMsystems make it necessary to move files from one HSM-system to another. Such a migration takes a long time and cannot be hidden fro...
Hartmut Reuter