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, ...