The complexity of real-time embedded systems is increasing, for example due to the use of distributed architectures. An extension to the Vienna Development Method (VDM) is proposed to address the problem of deployment of software on distributed hardware. The limitations of the current notation are discussed and new language elements are introduced to overcome these deficiencies. The impact of t...

This paper is about the W3C standard node-addressing language for XML documents, called XPath. XPath is still under development. Version 2.0 appeared in 2001 while the theoretical foundations of Version 1.0 (dating from 1998) are still being widely studied. The paper aims at bringing XPath to a “stable fixed point” in its development: a version which is expressively complete, still manageable c...

A current mode feedback operational amplifier designed using a complimentary MOS circuit technology has been discussed in this paper. A class AB amplifier has been used in the design and the design results in improvement of values of number of parameter when compared to the previously reported architecture. The circuit is designed using 0.35μm technology. Bandwidth of the presented architecture...

Normative systems offer a means to govern agent behaviour in dynamic open environments. Under the governance, agents themselves must be able to reason about compliance with stateor event-based norms (or both) depending upon the formalism used. This paper describes how norm awareness enables a BDI agent to exhibit norm compliant behaviour at run-time taking into account normative factors. To thi...

This paper presents results of a study of identification and control of chaos in a real electronic circuit. In all experiments we used an op-amp implementation of Chua's circuit. An application-specific software package has been developed. This package consists of programs for handling automatic measurements in the electronic system, characterisation of the system on the basis of measured exper...

Compensation is a technique to roll-back a system to a consistent state in case of failure. Recovery mechanisms for compensating calculi specify the order of execution of compensation sequences. Dynamic recovery means that the order of execution is determined at runtime. In this paper, we define an extension of Compensating CSP, called DEcCSP, with general dynamic recovery. We provide a formal,...

The problems of composing and inverting schema mappings specified by source-to-target tuple-generating dependencies (st-tgds) have attracted a lot of attention, as they are of fundamental importance for the development of Bernstein’s metadata management framework. In the case of the composition operator, a natural semantics has been proposed and the language of second-order tuple generating dep...

“Security needs to be aligned with business”. Business situational awareness is the ability to continually monitor ongoing actions and events related to business operations and estimate the immediate and close-future impact of the new information. This ability is crucial for business continuity and should encompass all associated aspects. Considering the growing dependability of businesses on I...

Two data assimilation procedures for real time storm surge forecasting based on Kalman ltering are described. To reduce the computational burden of the Kalman lter, a time invariant lter approximation is suggested rst. This lter is computed using the Chandrasekhar-type algorithm. The resulting data assimilation procedure has been used for storm surge forecasting on a routine basis for a number ...