5409 search results - page 355 / 1082 » Basic Observables for Processes |
162
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
A survivable agent system depends on the incorporation of many recovery features. However, the optimal use of these features requires the ability to assess the actual state of the...
162
click to vote
CONCUR
2005
Springer
16 years 11 days 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 ...
172
click to vote
IANDC
2008
15 years 6 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
168
click to vote
IJFCS
2008
15 years 6 months ago
2008
We consider the equivalence problem for labeled Markov chains (LMCs), where each state is labeled with an observation. Two LMCs are equivalent if every finite sequence of observat...
197
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: Adaptive behavior and learning are required of software agents in many application domains. At the same time agents are often supposed to be resource-bounded systems, whi...