4609 search results - page 735 / 922 » Automatic Generation of Sigma-Protocols |
188
click to vote
CRV
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper presents the status of a project targeting the development of content-based video indexing tools, to assist a human in the generation of descriptive video for the hard ...
153
click to vote
DATE
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper addresses an XML-based design environment, which provides a powerful basis for the manipulation of hardware design descriptions. The contribution of the paper is a flex...
176
click to vote
DSN
2006
IEEE
16 years 17 days ago
2006
IEEE
The Solaris 10 Operating System includes a number of new features for predictive self-healing. One such feature is the ability of the Fault Management software to diagnose memory ...
136
click to vote
EDOC
2006
IEEE
16 years 17 days ago
2006
IEEE
Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an approach...
162
click to vote
ESCIENCE
2006
IEEE
16 years 17 days ago
2006
IEEE
Grid software developers and Grid site administrators both require realistic testbeds where they can test applications and middleware before deployment on production infrastructur...