1626 search results - page 188 / 326 » Subtyping with Power Types |
199
click to vote
ENTCS
2008
15 years 5 months ago
2008
Transformation systems such as Stratego/XT provide powerful analysis and transformation frameworks and concise languages for language processing, but instantiating them for every ...
124
Voted
ENTCS
2008
15 years 5 months ago
2008
Reynolds' view of a storage cell as an expression-acceptor pair has been widely used by researchers. We present a different way of organizing semantics of state, and in parti...
145
click to vote
IJNSEC
2008
15 years 5 months ago
2008
In a nominative proxy signature scheme, an original singer delegates his signing power to a proxy signer, who generates a nominative signature on behalf of the original signer. In...
132
click to vote
ISI
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents an exploratory study of jihadi extremist groups' videos using content analysis and a multimedia coding tool to explore the types of videos, groups' mo...
146
Voted
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Wireless Sensor Network (WSN) is an emerging technology that shows great promise for various futuristic applications both for mass public and military. The sensing technology c...