3468 search results - page 23 / 694 » An open logical framework |
MSR
2006
ACM
14 years 4 months ago
2006
ACM
We present an open framework for visual mining of CVS software repositories. We address three aspects: data extraction, analysis and visualization. We first discuss the challenges...
MICCAI
2003
Springer
14 years 11 months ago
2003
Springer
ImLib3D is a C++ library for 3D medical image processing research. It provides a carefully designed, object-oriented, standards conforming C++ library, as well as a separate visual...
ELPUB
2008
ACM
14 years 21 days ago
2008
ACM
Conventional content management systems (CMSes) consider user management, specifically authorization to modify content objects to be orthogonal to any evolution of content within ...
HICSS
2007
IEEE
14 years 5 months ago
2007
IEEE
Checkpointing is a commonly used approach to provide fault-tolerance and improve system dependability. However, using a constant and preconfigured checkpointing frequency may comp...
USENIX
2003
14 years 8 days ago
2003
Cryptographic transformations are a fundamental building block in many security applications and protocols. To improve performance, several vendors market hardware accelerator car...