8874 search results - page 1540 / 1775 » A New Implementation of Automath |
212
click to vote
MM
2006
ACM
16 years 1 months ago
2006
ACM
We present “equiveillance” as a conceptual framework for understanding the balance between surveillance and sousveillance. In addition to this conceptual framework we also pre...
262
click to vote
MMSEC
2006
ACM
16 years 1 months ago
2006
ACM
We present an efficient JPEG2000-based image authentication scheme, which is robust to JPEG compression and other allowed signal processing operations. Positive wavelet-based wate...
194
click to vote
MSR
2006
ACM
16 years 1 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
236
click to vote
CLUSTER
2005
IEEE
16 years 27 days ago
2005
IEEE
Data intensive applications on clusters often require requests quickly be sent to the node managing the desired data. In many applications, one must look through a sorted tree str...
208
click to vote
CLUSTER
2005
IEEE
16 years 27 days ago
2005
IEEE
With several recent initiatives in the protocol offloading technology present on network adapters, the user market is now distributed amongst various technology levels including r...