4609 search results - page 568 / 922 » Automatic Generation of Sigma-Protocols |
190
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a model-driven, domaincentric tool allowing the specification of service-oriented ions through abstract services composition. Executable applications, ma...
189
click to vote
IOLTS
2008
IEEE
16 years 1 months ago
2008
IEEE
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
204
click to vote
MMSP
2008
IEEE
16 years 1 months ago
2008
IEEE
—Illumination distortion due to uncontrolled lighting can severely degrade the color appearance of a photo. Frequently, the desired colors for objects in a newly taken query imag...
208
click to vote
CBMS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes how high level biological knowledge obtained from ontologies such as the Gene Ontology (GO) can be integrated with low level information extracted from a Baye...
180
Voted
COLCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—Dynamic scripting languages such as Ruby provide language features that enable developers to express their intent more rapidly and with fewer expressions. Organizations started ...