Essays about: "Ann-marie Ericsson"

Found 1 essay containing the words Ann-marie Ericsson.

  1. 1. Verifying transformations between timed automata specifications and ECA rules

    University essay from Institutionen för datavetenskap

    Author : Ann-Marie Ericsson; [2003]
    Keywords : Active rules; Timed automata; Realtime systems; Transformations;

    Abstract : Event-triggered real-time systems are desirable to use in environments where the arrival of events are hard to predict. The semantics of an event-triggered system is well mapped to the behaviour of an active database management system (ADBMS), specified using event-condition-action (ECA) rules. READ MORE