11051 search results - page 345 / 2211 » An Investigation of Generalized Cases |
180
click to vote
SYNASC
2005
IEEE
16 years 13 days ago
2005
IEEE
The purpose of this paper is to present the main characteristics of ADF, an open source agent developing platform with a focus on agent collaboration. The basic architecture of th...
149
click to vote
BPM
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We propose a resource management policy that grants or refuses requests for resources based only on the request made and the number of free resources. Computations at run...
124
click to vote
CIE
2005
Springer
16 years 12 days ago
2005
Springer
We investigate the computational complexity of an optical model of computation called the continuous space machine (CSM). We characterise worst case resource growth over time for e...
151
click to vote
FOSSACS
2004
Springer
16 years 7 days ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
149
click to vote
CASES
2003
ACM
16 years 3 days ago
2003
ACM
—We investigate the problem of memory reuse in order to reduce the memory needed to store an array variable. We develop techniques that can lead to smaller memory requirements in...