127 search results - page 1 / 26 » Call by Need Computations to Root-Stable Form |
POPL
1997
ACM
13 years 8 months ago
1997
ACM
The following theorem of Huet and L
CORR
2002
Springer
13 years 4 months ago
2002
Springer
Abstract. Symmetry properties of r-times covariant tensors T can be described by certain linear subspaces W of the group ring K[Sr] of a symmetric group Sr. If for a class of tenso...
CPHYSICS
2010
13 years 2 months ago
2010
We present TFORM, the version of the symbolic manipulation system FORM that can make simultaneous use of several processors in a shared memory architecture. The implementation use...
ANSOFT
1998
13 years 4 months ago
1998
Systematic discovery and exploitation of commonality across related software systems is a fundamental technical requirement for achieving successful software reuse. By examining a...
AINA
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper presents an architectural model for contextual-based delegation access control for pervasive computing, particularly access control mechanisms for ad hoc coalition scen...