Application development has to cope with frequently changing requirements which are to a large extent due to changes in the business environment [Loucopoulos et al. 1991]. These facets of business environments are often referred to as business policies. They may be based on ethics, law, culture and organizational commitments by either prescribing a certain action or by constraining the set of p...

Most existing languages for the specification of active rules are based on the ECA (event-condition-action) paradigm. Usually, rules specified by such languages are triggered by simple events like the update of a tuple in a relational database. We present a specification language that can be used to specify real-time triggering conditions in terms of complex event patterns. Our specification la...

variation of the branches of the external carotid artery (eca) is well known, but it is extremely rare for the occipital artery (oa) to arise from the internal carotid artery (ica). a 87-year-old man was found to have this anatomical variation on the right side by threedimensional computed tomography angiography for vascular mapping of the carotid arteries before superselective intra-arterial c...

This work describes a semantic extension for a user-smart object interaction model based on the ECA paradigm (Event-Condition-Action). In this approach, smart objects publish their sensing (event) and action capabilities in the cloud and mobile devices are prepared to retrieve them and act as mediators to configure personalized behaviours for the objects. In this paper, the information handled ...

OBJECTIVES/HYPOTHESIS To evaluate the transoral anatomy of the tonsillar fossa and lateral pharyngeal wall and to correlate these findings with radiographic measurements and transoral robotic surgery (TORS) of patients with early tonsillar tumor. STUDY DESIGN Preclinical cadaveric study and patient cohort. METHODS Six complete cadaveric dissections were performed to identify key anatomic la...

Event clock automata (ECA) are a model for timed languages that has been introduced by Alur, Fix and Henzinger as an alternative to timed automata, with better theoretical properties (for instance, ECA are determinizable while timed automata are not). In this paper, we revisit and extend the theory of ECA. We first prove that no finite time abstract language equivalence exists for ECA, thereby ...

We describe the development of a new type of DNA array chip that utilizes electrochemical reactions and a novel method of simultaneously identifying multiple genetic mutations on an array chip. The electrochemical array (ECA) uses a threading intercalator specific to double-stranded nucleotides, ferrocenylnaphthalene diimide (FND), as the indicator. ECA does not require target labeling, and the...

BACKGROUND Cervical cancer is the leading cause of cancer related death among women in developing countries. Cervical cancer is preceded by cervical surface epithelial cell abnormalities (ECA) which can be detected by Pap smear test. Simultaneous human papillomavirus and human immunodeficiency virus (HIV) infection increases cervical cancer. Data on the prevalence and predictors of ECA among wo...

Cellular Automata are simple computational models which can be leveraged to model a wide variety of dynamical systems. Composed of a lattice of discrete cells that take finite number of states based on previous iterations these models differ greatly from dynamic systems that vary continuously in space or time. However given their ability to model many of continuous systems, it could be postulat...

Complex systems are often reactive, i.e., they continuously respond to external and internal stimuli (events) and may have time constraints. When modeling such systems, the designer should be able to determine the system's behavior, as well as its flow of control. One common way for expressing control flows is via Event-Condition-Action (ECA) rules [1]. These rules specify for each action (proc...