Existing Peer to Peer (P2P) collaborative editing systems do not allow any user to undo any modification. However, in such systems, users are not aware of others’ modifications, hence, they could obtain duplicate work, conflicting modifications or malicious contents. In this paper, we propose a new undo framework called “UNO: Undo as a New Operation” in the Operational Transformation approach w...

We give a formal deenition of the notion of information ow for a simple guarded command language. We propose an axiomatisation of security properties based on this notion of information ow and we prove its soundness with respect to the operational semantics of the language. We then identify the sources of non determinism in proofs and we derive in successive steps an inference algorithm which i...

Functional logic languages amalgamate functional and logic programming paradigms. They can be eeciently implemented by extending techniques known from logic programming. In this paper we show how global information about the call modes of functions can be used to optimize the compilation of functional logic programs. Since mode information has been successfully used to improve the implementatio...

This study modifies the Evolving Fuzzy Neural Network Framework (EFuNN framework) proposed by Kasabov (1998) and adopts a weighted factor to calculate the importance of each factor among these different rules. In addition, an exponential transfer function (exp (-D)) is employed to transfer the distance of any two factors into the value of similarity among different rules, thus a different rule ...

The mixing behavior of the gas-liquid phase in three loop bioreactors was investigated. A gas-induced External Airlift Loop Bioreactor (EALB), a forced-liquid Vertical Tubular Loop Bioreactor (VTLB) and a forced-liquid Horizontal Tubular Loop Bioreactor (HTLB) were used for mixing studies as well as biomass production from natural gas. The effect of design parameters, riser to downcomer cro...

Graphical Communicating Shared Resources is a formal language for the speciication and analysis of real-time systems, including their functional, temporal and resource requirements. GCSR supports the explicit representation of system resources and priorities to arbitrate resource contentions. These features allow a designer to examine resource inherent constraints and to experiment with various...

This paper presents a new method to improve the GBW (gain-bandwidth product) on negative feedback amplifiers. The proposed method is based on the introduction of time delay elements in the feedback loop, which can be exploited to retrieve significant bandwidth enhancements. This delayed feedback concept is analyzed, and considerations are presented for first order amplifiers, based on theoretic...

-For conventional op amps design open loop poles are usually in the left-half plane. For amplifiers with negative impedance gain enhancement the open loop pole is adjustable and it can be in the left-half plane or in the right-half plane. In this paper, we justify that it does not require a left-half plane open loop pole for designing a stable close loop amplifier. As a matter of fact, the ampl...

SUMMARY A policy is an execution rule (or constraint) for objects in a system to retain security and integrity of the system. We introduce a simple policy specification language and define its operational semantics. A new NFA construction algorithm that works in linear time is proposed and a model checking method for policy controlled system (PCS) is presented. We conducted verification of a sa...

A digitally programmable rail-to-rail CMOS operational amplifier (Op Amp) is designed using standard 0.35 um CMOS process. By using an efficient MOS capacitor is used to compensate the stability of the Op Amp. A compensation current switch is used to adjust the slew rate. Using the schemes, the Op Amp can obtain improved the stability, bandwidth, slew rate and settling time according to the out...