As users become increasingly aware of the need to adopt strong password, it brings challenges to digital forensics investigators due to the password protection of potential evidentiary data. On the other hand, due to human nature and their tendency to select memorable passwords, which compromises security for convenience, users may select strong passwords by considering a permutation of diction...

Transformational design integrates design and verification. It combines “correctness by construciion” and design creativity by the use of pre-proven behaviour preserving transformations as design steps. The formal aspects of this methodology are hidden in the transformations. A constraint is the availability of a design representation with a compositional f o rm1 semantics. Graph representation...

Transformational design integrates design and verification. It combines “correctness by construction” and design creativity by the use of pre-proven behaviour preserving transformations as design steps. The formal aspects of this methodology are hidden in the transformations. A constraint is the availability of a design representation with a compositional formal semantics. Graph representations...

The Prefix table of a string reports for each position the maximal length of its prefixes starting here. The Prefix table and its dual Suffix table are basic tools used in the design of the most efficient string-matching and pattern extraction algorithms. These tables can be computed in linear time independently of the alphabet size. We give an algorithmic characterisation of a Prefix table (it...

Tables are ubiquitous in web pages and scientific documents. With the explosive development of the web, tables have become a valuable information repository. Therefore, effectively and efficiently searching tables becomes a challenge. Existing search engines do not provide satisfactory search results largely because the current ranking schemes are inadequate for table search and automatic table...

To design a good two-level predictor, we found that a low interference among branches and an even utilization of the entries in the pattern table are two key factors. In order to arrive at a balanced design and achieve the above two goals simultaneously, we rst introduce the concept of branch pattern locality. Then, a new predictor design, called the Global PAttern Locality predictor (G-PAL), i...

Interactive surfaces are only just beginning to break into the market, and they still do not offer the advanced functionality demonstrated with many lab prototypes. The path from a prototype system to a finished product for use in real-world scenarios is a long one, and many obstacles must be overcome. The design of an interactive multi-touch table had to address issues like optical recognition...

A hardware implementation of the pending interest table (PIT) for named data networking (NDN) is presented. One of the major challenges in this research is the per-packet update requirement in NDN packet processing. In general, the data structure of the lookup table is optimized in order to minimize the implementation cost and maximize the lookup performance. However, more computation steps are...

A prototype design tool-chain (VARDA) for the ARD hierarchical rule design method is presented in the paper. It is implemented in the Unix environment using Prolog and Graphviz for design visualization. 1 Rule Design with ARD+ The HeKatE project (hekate.ia.agh.edu.pl) aims at providing design methods and tools that support a rule-based systems design process. Currently HeKatE supports a concept...

This contribution reports on an approach to hardware/software codesign based on on a state transition system design language MAD. MAD has been used for software designs for some time, but is now being extended to hardware designs by adding VHDL as one of its target languages. The experience of adding a new dimension (i.e. hardware) to the design space and of dealing with some state-of-the-art h...