1763 search results - page 194 / 353 » A Formalization of Polytime Functions |
147
click to vote
ISPEC
2009
Springer
15 years 8 months ago
2009
Springer
We propose two symmetric-key management schemes for the encryption of scalable compressed video content. The schemes are applicable to MPEG-4 Fine Grain Scalability video coding. O...
ECTEL
2009
Springer
15 years 8 months ago
2009
Springer
Technology enhanced learning environments are characterized by socio-technical interactions. Socio-technical interactions involve individuals interacting with (a) technologies, and...
103
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
117
click to vote
KSEM
2009
Springer
15 years 8 months ago
2009
Springer
The changes in the dynamics of the economy and the corresponding mobility and fluctuations of knowledge workers within organizations make continuous social learning an essential f...
115
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...