899 search results - page 120 / 180 » Using Method Engineering for the Construction of Agent-Orien... |
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
—Many electronic voting systems, classified mainly as homomorphic cryptography based, mix-net based and blind signature based, appear after the eighties when zero knowledge proof...
ISORC
2008
IEEE
14 years 3 months ago
2008
IEEE
An important part of implementing device drivers is to control the interrupt facilities of the hardware platform and to program interrupt handlers. Current methods for handling in...
ICESS
2004
Springer
14 years 2 months ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
TOG
2012
11 years 11 months ago
2012
Point samples with different spectral noise properties (often defined using color names such as white, blue, green, and red) are important for many science and engineering discip...
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
A general methodology for noise reduction and contrast enhancement in very noisy image data with low dynamic range is presented. Video footage recorded in very dim light is especi...