5275 search results - page 26 / 1055 » Computing by observing |
88
Voted
JUCS
2006
15 years 1 months ago
2006
: Behavioural specifications allow to focus only on the"observable" behaviour of objects. These observations are made through "observable contexts" which are pa...
136
Voted
FORTE
2004
15 years 3 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
105
click to vote
LATIN
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We define the notion of diversity for families of finite functions, and express the limitations of a simple class of holographic algorithms in terms of limitations on d...
105
click to vote
ICCS
2009
Springer
15 years 8 months ago
2009
Springer
The role of the second order adjoint in targeting strategies is studied and analyzed. Most targeting strategies use the first order adjoint to identify regions where additional in...
ISEUD
2009
Springer
15 years 8 months ago
2009
Springer
The contemporary practice of medicine, which is concerned both with national standards of audit and innovation through local customisation, is a prime domain for end-user developme...