256 search results - page 8 / 52 » Using groups for investigating rewrite systems |
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
The aim of this paper is twofold. On one hand we present an approach to the general problem of nonlinear control in the framework of (differentiable) groupoids, which, in our opin...
TACAS
1999
Springer
15 years 1 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
ECOOP
1987
Springer
15 years 29 days ago
1987
Springer
Object oriented programming environments frequently suffer serious performance degradation because of a high level of paging activity when implemented using a conventional virtual...
113
click to vote
GROUP
1991
ACM
15 years 1 months ago
1991
ACM
: This paper reports an attempt to move computer-based techniques for supporting the analysis of group cognitive processes and decision-making from being specialist applications to...
CCS
2006
ACM
15 years 1 months ago
2006
ACM
Application security is typically coded in the application. In kernelSec, we are investigating mechanisms to implement application security in an operating system kernel. The mech...