7139 search results - page 873 / 1428 » Language Engineering in Practice |
194
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
Stream processing is a promising paradigm for programming multi-core systems for high-performance embedded applications. We propose flexible filters as a technique that combines...
156
click to vote
FC
2009
Springer
16 years 1 months ago
2009
Springer
Cryptographic credential infrastructures, such as Public key infrastructure (PKI), allow the building of trust relationships in electronic society and electronic commerce. At the c...
193
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
174
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
Analogy is a fundamental process of creativity. Biologically inspired design by definition entails crossdomain analogies, and in practice has led to many innovative designs. Thus,...
195
click to vote
UIST
2009
ACM
16 years 1 months ago
2009
ACM
PhotoelasticTouch is a novel tabletop system designed to intuitively facilitate touch-based interaction via real objects made from transparent elastic material. The system utilize...