12194 search results - page 89 / 2439 » cans 2010 |
80
Voted
ENTCS
2002
15 years 19 days ago
2002
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
144
Voted
ENTCS
2002
15 years 19 days ago
2002
We design an efficient algorithm that maximizes the sum of array elements of a subarray of a two-dimensional array. The solution can be used to find the most promising array porti...
106
Voted
ENTCS
2002
15 years 19 days ago
2002
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
92
Voted
ENTCS
2002
15 years 19 days ago
2002
The Ambient Calculus offers many ways in which processes can interact and be observed. In the context of Levi and Sangiorgi's Safe Mobile Ambients (SA), the extra co-capabili...
121
Voted
ENTCS
2002
15 years 18 days ago
2002
We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment. T...