3765 search results - page 201 / 753 » Qualitative Action Systems |
159
click to vote
AIA
2006
15 years 6 months ago
2006
The paper discusses the issues concerning monitoring and diagnosis of a multi-robot system involving a team of mobile robots providing services in an environment which is partiall...
179
click to vote
EPEW
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
119
click to vote
IANDC
2008
15 years 4 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...
146
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
133
Voted
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
Organizations invest in the development of knowledge repositories (KR) to foster knowledge reuse and integration. Yet many KR initiatives fail to meet expectations, in part becaus...