9405 search results - page 1096 / 1881 » Computing a Model of Set Theory |
223
click to vote
RTSS
2005
IEEE
16 years 1 months ago
2005
IEEE
Many real-time systems must control their CPU utilizations in order to meet end-to-end deadlines and prevent overload. Utilization control is particularly challenging in distribut...
203
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...
186
click to vote
FOSSACS
2005
Springer
16 years 1 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
202
click to vote
GECCO
2005
Springer
16 years 1 months ago
2005
Springer
This paper offers a novel approach to coevolution based on the sociological theory of symbolic interactionism. It provides a multi-agent computational model along with experimenta...
193
click to vote
ACMSE
2004
ACM
16 years 29 days ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...