19866 search results - page 3803 / 3974 » Computing all factorizations in *** |
181
click to vote
GRID
2005
Springer
16 years 2 days ago
2005
Springer
— To date, only Linux-/UNIX-based hosts have been participants in the Grid vision for seamless data access, because the necessary Grid data access protocols have not been impleme...
178
click to vote
GRID
2005
Springer
16 years 2 days ago
2005
Springer
— Jobs on the Grid require security credentials throughout their run for accessing secure Grid resources, such as GridFTP data repositories. However, delegating long-lived creden...
165
click to vote
ICALP
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we initiate the study of the AND-OR directed feedback vertex set problem from the viewpoint of approximation algorithms. This AND-OR feedback vertex set problem is m...
184
click to vote
ICAPR
2005
Springer
16 years 2 days ago
2005
Springer
Contrary to popular belief, despite decades of research in fingerprints, reliable fingerprint recognition is an open problem. Extracting features out of poor quality prints is t...
174
click to vote
ICFEM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...