4820 search results - page 125 / 964 » Implementing Signatures for C |
104
click to vote
CONCUR
1997
Springer
15 years 6 months ago
1997
Springer
We prove that a bounded stack can be specified in process algebra with just the operators alternative and sequential composition and iteration. The bounded bag cannot be specified ...
132
Voted
JSAC
2011
14 years 9 months ago
2011
Abstract—In this paper, we propose a distributed key management framework based on group signature to provision privacy in vehicular ad hoc networks (VANETs). Distributed key man...
124
Voted
DAC
2006
ACM
15 years 8 months ago
2006
ACM
Until recently, most 3D graphics applications had been regarded as too computationally intensive for devices other than desktop computers and gaming consoles. This notion is rapid...
181
Voted
ERSA
2010
15 years 19 days ago
2010
The pixel purity index algorithm is employed in remote sensing for analyzing hyperspectral images. A single pixel usually covers several different materials, and its observed spect...
101
click to vote
ENTCS
2008
15 years 2 months ago
2008
We describe the experience of implementing a Domain-Specific Language using transformation to a General Purpose Language. The domain of application is image processing and low-lev...