Semantics represents a major problem area for active databases inasmuch as (i) there is no formal framework for defining the abstract semantics of active rules, and (ii) the various systems developed so far have ad-hoc operational semantics that are widely different from each other. This situation contributes to the difficulty of predicting the run-time behavior of sets of rules: thus, ensuring...

OBJECTIVES Systematic reviews on complex interventions like self-management interventions often do not explicitly state an operational definition of the intervention studied, which may impact the review's conclusions. This study aimed to propose an operational definition of self-management interventions and determine its discriminative performance compared with other operational definitions. ...

The paper adresses dance in regard to logistical capitalism and its operational politics. Operational politics denotes the control of processes from their inside, regulated modulated by very own logic. Instead subsuming external regulators such as pregiven scripts, goals or acting moving subjects, is based on logic process itself regulation via immanent techniques. In movement, started gain hol...

Voyage optimization is a technology to predict the ship performance in various sea states and current conditions, and based on the performance of the ship to assist ship masters in route selection. The targets of increasing energy efficiency and reducing Green House Gas (GHG) emission in the shipping industry can be achieved by voyage optimization. However, the practical and accurate prediction...

OBJECTIVE This study tested the effects of two fundamental forms of distraction, including visual-manual and cognitive-audio distraction, with comparison under both operational and tactical driving. Strategic control remains for future study. BACKGROUND Driving is a complex control task involving operational, tactical, and strategic control. Although operational control, such as lead-car foll...

Finding a path with suucient resources to meet the end-to-end timing constraints | which we call Quality-of-Service (QoS) routing | is indispensable to integrated services packet networks that transport time-critical traac. However, existing QoS-routing schemes based on either request-ooding or link-state dissemination are not eecient in terms of their message overhead and/or operational cost. ...

an important problem in performance evaluations of irrigation systems is the difficulty of the determining share of structural and operational elements and determining improvement solutions. in most studies, the combined impact of structural and operational elements on the performance of irrigation systems is assessed. some researchers try to separate the effects of structural and operational e...

We present a method to convert (i) an operational semantics for a given machine language, and (ii) an off-the-shelf theorem prover, into a high assurance verification condition generator (VCG). Given a program annotated with assertions at cutpoints, we show how to use the theorem prover directly on the operational semantics to generate verification conditions analogous to those produced by a cu...

The long-term goal of this RTP project is to provide the warfighter with superior battlespace environmental awareness in terms of high fidelity four-dimensional (4D) depiction of the global atmospheric state. This situational awareness is a key aspect of information superiority in the DoD’s strategic plan to ensure battlespace dominance in the 21 century. This goal is to be accomplished by prov...