127 search results - page 1 / 26 » Call by Need Computations to Root-Stable Form |
135
Voted
POPL
1997
ACM
15 years 4 months ago
1997
ACM
The following theorem of Huet and L
110
Voted
CORR
2002
Springer
15 years 28 days 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...
116
Voted
CPHYSICS
2010
14 years 10 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...
105
Voted
ANSOFT
1998
15 years 25 days 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...
118
Voted
AINA
2007
IEEE
15 years 7 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...