1426 search results - page 116 / 286 » A control-based framework for self-managing distributed comp... |
170
click to vote
ESOP
2012
Springer
13 years 11 months ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
115
click to vote
MMAS
2010
Springer
14 years 10 months ago
2010
Springer
Based on the thermodynamic concept of a reservoir, we investigate a computational model for interaction with unresolved degrees of freedom (a thermal bath). We assume that a finite...
113
click to vote
ISORC
2002
IEEE
15 years 8 months ago
2002
IEEE
ARTISST (ARTISST is a Real-Time System Simulation Tool) is a modular event-driven simulation framework for real-time systems. It is targeted towards the performance evaluation of ...
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
169
click to vote
COLING
2010
14 years 10 months ago
2010
We study correlation of rankings of text summarization systems using evaluation methods with and without human models. We apply our comparison framework to various well-establishe...