2409 search results - page 208 / 482 » On Extended Regular Expressions |
184
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
181
click to vote
AH
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper, we propose a framework based on a subsymbolic approach for the support of exploratory activities in a hyperspace. By using it, it is possible to express th...
195
click to vote
TOOLS
1998
IEEE
15 years 11 months ago
1998
IEEE
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
175
click to vote
AISC
1994
Springer
15 years 11 months ago
1994
Springer
This paper investigates some soundness conditions which have to be fulfilled in systems with coercions and generic operators. A result of Reynolds on unrestricted generic operators...
163
click to vote
RTA
1993
Springer
15 years 10 months ago
1993
Springer
We propose an extension of rewriting techniques to derive inclusion relations a ⊆ b between terms built from monotonic operators. Instead of using only a rewriting relation ⊆ ...