"What has been is what will be, and what has been done is what will be done, and there is nothing new under the sun." Abstract We describe an approach for using Java as a basis for a design and specification language for embedded systems and use our JavaTime system to illustrate many of the aspects of the approach. Java is a pragmatic choice for several reasons. Since it is a member of the C " ...

UB2SQL is a tool for designing and developing database applications using UML and B formal method. The approach supported by UB2SQL consists of two successive phases. In the first phase, with the design of applications using class, state and collaboration diagrams, B specifications are automatically generated from UML diagrams; the diagrams are then augmented with these B specifications in plac...

Sequential pattern mining, which discovers frequent subsequences as patterns in a sequence database, is an important data-mining problem with broad applications. From these discovered sequential patterns, we can discover the order of the patterns; however, they cannot tell us the time intervals between successive patterns. Accordingly, Chen et al. have proposed a fuzzy timeinterval (FTI) sequen...

This paper introduces a new real-time blob tracking algorithm. Segmentation is the first step in many video analysis approaches. A number of successful segmentation techniques extract regions of interest, or blobs, in successive frames. The problem addressed here is that of establishing temporal relationships between blobs, without the use of domain-specific information. These relationships can...

Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown to be consistent. This enables designers’ understanding about local relationships between successive operations to be captured at the point the operations are written, and used later when the controller is developed. T...

As we are entering the network-on-chip era and system communication is becoming a dominating factor, communication abstraction and synthesis are integral to defining system design flows and methodologies. The key to the success of any approach, however, are well-defined abstraction levels and models, which enable design automation for synthesis and verification to achieve the required productiv...

This paper has a two-fold purpose. First, by considering a reformulation of a deep theorem of Göllnitz, we obtain a new weighted partition identity involving the Rogers-Ramanujan partitions, namely, partitions into parts differing by at least two. Consequences of this include Jacobi’s celebrated triple product identity for theta functions, Sylvester’s famous refinement of Euler’s theorem, as we...

This paper presents an iterative refinement scheme of successive closed-loop identifications and control law designs that aim to improve iteratively the achieved closed-loop performances. The key to this approach is to account for the evaluated modelling error in the control design and to let the closed-loop controller requirements determine the identification criteria. The first is achieved by...

This paper describes an algorithm for solving large state-space MDPs (represented as factored MDPs) using search by successive refinement in the space of non-homogeneous partitions. Homogeneity is defined in terms of bisimulation and reward equivalence within blocks of a partition. Since homogeneous partitions that define equivalent reduced state-space MDPs can have a large number of blocks, we...

Hybrid soft computing models, based by neural, fuzzy and evolutionary computation technologies, have been applied to a large number of classification, prediction, and control problems. This paper focuses on one of such applications and presents a systematic process for building a predictive model to estimate time-to-breakage and provide a web break tendency indicator in the wet-end part of pape...