Now showing items 1-2 of 2

  • Declarative technologies for open agent systems and beyond 

    Chesani, F; Mello, P; Montali, M; Torroni, P (Springer, 2010)
    Open systems are complex, heterogeneous systems whose complexity is often handled by component-based approaches. While the internal functioning of such components is invisible to the outside, a great emphasis is put on the ...
  • Monitoring in the Healthcare Setting 

    Chesani F; Enright CG; Montali M; Madden MG (Springer, 2015)
    Monitoring is an activity in which a running system is observed, so as to become aware of its state. The fact that the system is observed makes monitoring complementary to approaches like formal verification and validation, ...