4118 search results - page 478 / 824 » Mechanisms for usage control |
193
click to vote
CADE
1992
Springer
15 years 11 months ago
1992
Springer
Theorem provers based on model elimination have exhibited extremely high inference rates but have lacked a redundancy control mechanism such as subsumption. In this paper we repor...
214
click to vote
CAAN
2007
Springer
15 years 11 months ago
2007
Springer
We consider the problem of scheduling on parallel uniformly related machines, where preemptions are allowed and the machines are controlled by selfish agents. Our goal is to minimi...
215
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
The paper presents an application specific Java processor including reconfigurabilities, which is a DLX like pipeline processor with 5 stages and executes Java byte codes directly....
190
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, a hybrid algorithm based on the Multiple Offspring Sampling framework is presented and benchmarked on the BBOB-2010 noisy testbed. MOS allows the seamless combinat...
193
click to vote
ETFA
2008
IEEE
15 years 9 months ago
2008
IEEE
Modern trends in manufacturing demand more flexible and adaptive handling of production order execution. Due to its distributed nature, agent-based systems become a suitable solut...