354 search results - page 49 / 71 » An Architectural Foundation for Relating Features |
104
click to vote
TLCA
2009
Springer
15 years 6 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
CSFW
2002
IEEE
15 years 4 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
SAC
2005
ACM
15 years 5 months ago
2005
ACM
The realization of the Semantic Web requires the widespread availability of semantic annotations for existing and new documents on the Web. Semantic annotations are to tag ontolog...
ER
1998
Springer
15 years 4 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
Using a recently developed real time audio camera, that uses the output of a spherical microphone array beamformer steered in all directions to create central projection to create...